Question

Logic problem about set of disjunction forms(Fixed)

score 88 · Answer 1 · 2018-12-03 11:35:55

88

Views

Logic problem about set of disjunction forms(Fixed)

Published on 03 Dec 2018 - 11:35

score 233 · Answer 2 · 2018-12-05 19:11:37

233

Views

Prove that the topological closure of a set is definable if the set is definable

Published on 05 Dec 2018 - 19:11

score 215 · Answer 3 · 2018-12-05 20:33:55

215

Views

Ultraproducts with a non-principal ultrafilter is aleph-one compact

Published on 05 Dec 2018 - 20:33

score 216 · Answer 4 · 2026-03-25 18:24:37

216

Views

What is the difference between the logical formula $\alpha$ and expression "$\alpha$ is true"?

Published on 25 Mar 2026 - 18:24

score 55 · Answer 5 · 2018-12-07 17:05:11

55

Views

Craig interpolants for inifinite set of implications

Published on 07 Dec 2018 - 17:05

score 102 · Answer 6 · 2018-12-08 16:20:26

102

Views

model theory - completeness of a theory

Published on 08 Dec 2018 - 16:20

score 876 · Answer 7 · 2018-12-08 20:07:28

876

Views

If $\Sigma \models \phi$, then for some finite $\Delta \subset\Sigma$, $\Delta \models \phi$.

Published on 08 Dec 2018 - 20:07

score 75 · Answer 8 · 2018-12-08 20:40:39

75

Views

model theory - existence of a model

Published on 08 Dec 2018 - 20:40

score 52 · Answer 9 · 2026-03-26 06:22:19

52

Views

What do sentences in the theory of the structure $A=(Q,<,n)_{n \in N}$ look like?

Published on 26 Mar 2026 - 6:22

score 208 · Answer 10 · 2018-12-11 10:34:25

208

Views

Let $L = \{<\}$ prove there is no $L$-theory that has precisely the well ordered sets as models

Published on 11 Dec 2018 - 10:34

score 211 · Answer 11 · 2018-12-11 12:41:50

211

Views

Does naturality imply independence from choice?

Published on 11 Dec 2018 - 12:41

score 225 · Answer 12 · 2026-03-25 22:09:22

225

Views

Isomorphic subsets of countable total orders

Published on 25 Mar 2026 - 22:09

score 665 · Answer 13 · 2018-12-11 20:23:25

665

Views

Existence of saturated models of a theory.

Published on 11 Dec 2018 - 20:23

score 286 · Answer 14 · 2018-12-12 14:23:52

286

Views

Find non-isomorphic models of $(Q,<,c_{n \in N})$

Published on 12 Dec 2018 - 14:23

score 177 · Answer 15 · 2018-12-13 17:14:23

177

Views

The structure $(\mathbb N, <, f)_{f\in \mathcal F}$ seems to have no elementary extension

Published on 13 Dec 2018 - 17:14

List Question

Logic problem about set of disjunction forms(Fixed)

Prove that the topological closure of a set is definable if the set is definable

Ultraproducts with a non-principal ultrafilter is aleph-one compact

What is the difference between the logical formula $\alpha$ and expression "$\alpha$ is true"?

Craig interpolants for inifinite set of implications

model theory - completeness of a theory

If $\Sigma \models \phi$, then for some finite $\Delta \subset\Sigma$, $\Delta \models \phi$.

model theory - existence of a model

What do sentences in the theory of the structure $A=(Q,<,n)_{n \in N}$ look like?

Let $L = \{<\}$ prove there is no $L$-theory that has precisely the well ordered sets as models

Does naturality imply independence from choice?

Isomorphic subsets of countable total orders

Existence of saturated models of a theory.

Find non-isomorphic models of $(Q,<,c_{n \in N})$

The structure $(\mathbb N, <, f)_{f\in \mathcal F}$ seems to have no elementary extension

Trending Questions

Popular # Hahtags

Popular Questions