Question

Is one structure elementary equivalent to its elementary extension?

score 1.2k · Answer 1 · 2026-04-08 06:02:19

1.2k

Views

Is one structure elementary equivalent to its elementary extension?

Published on 08 Apr 2026 - 6:02

score 805 · Answer 2 · 2026-04-13 04:51:18

805

Views

Does elementary embedding exist between two elementary equivalent structures?

Published on 13 Apr 2026 - 4:51

score 617 · Answer 3 · 2026-04-12 15:38:59

617

Views

Definability in a given structure

Published on 12 Apr 2026 - 15:38

score 1k · Answer 4 · 2026-04-12 04:10:56

1k

Views

Model existence for infinitary logics

Published on 12 Apr 2026 - 4:10

score 640 · Answer 5 · 2012-12-09 23:58:22

640

Views

Consequences of axioms of Dense linear order without endpoints is complete

Published on 09 Dec 2012 - 23:58

score 376 · Answer 6 · 2026-04-13 01:09:16

376

Views

Types and Algebraicity

Published on 13 Apr 2026 - 1:09

score 330 · Answer 7 · 2012-12-11 00:25:58

330

Views

Automorphism of an elementary extension of a structure that moves an undefinable element

Published on 11 Dec 2012 - 0:25

score 1k · Answer 8 · 2012-12-13 03:30:44

1k

Views

$\langle \Bbb Q,<\rangle$ is an elementary submodel of $ \langle \Bbb R,< \rangle$

Published on 13 Dec 2012 - 3:30

score 132 · Answer 9 · 2026-04-12 17:13:37

132

Views

Show that the theory of the $Th(\mathbb N)$ in first order logic with the finiteness quantifier is categorical

Published on 12 Apr 2026 - 17:13

score 2k · Answer 10 · 2026-04-09 05:29:06

2k

Views

Does every complete theory admit quantifier elimination?

Published on 09 Apr 2026 - 5:29

score 483 · Answer 11 · 2026-04-09 10:27:45

483

Views

Is every model of PA well-ordered?

Published on 09 Apr 2026 - 10:27

score 107 · Answer 12 · 2026-04-12 08:11:13

107

Views

Model complete theories of henselian local rings which are not nec valuation rings

Published on 12 Apr 2026 - 8:11

score 357 · Answer 13 · 2026-04-08 00:49:49

357

Views

Can we prove the completeness of FOL based on forcing?

Published on 08 Apr 2026 - 0:49

score 175 · Answer 14 · 2012-12-18 13:22:48

175

Views

Question about cumulative hierarchy

Published on 18 Dec 2012 - 13:22

score 209 · Answer 15 · 2026-04-12 15:54:18

209

Views

A question about a passage in Just/Weese's Basic Set Theory

Published on 12 Apr 2026 - 15:54

List Question

Is one structure elementary equivalent to its elementary extension?

Does elementary embedding exist between two elementary equivalent structures?

Definability in a given structure

Model existence for infinitary logics

Consequences of axioms of Dense linear order without endpoints is complete

Types and Algebraicity

Automorphism of an elementary extension of a structure that moves an undefinable element

$\langle \Bbb Q,<\rangle$ is an elementary submodel of $ \langle \Bbb R,< \rangle$

Show that the theory of the $Th(\mathbb N)$ in first order logic with the finiteness quantifier is categorical

Does every complete theory admit quantifier elimination?

Is every model of PA well-ordered?

Model complete theories of henselian local rings which are not nec valuation rings

Can we prove the completeness of FOL based on forcing?

Question about cumulative hierarchy

A question about a passage in Just/Weese's Basic Set Theory

Trending Questions

Popular # Hahtags

Popular Questions