Question

Proof Verification: $T$ is complete if and only if $\text{Mod}(T)$ satisfies the joint embedding property

score 135 · Answer 1 · 2026-04-16 10:43:20

135

Views

Proof Verification: $T$ is complete if and only if $\text{Mod}(T)$ satisfies the joint embedding property

Published on 16 Apr 2026 - 10:43

score 1k · Answer 2 · 2026-04-13 15:42:33

1k

Views

Does there exist a universal formula of first-order logic that is satisfiable only by structures with infinite domains?

Published on 13 Apr 2026 - 15:42

score 75 · Answer 3 · 2026-04-16 01:57:57

75

Views

Showing that the Morley rank is the same.

Published on 16 Apr 2026 - 1:57

score 82 · Answer 4 · 2026-04-10 22:45:21

82

Views

A consistency question

Published on 10 Apr 2026 - 22:45

score 147 · Answer 5 · 2026-04-13 15:41:23

147

Views

Replace function symbols with predicate symbols in predicate logic

Published on 13 Apr 2026 - 15:41

score 109 · Answer 6 · 2026-04-13 07:39:29

109

Views

Model theory textbook to learn about the consistency and independency proofs

Published on 13 Apr 2026 - 7:39

score 186 · Answer 7 · 2026-04-12 02:27:39

186

Views

Definable types over stably embedded sets

Published on 12 Apr 2026 - 2:27

score 281 · Answer 8 · 2026-04-10 12:07:31

281

Views

How to show that $\mathbb{R}$ in the language of rings does not admit quantifier elimination?

Published on 10 Apr 2026 - 12:07

score 124 · Answer 9 · 2026-04-12 01:56:15

124

Views

Is $(\mathbb{Q}, +)$ elementarily equivalent with $(\mathbb{R}, +)$?

Published on 12 Apr 2026 - 1:56

score 184 · Answer 10 · 2026-04-17 05:58:40

184

Views

If a structure is generated by a Set $S$, then every homomorphism is determined by its value on $S$

Published on 17 Apr 2026 - 5:58

score 419 · Answer 11 · 2026-04-17 10:47:53

419

Views

How EXACTLY does Tarski's undefinability of truth interfere with defining $\vDash$ for proper classes, and why doesn't it do so for sets?

Published on 17 Apr 2026 - 10:47

score 134 · Answer 12 · 2026-04-14 11:46:41

134

Views

Subfields of an ultrapower $\mathbb{R}^\omega/U$ obtained by reducing $U$.

Published on 14 Apr 2026 - 11:46

score 120 · Answer 13 · 2026-04-16 05:24:27

120

Views

Product in the Category of $L$-structures with Homomorphisms.

Published on 16 Apr 2026 - 5:24

score 111 · Answer 14 · 2026-04-15 07:13:39

111

Views

Relevance of a statement about monster models

Published on 15 Apr 2026 - 7:13

score 293 · Answer 15 · 2026-04-14 11:13:33

293

Views

keeping track of proper classes vs sets when showing ZFC has a countable model (assuming ZFC is consistent)

Published on 14 Apr 2026 - 11:13

List Question

Proof Verification: $T$ is complete if and only if $\text{Mod}(T)$ satisfies the joint embedding property

Does there exist a universal formula of first-order logic that is satisfiable only by structures with infinite domains?

Showing that the Morley rank is the same.

A consistency question

Replace function symbols with predicate symbols in predicate logic

Model theory textbook to learn about the consistency and independency proofs

Definable types over stably embedded sets

How to show that $\mathbb{R}$ in the language of rings does not admit quantifier elimination?

Is $(\mathbb{Q}, +)$ elementarily equivalent with $(\mathbb{R}, +)$?

If a structure is generated by a Set $S$, then every homomorphism is determined by its value on $S$

How EXACTLY does Tarski's undefinability of truth interfere with defining $\vDash$ for proper classes, and why doesn't it do so for sets?

Subfields of an ultrapower $\mathbb{R}^\omega/U$ obtained by reducing $U$.

Product in the Category of $L$-structures with Homomorphisms.

Relevance of a statement about monster models

keeping track of proper classes vs sets when showing ZFC has a countable model (assuming ZFC is consistent)

Trending Questions

Popular # Hahtags

Popular Questions