Question

Models of $T$ in cardinallity $\kappa$ are isomorphic

score 77 · Answer 1 · 2014-11-26 18:56:54

77

Views

Models of $T$ in cardinallity $\kappa$ are isomorphic

Published on 26 Nov 2014 - 18:56

score 997 · Answer 2 · 2014-11-26 20:47:26

997

Views

Formula for perfect squares spectrum.

Published on 26 Nov 2014 - 20:47

score 124 · Answer 3 · 2026-03-25 01:16:25

124

Views

Ordering of $\mathbb{R}$ not quantifier-free definable in $L_{R}$

Published on 25 Mar 2026 - 1:16

score 121 · Answer 4 · 2014-11-28 16:54:28

121

Views

Models of $T_\exists$ are precisely the structures that contain a model of $T$

Published on 28 Nov 2014 - 16:54

score 381 · Answer 5 · 2014-11-28 22:57:08

381

Views

Unexpressibility of a property in first order logic

Published on 28 Nov 2014 - 22:57

score 124 · Answer 6 · 2014-11-29 11:53:24

124

Views

$T$ be a theory that claims that both $P$ and $\neg P$ are infinite. Prove that $T$ is a complete theory

Published on 29 Nov 2014 - 11:53

score 154 · Answer 7 · 2014-11-29 16:46:03

154

Views

Quick question about the relation between elementary classes and pseudo-elementary classes

Published on 29 Nov 2014 - 16:46

score 177 · Answer 8 · 2014-11-29 16:59:49

Let $T$ be the theory of linear, dense order, without minimum or maximum. Is $T\cup\{c_{i}<c_{j}\mid i<j\}$ complete?

score 75 · Answer 9 · 2026-03-27 07:48:26

75

Views

Is this an accurate description of structures and interpretations.

Published on 27 Mar 2026 - 7:48

score 296 · Answer 10 · 2014-11-30 21:20:51

296

Views

Ultraproducts and Elementary Embeddings

Published on 30 Nov 2014 - 21:20

score 164 · Answer 11 · 2014-12-01 05:43:07

164

Views

Why are $n$-ary function symbols interpreted as $n$-ary operations and not general $n$-ary functions?

Published on 01 Dec 2014 - 5:43

score 110 · Answer 12 · 2014-12-01 13:27:58

110

Views

Model Theory - Equivalence of formulas using automorphisms

Published on 01 Dec 2014 - 13:27

score 267 · Answer 13 · 2026-03-27 14:39:54

267

Views

Countable transitive model of ZFC and $\mathcal{P}(\omega)$

Published on 27 Mar 2026 - 14:39

score 137 · Answer 14 · 2014-12-01 23:38:45

137

Views

How would one prove that satisfaction of closed formulas is valuation-independent? (In FOL)

Published on 01 Dec 2014 - 23:38

score 91 · Answer 15 · 2014-12-02 20:02:09

91

Views

Consequence in $\mathcal{L}_{\infty\lambda}$

Published on 02 Dec 2014 - 20:02

List Question

Models of $T$ in cardinallity $\kappa$ are isomorphic

Formula for perfect squares spectrum.

Ordering of $\mathbb{R}$ not quantifier-free definable in $L_{R}$

Models of $T_\exists$ are precisely the structures that contain a model of $T$

Unexpressibility of a property in first order logic

$T$ be a theory that claims that both $P$ and $\neg P$ are infinite. Prove that $T$ is a complete theory

Quick question about the relation between elementary classes and pseudo-elementary classes

Let $T$ be the theory of linear, dense order, without minimum or maximum. Is $T\cup\{c_{i}<c_{j}\mid i<j\}$ complete?

Is this an accurate description of structures and interpretations.

Ultraproducts and Elementary Embeddings

Why are $n$-ary function symbols interpreted as $n$-ary operations and not general $n$-ary functions?

Model Theory - Equivalence of formulas using automorphisms

Countable transitive model of ZFC and $\mathcal{P}(\omega)$

How would one prove that satisfaction of closed formulas is valuation-independent? (In FOL)

Consequence in $\mathcal{L}_{\infty\lambda}$

Trending Questions

Popular # Hahtags

Popular Questions