Question

algebraic closure is the intersection of all elementary sub-models of the monster

score 395 · Answer 1 · 2026-03-30 12:00:08

395

Views

algebraic closure is the intersection of all elementary sub-models of the monster

Published on 30 Mar 2026 - 12:00

score 245 · Answer 2 · 2026-04-06 01:41:05

245

Views

Is there a first order formula $\varphi[x]$ in $(\mathbb Q, +, \cdot, 0)$ such that $x≥0$ iff $\varphi[x]$?

Published on 06 Apr 2026 - 1:41

score 304 · Answer 3 · 2026-04-04 16:38:09

304

Views

First-order logic: largest size among smallest finite models for formulas of a given length

Published on 04 Apr 2026 - 16:38

score 46 · Answer 4 · 2016-02-06 01:19:39

46

Views

Embeddable rings axiomatic class?

Published on 06 Feb 2016 - 1:19

score 322 · Answer 5 · 2026-03-31 21:08:26

322

Views

Is it possible to have logic without syntax (with only semantic proof methods)?

Published on 31 Mar 2026 - 21:08

score 185 · Answer 6 · 2016-02-07 14:12:17

185

Views

Existance of an (in)finite theory having infinite model

Published on 07 Feb 2016 - 14:12

score 82 · Answer 7 · 2016-02-08 04:02:50

82

Views

satisfaction of a sentence with two quantifiers

Published on 08 Feb 2016 - 4:02

score 85 · Answer 8 · 2016-02-09 15:11:22

85

Views

Show that a sequence of elements each realizing an isolated type over the previous realizes an isolated type

Published on 09 Feb 2016 - 15:11

score 308 · Answer 9 · 2016-02-11 17:17:51

308

Views

Are existentially defined subsets of affine algebraic sets unions of a finite number of affine algebraic sets?

Published on 11 Feb 2016 - 17:17

score 560 · Answer 10 · 2016-02-13 15:53:49

560

Views

The Reals are not interpretable in the complex numbers

Published on 13 Feb 2016 - 15:53

score 696 · Answer 11 · 2016-02-14 23:49:46

696

Views

Compactness and axiomatisability

Published on 14 Feb 2016 - 23:49

score 132 · Answer 12 · 2026-04-05 19:05:51

132

Views

Completing ordered Fields

Published on 05 Apr 2026 - 19:05

score 99 · Answer 13 · 2016-02-16 21:16:00

99

Views

Sufficient condition for $A \cong B \preccurlyeq C$ to entail $A \preccurlyeq C$

Published on 16 Feb 2016 - 21:16

score 234 · Answer 14 · 2026-04-03 07:53:13

234

Views

Symmetry of Forking

Published on 03 Apr 2026 - 7:53

score 111 · Answer 15 · 2016-02-19 02:53:16

111

Views

Axiomatizable class of algebraic structures which is not the reduct of a variety

Published on 19 Feb 2016 - 2:53

List Question

algebraic closure is the intersection of all elementary sub-models of the monster

Is there a first order formula $\varphi[x]$ in $(\mathbb Q, +, \cdot, 0)$ such that $x≥0$ iff $\varphi[x]$?

First-order logic: largest size among smallest finite models for formulas of a given length

Embeddable rings axiomatic class?

Is it possible to have logic without syntax (with only semantic proof methods)?

Existance of an (in)finite theory having infinite model

satisfaction of a sentence with two quantifiers

Show that a sequence of elements each realizing an isolated type over the previous realizes an isolated type

Are existentially defined subsets of affine algebraic sets unions of a finite number of affine algebraic sets?

The Reals are not interpretable in the complex numbers

Compactness and axiomatisability

Completing ordered Fields

Sufficient condition for $A \cong B \preccurlyeq C$ to entail $A \preccurlyeq C$

Symmetry of Forking

Axiomatizable class of algebraic structures which is not the reduct of a variety

Trending Questions

Popular # Hahtags

Popular Questions