Question

Some definitional details in model theory -- equality & QE

score 243 · Answer 1 · 2026-04-10 05:44:39

243

Views

Some definitional details in model theory -- equality & QE

Published on 10 Apr 2026 - 5:44

score 103 · Answer 2 · 2026-04-11 23:10:42

103

Views

When can we find different axiomatizations for theories with the same models?

Published on 11 Apr 2026 - 23:10

score 190 · Answer 3 · 2026-04-13 21:15:21

190

Views

Elimination of imaginaries for $1$-tuples, but not $n$-tuples

Published on 13 Apr 2026 - 21:15

score 161 · Answer 4 · 2026-04-14 11:29:21

161

Views

Show that gamma has a model if and only if each set in gamma has a model

Published on 14 Apr 2026 - 11:29

score 164 · Answer 5 · 2026-04-15 04:53:27

164

Views

Heir extension of an invariant type.

Published on 15 Apr 2026 - 4:53

score 127 · Answer 6 · 2026-04-13 11:08:11

127

Views

Consequence of Löwenheim-Skolem theorem

Published on 13 Apr 2026 - 11:08

score 59 · Answer 7 · 2026-04-17 22:40:04

59

Views

Consider the language of groups. Show that the theory $T= \{\sigma\mid A\vDash\sigma\}$ is a Henkin theory, where $A$ is a fixed nontrivial group.

Published on 17 Apr 2026 - 22:40

score 147 · Answer 8 · 2026-04-15 19:58:32

147

Views

Prove that if two theories have the same countably infinite models, then they have the same models of each infinite cardinality.

Published on 15 Apr 2026 - 19:58

score 182 · Answer 9 · 2026-04-09 07:04:43

182

Views

How complicated can infinitary satisfiability problems be?

Published on 09 Apr 2026 - 7:04

score 90 · Answer 10 · 2026-04-14 20:01:08

90

Views

Meaning for a structure $\mathcal{M}$ to be said a model of a theory $T$ if the language of $\mathcal{M}$ is the same as the language of $T$?

Published on 14 Apr 2026 - 20:01

score 118 · Answer 11 · 2026-04-17 11:36:11

118

Views

interpretability and bi-interpretability

Published on 17 Apr 2026 - 11:36

score 92 · Answer 12 · 2026-04-10 04:21:01

92

Views

Theory of a first order structure

Published on 10 Apr 2026 - 4:21

score 92 · Answer 13 · 2026-04-17 22:33:12

92

Views

Finding $\theta$ such that $\mathfrak{B} \models \theta$ implies a nice property

Published on 17 Apr 2026 - 22:33

score 72 · Answer 14 · 2026-03-27 15:30:23

72

Views

Reconciling statements about accessible categories

Published on 27 Mar 2026 - 15:30

score 119 · Answer 15 · 2026-04-12 14:31:52

119

Views

Can successor be defined in $(\mathbb{Z}, +)$?

Published on 12 Apr 2026 - 14:31

List Question

Some definitional details in model theory -- equality & QE

When can we find different axiomatizations for theories with the same models?

Elimination of imaginaries for $1$-tuples, but not $n$-tuples

Show that gamma has a model if and only if each set in gamma has a model

Heir extension of an invariant type.

Consequence of Löwenheim-Skolem theorem

Consider the language of groups. Show that the theory $T= \{\sigma\mid A\vDash\sigma\}$ is a Henkin theory, where $A$ is a fixed nontrivial group.

Prove that if two theories have the same countably infinite models, then they have the same models of each infinite cardinality.

How complicated can infinitary satisfiability problems be?

Meaning for a structure $\mathcal{M}$ to be said a model of a theory $T$ if the language of $\mathcal{M}$ is the same as the language of $T$?

interpretability and bi-interpretability

Theory of a first order structure

Finding $\theta$ such that $\mathfrak{B} \models \theta$ implies a nice property

Reconciling statements about accessible categories

Can successor be defined in $(\mathbb{Z}, +)$?

Trending Questions

Popular # Hahtags

Popular Questions