Question

'Variable symbols' in definition of $\mathcal{L}$-terms in model theory

score 61 · Answer 1 · 2026-04-11 00:55:51

61

Views

'Variable symbols' in definition of $\mathcal{L}$-terms in model theory

Published on 11 Apr 2026 - 0:55

score 101 · Answer 2 · 2026-04-10 21:37:09

101

Views

Recursive definition of $\mathcal{L}$-terms in model theory

Published on 10 Apr 2026 - 21:37

score 62 · Answer 3 · 2026-04-14 08:31:01

62

Views

No finite models hypothesis of Morley's theorem

Published on 14 Apr 2026 - 8:31

score 397 · Answer 4 · 2026-04-12 14:14:19

397

Views

Alternative definition of (weak) elimination of imaginaries?

Published on 12 Apr 2026 - 14:14

score 582 · Answer 5 · 2026-04-13 00:09:01

582

Views

Does $\mathsf{ZFC}$ prove that the field of real numbers has one of these compactness properties?

Published on 13 Apr 2026 - 0:09

score 90 · Answer 6 · 2026-04-12 05:59:18

90

Views

Countable saturation and internal sequences

Published on 12 Apr 2026 - 5:59

score 149 · Answer 7 · 2026-04-11 11:37:36

149

Views

What is an explicit axiomatization of the complex field along with the real numbers?

Published on 11 Apr 2026 - 11:37

score 162 · Answer 8 · 2026-04-16 13:53:26

162

Views

Existence of Lascar invariant type

Published on 16 Apr 2026 - 13:53

score 176 · Answer 9 · 2026-04-14 11:49:36

176

Views

If $M$ has a saturated elementary extension of cardinality $\lambda$, then $\lambda=\lambda^{<\lambda}$?

Published on 14 Apr 2026 - 11:49

score 119 · Answer 10 · 2026-04-11 13:41:44

119

Views

Checking if a set is definable in a given structure

Published on 11 Apr 2026 - 13:41

score 160 · Answer 11 · 2026-04-14 05:02:29

160

Views

Hilbert's Basis Theorem in model theory

Published on 14 Apr 2026 - 5:02

score 602 · Answer 12 · 2026-04-13 15:21:51

602

Views

Logical consequence vs. "proof" in a model

Published on 13 Apr 2026 - 15:21

score 88 · Answer 13 · 2026-04-17 04:06:14

88

Views

If $(M,R)\vDash \textrm{ZFC}$ must $R$ be a well-founded relation?

Published on 17 Apr 2026 - 4:06

score 77 · Answer 14 · 2026-04-15 07:55:01

77

Views

Justifying existence of countable transitive models - Donald Monk notes

Published on 15 Apr 2026 - 7:55

score 209 · Answer 15 · 2026-04-11 23:25:34

209

Views

For every poset $(X,\le)$ there is a linear order $\preceq$ on $X$ which extends $\le$

Published on 11 Apr 2026 - 23:25

List Question

'Variable symbols' in definition of $\mathcal{L}$-terms in model theory

Recursive definition of $\mathcal{L}$-terms in model theory

No finite models hypothesis of Morley's theorem

Alternative definition of (weak) elimination of imaginaries?

Does $\mathsf{ZFC}$ prove that the field of real numbers has one of these compactness properties?

Countable saturation and internal sequences

What is an explicit axiomatization of the complex field along with the real numbers?

Existence of Lascar invariant type

If $M$ has a saturated elementary extension of cardinality $\lambda$, then $\lambda=\lambda^{<\lambda}$?

Checking if a set is definable in a given structure

Hilbert's Basis Theorem in model theory

Logical consequence vs. "proof" in a model

If $(M,R)\vDash \textrm{ZFC}$ must $R$ be a well-founded relation?

Justifying existence of countable transitive models - Donald Monk notes

For every poset $(X,\le)$ there is a linear order $\preceq$ on $X$ which extends $\le$

Trending Questions

Popular # Hahtags

Popular Questions