Question

Every model of a $\forall \exists$-theory has an existentially closed extension

score 373 · Answer 1 · 2019-12-03 21:24:46

373

Views

Every model of a $\forall \exists$-theory has an existentially closed extension

Published on 03 Dec 2019 - 21:24

score 38 · Answer 2 · 2019-12-04 13:00:22

38

Views

The following formula is logically valid $\forall x,y,z\ (h(x,h(y,z))=y)\rightarrow \forall x,y\ (x=y)$

Published on 04 Dec 2019 - 13:00

score 69 · Answer 3 · 2026-03-28 12:22:15

69

Views

First order structures: relational vs algebraic and their behaviour with respect to morphisms.

Published on 28 Mar 2026 - 12:22

score 152 · Answer 4 · 2026-03-28 12:22:15

152

Views

First order algebraic structures: which are closed with respect to substructure formation?

Published on 28 Mar 2026 - 12:22

score 82 · Answer 5 · 2019-12-04 15:16:47

82

Views

On model theory (basic)

Published on 04 Dec 2019 - 15:16

score 59 · Answer 6 · 2019-12-05 04:12:54

59

Views

Decidability of Interpreted Theory

Published on 05 Dec 2019 - 4:12

score 789 · Answer 7 · 2026-03-25 09:38:43

789

Views

Whats wrong with this model theoretic proof of the twin primes conjecture?

Published on 25 Mar 2026 - 9:38

score 240 · Answer 8 · 2019-12-06 14:34:11

240

Views

Consequence of Löwenheim-Skolem-Theorem

Published on 06 Dec 2019 - 14:34

score 174 · Answer 9 · 2019-12-06 22:11:44

174

Views

Conservative concrete functors

Published on 06 Dec 2019 - 22:11

score 100 · Answer 10 · 2026-03-29 08:18:27

100

Views

Successor function paradox for $\mathfrak{C}$ such that $\mathfrak{B}=(\omega;\lt,S)\preccurlyeq\mathfrak{C}$

Published on 29 Mar 2026 - 8:18

score 183 · Answer 11 · 2026-03-28 07:53:39

183

Views

What is the Löwenheim number of $L(Q^c)$

Published on 28 Mar 2026 - 7:53

score 1.3k · Answer 12 · 2019-12-09 20:43:06

1.3k

Views

About (Infinite) Discrete Linear Orders Theory

Published on 09 Dec 2019 - 20:43

score 385 · Answer 13 · 2019-12-11 15:34:21

385

Views

Boolean-valued Models: why should I care?

Published on 11 Dec 2019 - 15:34

score 102 · Answer 14 · 2019-12-11 17:33:30

102

Views

What does "SP" mean in model theory, as in "For a pair of cardinals ($\lambda$ ,$\kappa$) $\in SP(T)$ ..."?

Published on 11 Dec 2019 - 17:33

score 279 · Answer 15 · 2019-12-13 12:24:59

279

Views

Can First Order Logic Express Cardinal Numbers

Published on 13 Dec 2019 - 12:24

List Question

Every model of a $\forall \exists$-theory has an existentially closed extension

The following formula is logically valid $\forall x,y,z\ (h(x,h(y,z))=y)\rightarrow \forall x,y\ (x=y)$

First order structures: relational vs algebraic and their behaviour with respect to morphisms.

First order algebraic structures: which are closed with respect to substructure formation?

On model theory (basic)

Decidability of Interpreted Theory

Whats wrong with this model theoretic proof of the twin primes conjecture?

Consequence of Löwenheim-Skolem-Theorem

Conservative concrete functors

Successor function paradox for $\mathfrak{C}$ such that $\mathfrak{B}=(\omega;\lt,S)\preccurlyeq\mathfrak{C}$

What is the Löwenheim number of $L(Q^c)$

About (Infinite) Discrete Linear Orders Theory

Boolean-valued Models: why should I care?

What does "SP" mean in model theory, as in "For a pair of cardinals ($\lambda$ ,$\kappa$) $\in SP(T)$ ..."?

Can First Order Logic Express Cardinal Numbers

Trending Questions

Popular # Hahtags

Popular Questions