Question

Formula witnessing Morley Rank.

score 132 · Answer 1 · 2026-04-17 03:01:27

132

Views

Formula witnessing Morley Rank.

Published on 17 Apr 2026 - 3:01

score 54 · Answer 2 · 2026-04-15 18:33:49

54

Views

Embeddings and variables. Let $\sigma$ be an embedding, $t$ be a variable. Prove $\sigma(t^\mathcal{M}(a))=\sigma(a)=t^\mathcal{N}(\sigma(a)).$

Published on 15 Apr 2026 - 18:33

score 111 · Answer 3 · 2026-04-09 21:57:15

111

Views

State this proposition for an $\mathcal{L}$-embedding using this convention

Published on 09 Apr 2026 - 21:57

score 127 · Answer 4 · 2026-03-25 17:21:42

127

Views

How would you express, in ZFC, that the number of countable models of Th($\mathbb{N}$), up to isomorphism, is at most $2^{\aleph_0}$?

Published on 25 Mar 2026 - 17:21

score 981 · Answer 5 · 2026-04-13 12:58:54

981

Views

In classical predicate logics, why is it usually assumed that at least one object exists?

Published on 13 Apr 2026 - 12:58

score 123 · Answer 6 · 2026-04-13 21:10:58

123

Views

Does $\mathbb{N}\cup\{\omega\}$ satisfy true arithmetic?

Published on 13 Apr 2026 - 21:10

score 89 · Answer 7 · 2026-04-15 09:54:58

89

Views

A reverse characterization of „property P can be checked on its finite subsets“

Published on 15 Apr 2026 - 9:54

score 43 · Answer 8 · 2026-04-16 05:27:11

Proof that there is a $\mathcal{L}_<$ model $\mathcal{M}$ of Th$(\mathbb{N})$ with an infinite descending chain $\dots a_2<a_1<a_0$ with $a_i\in M$

score 292 · Answer 9 · 2026-04-14 20:16:45

292

Views

Suppose $A\equiv B$ and $A$ is $\omega$-saturated. Prove that $B$ is $\omega$-saturated iff $A$ is back-and-forth equivalent to $B$.

Published on 14 Apr 2026 - 20:16

score 134 · Answer 10 · 2026-04-10 08:23:21

134

Views

What is the theory for the quaternions?

Published on 10 Apr 2026 - 8:23

score 154 · Answer 11 · 2026-04-14 08:26:48

154

Views

Why is the image of a subanalytic set through a proper analytic map subanalytic?

Published on 14 Apr 2026 - 8:26

score 52 · Answer 12 · 2026-04-14 21:51:30

52

Views

Is there a finite or at worst recursive axiomatization of the theory of the rationals and reals combined?

Published on 14 Apr 2026 - 21:51

score 193 · Answer 13 · 2026-04-11 03:20:24

193

Views

Can the complex field structure define a non-trivial partial order?

Published on 11 Apr 2026 - 3:20

score 107 · Answer 14 · 2026-04-13 13:06:30

107

Views

Pointwise definable elements of the complex field.

Published on 13 Apr 2026 - 13:06

score 56 · Answer 15 · 2026-04-11 11:16:36

56

Views

Can the rational and real ordered fields define only two linear orders?

Published on 11 Apr 2026 - 11:16

List Question

Formula witnessing Morley Rank.

Embeddings and variables. Let $\sigma$ be an embedding, $t$ be a variable. Prove $\sigma(t^\mathcal{M}(a))=\sigma(a)=t^\mathcal{N}(\sigma(a)).$

State this proposition for an $\mathcal{L}$-embedding using this convention

How would you express, in ZFC, that the number of countable models of Th($\mathbb{N}$), up to isomorphism, is at most $2^{\aleph_0}$?

In classical predicate logics, why is it usually assumed that at least one object exists?

Does $\mathbb{N}\cup\{\omega\}$ satisfy true arithmetic?

A reverse characterization of „property P can be checked on its finite subsets“

Proof that there is a $\mathcal{L}_<$ model $\mathcal{M}$ of Th$(\mathbb{N})$ with an infinite descending chain $\dots a_2<a_1<a_0$ with $a_i\in M$

Suppose $A\equiv B$ and $A$ is $\omega$-saturated. Prove that $B$ is $\omega$-saturated iff $A$ is back-and-forth equivalent to $B$.

What is the theory for the quaternions?

Why is the image of a subanalytic set through a proper analytic map subanalytic?

Is there a finite or at worst recursive axiomatization of the theory of the rationals and reals combined?

Can the complex field structure define a non-trivial partial order?

Pointwise definable elements of the complex field.

Can the rational and real ordered fields define only two linear orders?

Trending Questions

Popular # Hahtags

Popular Questions