Question

There is no model for a contradiction M $\models \phi \land \lnot \phi$

score 24 · Answer 1 · 2020-04-13 17:02:54

24

Views

There is no model for a contradiction M $\models \phi \land \lnot \phi$

Published on 13 Apr 2020 - 17:02

score 351 · Answer 2 · 2020-04-14 10:28:39

351

Views

What set do generic types define?

Published on 14 Apr 2020 - 10:28

score 106 · Answer 3 · 2020-04-14 18:31:47

Difference between a language allowing infinitary relation/function symbols and one whose underlying logic allows infinite conjunctions/disjunctions?

score 101 · Answer 4 · 2020-04-14 20:19:58

101

Views

Why does stability of $\varphi(x,y)$ imply that for the Shelah local-2-rank, $R_\varphi(x=x)$ is finite .

Published on 14 Apr 2020 - 20:19

score 416 · Answer 5 · 2020-04-15 10:04:13

416

Views

What does this $\models$ $\phi$ mean?

Published on 15 Apr 2020 - 10:04

score 126 · Answer 6 · 2020-04-16 08:53:39

126

Views

If a sentence $\varphi$ is true in all enumerable models, then is $\varphi$ true in all non-enumerable models too?

Published on 16 Apr 2020 - 8:53

score 482 · Answer 7 · 2026-03-26 07:35:39

482

Views

Prove there is a formula $\phi(x,z)$ of VC dimension $\kappa$ and dual VC dimension $2^\kappa$

Published on 26 Mar 2026 - 7:35

score 109 · Answer 8 · 2026-03-25 03:03:50

109

Views

Automorphism group of poset of models of Peano Arithmetic.

Published on 25 Mar 2026 - 3:03

score 27 · Answer 9 · 2020-04-17 06:47:05

27

Views

On whether reducts and axioms commute.

Published on 17 Apr 2020 - 6:47

score 44 · Answer 10 · 2020-04-17 11:02:42

44

Views

Show that if $\mathcal{M}$ is a model of $\Gamma$, and $\Delta \subseteq \Gamma$, then $\mathcal{M}$ is also a model of $\Delta$.

Published on 17 Apr 2020 - 11:02

score 111 · Answer 11 · 2026-03-28 22:24:21

111

Views

Showing some object is initial

Published on 28 Mar 2026 - 22:24

score 154 · Answer 12 · 2026-03-25 06:09:00

154

Views

Understanding non-standard arithmetic models.

Published on 25 Mar 2026 - 6:09

score 43 · Answer 13 · 2020-04-21 23:37:19

43

Views

Roots of a polynomial in an elementary subfield

Published on 21 Apr 2020 - 23:37

score 159 · Answer 14 · 2020-04-22 03:23:28

159

Views

How does model theory handle limit of a set of formulas

Published on 22 Apr 2020 - 3:23

score 106 · Answer 15 · 2020-04-22 17:24:39

106

Views

Prove that if $\Gamma$ is inconsistent, then $\Gamma$ doesn’t have a model.

Published on 22 Apr 2020 - 17:24

List Question

There is no model for a contradiction M $\models \phi \land \lnot \phi$

What set do generic types define?

Difference between a language allowing infinitary relation/function symbols and one whose underlying logic allows infinite conjunctions/disjunctions?

Why does stability of $\varphi(x,y)$ imply that for the Shelah local-2-rank, $R_\varphi(x=x)$ is finite .

What does this $\models$ $\phi$ mean?

If a sentence $\varphi$ is true in all enumerable models, then is $\varphi$ true in all non-enumerable models too?

Prove there is a formula $\phi(x,z)$ of VC dimension $\kappa$ and dual VC dimension $2^\kappa$

Automorphism group of poset of models of Peano Arithmetic.

On whether reducts and axioms commute.

Show that if $\mathcal{M}$ is a model of $\Gamma$, and $\Delta \subseteq \Gamma$, then $\mathcal{M}$ is also a model of $\Delta$.

Showing some object is initial

Understanding non-standard arithmetic models.

Roots of a polynomial in an elementary subfield

How does model theory handle limit of a set of formulas

Prove that if $\Gamma$ is inconsistent, then $\Gamma$ doesn’t have a model.

Trending Questions

Popular # Hahtags

Popular Questions