Question

Saturation of the reals as a dense linear order

score 164 · Answer 1 · 2019-10-31 03:24:54

164

Views

Saturation of the reals as a dense linear order

Published on 31 Oct 2019 - 3:24

score 224 · Answer 2 · 2019-11-03 08:45:53

224

Views

Question about whether the structures of the language are isomorphisms

Published on 03 Nov 2019 - 8:45

score 160 · Answer 3 · 2026-03-27 16:15:59

160

Views

$(\omega^{\omega}, \in)$ is not elementary equivalent to $(\aleph_1, \in)$

Published on 27 Mar 2026 - 16:15

score 105 · Answer 4 · 2019-11-06 04:53:08

105

Views

Question of explictly defining an isomorphism.

Published on 06 Nov 2019 - 4:53

score 72 · Answer 5 · 2019-11-06 09:59:32

72

Views

Formulas for $\{1\}$ and $\mathbb{P}$ in $(\mathbb{Z},+)$

Published on 06 Nov 2019 - 9:59

score 421 · Answer 6 · 2019-11-06 13:48:58

421

Views

Prove that $(\mathbb{Z}, =, <)$ is elementarily equivalent to $(\mathbb{Z} + \mathbb{Z}, =, <)$

Published on 06 Nov 2019 - 13:48

score 130 · Answer 7 · 2019-11-06 15:51:09

130

Views

If a structure models $\alpha \vee \beta$ for either one a sentence, then it models $\alpha$ or it models $\beta$

Published on 06 Nov 2019 - 15:51

score 584 · Answer 8 · 2019-11-06 22:43:20

584

Views

Is the Fréchet filter the single biggest filter contained in any free ultrafilter?

Published on 06 Nov 2019 - 22:43

score 142 · Answer 9 · 2019-11-07 08:38:52

142

Views

Defining an explict structure

Published on 07 Nov 2019 - 8:38

score 602 · Answer 10 · 2019-11-07 14:42:49

602

Views

Does the isomorphism type of this specific ultraproduct depend on the ultrafilter?

Published on 07 Nov 2019 - 14:42

score 647 · Answer 11 · 2019-11-08 00:52:51

647

Views

What is a substructure "generated" by a constant?

Published on 08 Nov 2019 - 0:52

score 116 · Answer 12 · 2026-03-26 07:33:29

116

Views

Are the Turing degrees of truth sets cofinal?

Published on 26 Mar 2026 - 7:33

score 102 · Answer 13 · 2026-03-25 04:39:00

102

Views

No single axiom stating non-Archimedeanity

Published on 25 Mar 2026 - 4:39

score 62 · Answer 14 · 2019-11-09 10:35:37

62

Views

A 'transfer principle' between models of $\mathbf{ZF+AR}$ and $\mathbf{ZF}$

Published on 09 Nov 2019 - 10:35

score 747 · Answer 15 · 2019-11-10 08:57:04

747

Views

Are algebraically closed fields of characteristic 0 always uncountable?

Published on 10 Nov 2019 - 8:57

List Question

Saturation of the reals as a dense linear order

Question about whether the structures of the language are isomorphisms

$(\omega^{\omega}, \in)$ is not elementary equivalent to $(\aleph_1, \in)$

Question of explictly defining an isomorphism.

Formulas for $\{1\}$ and $\mathbb{P}$ in $(\mathbb{Z},+)$

Prove that $(\mathbb{Z}, =, <)$ is elementarily equivalent to $(\mathbb{Z} + \mathbb{Z}, =, <)$

If a structure models $\alpha \vee \beta$ for either one a sentence, then it models $\alpha$ or it models $\beta$

Is the Fréchet filter the single biggest filter contained in any free ultrafilter?

Defining an explict structure

Does the isomorphism type of this specific ultraproduct depend on the ultrafilter?

What is a substructure "generated" by a constant?

Are the Turing degrees of truth sets cofinal?

No single axiom stating non-Archimedeanity

A 'transfer principle' between models of $\mathbf{ZF+AR}$ and $\mathbf{ZF}$

Are algebraically closed fields of characteristic 0 always uncountable?

Trending Questions

Popular # Hahtags

Popular Questions