Question

Is there a subfield of $\mathbb{R}$ that is a proper elementary extension of $\mathbb{Q}$?

score 280 · Answer 1 · 2018-03-31 04:49:37

280

Views

Is there a subfield of $\mathbb{R}$ that is a proper elementary extension of $\mathbb{Q}$?

Published on 31 Mar 2018 - 4:49

score 119 · Answer 2 · 2026-03-23 03:56:01

119

Views

How much of first order statements can we derive purely from the definitions in arithmetic?

Published on 23 Mar 2026 - 3:56

score 97 · Answer 3 · 2018-04-03 13:25:41

97

Views

Show that Skolemization preserves satisfiability

Published on 03 Apr 2018 - 13:25

score 63 · Answer 4 · 2018-04-04 05:46:04

63

Views

How to know how many models of certain size does a given theory has?

Published on 04 Apr 2018 - 5:46

score 364 · Answer 5 · 2018-04-04 12:38:52

364

Views

Cantor-Bendixson rank of space of types

Published on 04 Apr 2018 - 12:38

score 104 · Answer 6 · 2026-03-24 23:46:14

104

Views

A finite axiomatization of $\mathbb N$ and two non-standard models

Published on 24 Mar 2026 - 23:46

score 29 · Answer 7 · 2018-04-06 18:33:53

29

Views

Showing that if $M,s \vDash \exists x \varphi$ then $N,s \vDash \exists x \varphi$

Published on 06 Apr 2018 - 18:33

score 94 · Answer 8 · 2018-04-08 18:40:25

94

Views

Compact logic without the downward Skolem-Löwenheim property

Published on 08 Apr 2018 - 18:40

score 775 · Answer 9 · 2018-04-10 16:05:20

775

Views

Why is first order logic not categorical, as Löwenheim-Skolem just reduces the infinity to infinitely countable

Published on 10 Apr 2018 - 16:05

score 198 · Answer 10 · 2026-03-20 07:18:02

198

Views

Proving decidability of $(\mathbb N, +)$ with Quantifier elimination and evaluating basic formulas

Published on 20 Mar 2026 - 7:18

score 165 · Answer 11 · 2018-04-12 03:15:51

165

Views

If we have a structure with just relations, then every subset is a substructure?

Published on 12 Apr 2018 - 3:15

score 75 · Answer 12 · 2018-04-14 05:57:01

75

Views

Ehrenfeucht–Fraı̈ssé-like characterization of equivalence in stationary logic

Published on 14 Apr 2018 - 5:57

score 137 · Answer 13 · 2018-04-16 19:30:11

137

Views

application of omitting types theorem in graph theory or some other discrete structure?

Published on 16 Apr 2018 - 19:30

score 119 · Answer 14 · 2026-03-22 22:52:54

119

Views

Showing that $\kappa$ is weakly compact in ultrapower.

Published on 22 Mar 2026 - 22:52

score 57 · Answer 15 · 2018-04-19 02:39:03

57

Views

Confusion about proof involving picking out element of ultrapower

Published on 19 Apr 2018 - 2:39

List Question

Is there a subfield of $\mathbb{R}$ that is a proper elementary extension of $\mathbb{Q}$?

How much of first order statements can we derive purely from the definitions in arithmetic?

Show that Skolemization preserves satisfiability

How to know how many models of certain size does a given theory has?

Cantor-Bendixson rank of space of types

A finite axiomatization of $\mathbb N$ and two non-standard models

Showing that if $M,s \vDash \exists x \varphi$ then $N,s \vDash \exists x \varphi$

Compact logic without the downward Skolem-Löwenheim property

Why is first order logic not categorical, as Löwenheim-Skolem just reduces the infinity to infinitely countable

Proving decidability of $(\mathbb N, +)$ with Quantifier elimination and evaluating basic formulas

If we have a structure with just relations, then every subset is a substructure?

Ehrenfeucht–Fraı̈ssé-like characterization of equivalence in stationary logic

application of omitting types theorem in graph theory or some other discrete structure?

Showing that $\kappa$ is weakly compact in ultrapower.

Confusion about proof involving picking out element of ultrapower

Trending Questions

Popular # Hahtags

Popular Questions