Question

Why do we need sometimes other structures than mentioned in the theorem to prove theorems?

score 59 · Answer 1 · 2013-12-08 17:55:30

59

Views

Why do we need sometimes other structures than mentioned in the theorem to prove theorems?

Published on 08 Dec 2013 - 17:55

score 526 · Answer 2 · 2026-04-08 14:01:52

526

Views

Compactness Theorem explanation

Published on 08 Apr 2026 - 14:01

score 403 · Answer 3 · 2026-03-25 12:12:54

403

Views

Recursive non-standard models?

Published on 25 Mar 2026 - 12:12

score 320 · Answer 4 · 2013-12-09 21:12:44

320

Views

Model theoretic answer for having algebraic closure

Published on 09 Dec 2013 - 21:12

score 735 · Answer 5 · 2013-12-11 20:17:35

735

Views

Set of formulas in Model Theory

Published on 11 Dec 2013 - 20:17

score 375 · Answer 6 · 2013-12-13 03:03:09

375

Views

Show that $\Gamma$ is $\kappa $-categorical for $\kappa>\aleph_{0}$ , but not $\aleph_{0}$-categorical.

Published on 13 Dec 2013 - 3:03

score 303 · Answer 7 · 2013-12-13 04:21:00

303

Views

Show that if U is a principal ultrafilter then the canonical inmersion is an isomorphism between $\mathcal A$ and $Ult_{U}\mathcal A$

Published on 13 Dec 2013 - 4:21

score 184 · Answer 8 · 2026-04-07 21:24:11

184

Views

Model Theory problem

Published on 07 Apr 2026 - 21:24

score 218 · Answer 9 · 2013-12-13 20:00:12

218

Views

A finite subset of a countable, $\aleph_0$-categorical model invariant under automorphsims is definable?

Published on 13 Dec 2013 - 20:00

score 156 · Answer 10 · 2026-04-08 00:36:28

156

Views

Ultrafilter problem

Published on 08 Apr 2026 - 0:36

score 161 · Answer 11 · 2026-04-02 19:14:34

161

Views

Possible Turing degrees of countable models of ZFC

Published on 02 Apr 2026 - 19:14

score 363 · Answer 12 · 2013-12-15 16:42:20

363

Views

First order logic: intersection is infinite

Published on 15 Dec 2013 - 16:42

score 162 · Answer 13 · 2026-04-08 02:56:41

162

Views

Is every model of $\Gamma$ a model of $Cn(\Gamma)$?

Published on 08 Apr 2026 - 2:56

score 200 · Answer 14 · 2026-03-28 11:34:20

200

Views

Space of countable models of a theory T as a Polish space

Published on 28 Mar 2026 - 11:34

score 158 · Answer 15 · 2013-12-16 13:00:36

158

Views

Some theorems of model theory

Published on 16 Dec 2013 - 13:00

List Question

Why do we need sometimes other structures than mentioned in the theorem to prove theorems?

Compactness Theorem explanation

Recursive non-standard models?

Model theoretic answer for having algebraic closure

Set of formulas in Model Theory

Show that $\Gamma$ is $\kappa $-categorical for $\kappa>\aleph_{0}$ , but not $\aleph_{0}$-categorical.

Show that if U is a principal ultrafilter then the canonical inmersion is an isomorphism between $\mathcal A$ and $Ult_{U}\mathcal A$

Model Theory problem

A finite subset of a countable, $\aleph_0$-categorical model invariant under automorphsims is definable?

Ultrafilter problem

Possible Turing degrees of countable models of ZFC

First order logic: intersection is infinite

Is every model of $\Gamma$ a model of $Cn(\Gamma)$?

Space of countable models of a theory T as a Polish space

Some theorems of model theory

Trending Questions

Popular # Hahtags

Popular Questions