Question

Shelah:31 Categoricity of Uncoutable Theories theorem 4.4

score 48 · Answer 1 · 2023-08-17 20:26:28

48

Views

Shelah:31 Categoricity of Uncoutable Theories theorem 4.4

Published on 17 Aug 2023 - 20:26

score 121 · Answer 2 · 2023-08-18 17:59:56

121

Views

First order logic model: why not an ordered triplet?

Published on 18 Aug 2023 - 17:59

score 48 · Answer 3 · 2026-03-26 09:42:13

48

Views

What is this sort of signature in model theory?

Published on 26 Mar 2026 - 9:42

score 81 · Answer 4 · 2026-03-29 18:35:55

81

Views

Relations on free algebra

Published on 29 Mar 2026 - 18:35

score 50 · Answer 5 · 2023-08-21 13:19:10

50

Views

Syntactically definable properties and Boolean algebra of definable sets in models

Published on 21 Aug 2023 - 13:19

score 107 · Answer 6 · 2023-08-23 01:23:17

107

Views

What is difference between multi-sorted model theory and single-sorted model theory?

Published on 23 Aug 2023 - 1:23

score 68 · Answer 7 · 2026-03-27 00:05:16

68

Views

Non-isomorphic models of Hen$_{0,0}$ with isomorphic RV sorts

Published on 27 Mar 2026 - 0:05

score 63 · Answer 8 · 2023-08-25 17:40:44

63

Views

How can I understand the (no) independence property in this very simple setting of first order logic?

Published on 25 Aug 2023 - 17:40

score 87 · Answer 9 · 2023-08-28 00:28:02

87

Views

$+$ can't define $div$

Published on 28 Aug 2023 - 0:28

score 36 · Answer 10 · 2023-08-29 05:23:35

36

Views

Definable operations

Published on 29 Aug 2023 - 5:23

score 129 · Answer 11 · 2023-08-30 10:22:59

129

Views

definability and algebraicity over canonical base

Published on 30 Aug 2023 - 10:22

score 102 · Answer 12 · 2023-08-31 02:52:09

102

Views

Proving that every proper elementary extension of the real numbers has an infinitesimal element.

Published on 31 Aug 2023 - 2:52

score 98 · Answer 13 · 2026-03-27 14:56:05

98

Views

Can low rank/low variable first order logic formulas approximate higher order one?

Published on 27 Mar 2026 - 14:56

score 76 · Answer 14 · 2023-08-31 11:55:33

76

Views

Is proving the existence of a model for some theory strictly stronger than defining a model?

Published on 31 Aug 2023 - 11:55

score 132 · Answer 15 · 2026-03-26 04:30:46

132

Views

Must we define $\mathcal A \models (\varphi \wedge \psi)$ using the word "and"?

Published on 26 Mar 2026 - 4:30

List Question

Shelah:31 Categoricity of Uncoutable Theories theorem 4.4

First order logic model: why not an ordered triplet?

What is this sort of signature in model theory?

Relations on free algebra

Syntactically definable properties and Boolean algebra of definable sets in models

What is difference between multi-sorted model theory and single-sorted model theory?

Non-isomorphic models of Hen$_{0,0}$ with isomorphic RV sorts

How can I understand the (no) independence property in this very simple setting of first order logic?

$+$ can't define $div$

Definable operations

definability and algebraicity over canonical base

Proving that every proper elementary extension of the real numbers has an infinitesimal element.

Can low rank/low variable first order logic formulas approximate higher order one?

Is proving the existence of a model for some theory strictly stronger than defining a model?

Must we define $\mathcal A \models (\varphi \wedge \psi)$ using the word "and"?

Trending Questions

Popular # Hahtags

Popular Questions