Question

Verification of simple quantifier elimination in $T_{acf}$

score 98 · Answer 1 · 2026-03-25 03:01:22

98

Views

Verification of simple quantifier elimination in $T_{acf}$

Published on 25 Mar 2026 - 3:01

score 109 · Answer 2 · 2016-11-19 19:13:06

109

Views

Existence of an embedding?

Published on 19 Nov 2016 - 19:13

score 106 · Answer 3 · 2016-11-20 11:56:43

106

Views

$m-isomorphism$ - not understanding this term. Ask for explanation.

Published on 20 Nov 2016 - 11:56

score 92 · Answer 4 · 2016-11-20 23:52:39

92

Views

Realisation of types in complete theory

Published on 20 Nov 2016 - 23:52

score 479 · Answer 5 · 2016-11-21 03:55:07

479

Views

Theory T of graphs

Published on 21 Nov 2016 - 3:55

score 132 · Answer 6 · 2026-03-25 06:03:43

132

Views

There is given spectrum for $\phi$. Find such $\psi$ with spectrum with special property.

Published on 25 Mar 2026 - 6:03

score 208 · Answer 7 · 2016-11-22 17:48:43

208

Views

Does algebraicity implies dividing (model theory)

Published on 22 Nov 2016 - 17:48

score 376 · Answer 8 · 2026-03-30 02:54:59

376

Views

Do we know the index of the minimal stage in the constructible universe which is a model of $ZFC$?

Published on 30 Mar 2026 - 2:54

score 71 · Answer 9 · 2016-11-26 18:06:08

71

Views

Elementary $2$-equivalence $X=(A, <^X)$ with $N=(\mathbb{N}, <)$. Conclusions.

Published on 26 Nov 2016 - 18:06

score 114 · Answer 10 · 2016-11-27 12:52:49

114

Views

Prove that there is no such set of first-order logic sentences axiomiatizing some class of isomorphic structures

Published on 27 Nov 2016 - 12:52

score 230 · Answer 11 · 2016-11-28 02:36:09

230

Views

Quantifier elimination and model completeness for completions of PA and ZFC

Published on 28 Nov 2016 - 2:36

score 337 · Answer 12 · 2016-11-28 15:51:14

337

Views

Atomic diagram vs quantifier-free type

Published on 28 Nov 2016 - 15:51

score 34 · Answer 13 · 2016-11-30 15:40:46

34

Views

Definition of A Specific Type

Published on 30 Nov 2016 - 15:40

score 226 · Answer 14 · 2016-12-03 10:38:04

226

Views

Show non-definability of (biparted graphs, graphs with eulerian cycle, even number of nodes)

Published on 03 Dec 2016 - 10:38

score 29 · Answer 15 · 2016-12-03 12:22:49

29

Views

Finitely generated monoids- axiomatization- compactness theorem.

Published on 03 Dec 2016 - 12:22

List Question

Verification of simple quantifier elimination in $T_{acf}$

Existence of an embedding?

$m-isomorphism$ - not understanding this term. Ask for explanation.

Realisation of types in complete theory

Theory T of graphs

There is given spectrum for $\phi$. Find such $\psi$ with spectrum with special property.

Does algebraicity implies dividing (model theory)

Do we know the index of the minimal stage in the constructible universe which is a model of $ZFC$?

Elementary $2$-equivalence $X=(A, <^X)$ with $N=(\mathbb{N}, <)$. Conclusions.

Prove that there is no such set of first-order logic sentences axiomiatizing some class of isomorphic structures

Quantifier elimination and model completeness for completions of PA and ZFC

Atomic diagram vs quantifier-free type

Definition of A Specific Type

Show non-definability of (biparted graphs, graphs with eulerian cycle, even number of nodes)

Finitely generated monoids- axiomatization- compactness theorem.

Trending Questions

Popular # Hahtags

Popular Questions