Question

Semantic Interpretation of the axiom of restricted separation

score 42 · Answer 1 · 2026-03-29 12:05:24

42

Views

Semantic Interpretation of the axiom of restricted separation

Published on 29 Mar 2026 - 12:05

score 92 · Answer 2 · 2023-06-20 03:43:33

92

Views

Help for Exercise 1.2.3 in Hodges' "A Shorter Model Theory" (Homomorphisms)

Published on 20 Jun 2023 - 3:43

score 72 · Answer 3 · 2023-06-21 22:16:58

72

Views

What does it mean to say that a theory is more expressive than another?

Published on 21 Jun 2023 - 22:16

score 111 · Answer 4 · 2023-06-23 09:58:48

111

Views

Are all models of this theory isomorphic to $V_\omega$?

Published on 23 Jun 2023 - 9:58

score 61 · Answer 5 · 2023-06-25 19:09:50

61

Views

Finding all complete theories containing a given theory

Published on 25 Jun 2023 - 19:09

score 127 · Answer 6 · 2023-06-28 19:36:46

127

Views

How is countability defined within ZF set theory?

Published on 28 Jun 2023 - 19:36

score 92 · Answer 7 · 2023-07-04 13:34:46

92

Views

ultrapower of GLn(F) is ishomprhic to GLn(ultrapower F)

Published on 04 Jul 2023 - 13:34

score 211 · Answer 8 · 2023-07-05 16:53:34

K is a basic elementary class if and only if both K and the complement of K are closed under ultraproducts and elementary equivalence.

score 172 · Answer 9 · 2023-07-06 15:14:44

172

Views

G is closed under elementary equivalence (use Keisler–Shelah Isomorphism theorem)

Published on 06 Jul 2023 - 15:14

score 111 · Answer 10 · 2023-07-06 21:11:47

111

Views

Show that the following classes are not closed under ultraproducts: the class of torsion groups; the class of simple groups;

Published on 06 Jul 2023 - 21:11

score 248 · Answer 11 · 2023-07-07 19:17:57

248

Views

prove that none of the following theories is finitely axiomatizable:

Published on 07 Jul 2023 - 19:17

score 158 · Answer 12 · 2023-07-11 20:02:09

158

Views

Claim in Shelah's "A two-cardinal theorem"

Published on 11 Jul 2023 - 20:02

score 93 · Answer 13 · 2026-03-29 02:36:19

93

Views

Measurable Cardinals, Elementary Embeddings, and building up to transitive collapse

Published on 29 Mar 2026 - 2:36

score 53 · Answer 14 · 2023-07-15 13:20:27

53

Views

How do I make a theorem about variable shadowing in model theory rigorous?

Published on 15 Jul 2023 - 13:20

score 52 · Answer 15 · 2023-07-16 09:11:01

52

Views

Definable sets in $(\mathbb{Z}, +)$

Published on 16 Jul 2023 - 9:11

List Question

Semantic Interpretation of the axiom of restricted separation

Help for Exercise 1.2.3 in Hodges' "A Shorter Model Theory" (Homomorphisms)

What does it mean to say that a theory is more expressive than another?

Are all models of this theory isomorphic to $V_\omega$?

Finding all complete theories containing a given theory

How is countability defined within ZF set theory?

ultrapower of GLn(F) is ishomprhic to GLn(ultrapower F)

K is a basic elementary class if and only if both K and the complement of K are closed under ultraproducts and elementary equivalence.

G is closed under elementary equivalence (use Keisler–Shelah Isomorphism theorem)

Show that the following classes are not closed under ultraproducts: the class of torsion groups; the class of simple groups;

prove that none of the following theories is finitely axiomatizable:

Claim in Shelah's "A two-cardinal theorem"

Measurable Cardinals, Elementary Embeddings, and building up to transitive collapse

How do I make a theorem about variable shadowing in model theory rigorous?

Definable sets in $(\mathbb{Z}, +)$

Trending Questions

Popular # Hahtags

Popular Questions