Question

Proof that a well-ordering is $\omega$-saturated only if it is finite

score 204 · Answer 1 · 2026-04-13 19:05:10

204

Views

Proof that a well-ordering is $\omega$-saturated only if it is finite

Published on 13 Apr 2026 - 19:05

score 62 · Answer 2 · 2026-04-15 13:51:47

62

Views

Prove that the language of only constant symbols is complete

Published on 15 Apr 2026 - 13:51

score 128 · Answer 3 · 2026-03-25 15:40:55

128

Views

Is cardinal arithmetic a model of Robinson arithmetic?

Published on 25 Mar 2026 - 15:40

score 45 · Answer 4 · 2026-04-11 02:14:03

45

Views

Types of minimal ranks have unique extensions

Published on 11 Apr 2026 - 2:14

score 91 · Answer 5 · 2026-04-14 11:56:20

91

Views

Express addition of natural numbers ($+$) in structure $(N;=;S;*)$ where $S(n)$ is n + 1

Published on 14 Apr 2026 - 11:56

score 45 · Answer 6 · 2026-04-15 04:04:25

45

Views

If the sets defined by a formula are all trivial then what can we conclude from that?

Published on 15 Apr 2026 - 4:04

score 277 · Answer 7 · 2026-04-13 07:50:37

277

Views

Determining all the $1$-types of a given theory

Published on 13 Apr 2026 - 7:50

score 219 · Answer 8 · 2026-04-17 14:48:35

219

Views

Show that when $p$ is a principal type, it must contain the formula that implies it

Published on 17 Apr 2026 - 14:48

score 43 · Answer 9 · 2026-04-13 09:58:16

43

Views

L-sentence for finite degree of algebraic extension of $\mathbb{Q}$

Published on 13 Apr 2026 - 9:58

score 71 · Answer 10 · 2026-04-16 13:19:37

71

Views

Finite model property and pseudofiniteness

Published on 16 Apr 2026 - 13:19

score 92 · Answer 11 · 2026-04-10 22:42:19

92

Views

Prove via ultraproducts that the class of algebraic extensions is not axiomatisable in the language of rings

Published on 10 Apr 2026 - 22:42

score 100 · Answer 12 · 2026-04-13 20:19:00

100

Views

Question about the theory of independent unary predicates and categoricity

Published on 13 Apr 2026 - 20:19

score 97 · Answer 13 · 2026-04-14 15:24:34

97

Views

Ultraproduct of pairwise non-equivalent structures

Published on 14 Apr 2026 - 15:24

score 121 · Answer 14 · 2026-04-14 02:00:21

121

Views

Skolem Functions vs Elementary Equivalence

Published on 14 Apr 2026 - 2:00

score 161 · Answer 15 · 2026-04-14 00:40:51

161

Views

Quantifier elimination for $\text{ACF0}$ over signature $(+,·)$.

Published on 14 Apr 2026 - 0:40

List Question

Proof that a well-ordering is $\omega$-saturated only if it is finite

Prove that the language of only constant symbols is complete

Is cardinal arithmetic a model of Robinson arithmetic?

Types of minimal ranks have unique extensions

Express addition of natural numbers ($+$) in structure $(N;=;S;*)$ where $S(n)$ is n + 1

If the sets defined by a formula are all trivial then what can we conclude from that?

Determining all the $1$-types of a given theory

Show that when $p$ is a principal type, it must contain the formula that implies it

L-sentence for finite degree of algebraic extension of $\mathbb{Q}$

Finite model property and pseudofiniteness

Prove via ultraproducts that the class of algebraic extensions is not axiomatisable in the language of rings

Question about the theory of independent unary predicates and categoricity

Ultraproduct of pairwise non-equivalent structures

Skolem Functions vs Elementary Equivalence

Quantifier elimination for $\text{ACF0}$ over signature $(+,·)$.

Trending Questions

Popular # Hahtags

Popular Questions