User Primo Petri

77 votes

0 answers

2k views

Complete, Finitely Axiomatizable, Theory with 3 Countable Models

asked Aug 29, 2014 at 13:01

9 votes

2 answers

512 views

counterexample to the omitting types in uncountable language

asked Sep 18, 2017 at 17:47

7 votes

1 answer

199 views

Indiscernible subsequences

asked Sep 15, 2014 at 8:24

5 votes

1 answer

199 views

Weak elimination of imaginaries in the theory of the random graph

asked Jun 1, 2016 at 16:38

5 votes

0 answers

234 views

Elimination of the quantifier "there are infinitely many"

asked Jun 14, 2017 at 9:13

5 votes

0 answers

154 views

Hilbert's Basis Theorem in model theory

asked Jun 14, 2021 at 14:27

4 votes

1 answer

105 views

Keisler measures obtained from hyperfinite samples

asked Sep 2, 2021 at 11:26

4 votes

0 answers

598 views

Farkas lemma and duality

asked Aug 30, 2017 at 12:01

4 votes

1 answer

86 views

A class of morphisms between models

asked Jun 8, 2017 at 6:21

4 votes

0 answers

152 views

Morley’s Categoricity Theorem for uncountable languages.

asked Apr 26, 2015 at 18:29

3 votes

1 answer

120 views

Non-forking global types

asked Jun 3, 2015 at 5:59

3 votes

1 answer

226 views

Comparing the Samuel and Stone-Čech compactifications of a Hausdorff topological group

asked Jun 8, 2015 at 17:29

3 votes

1 answer

65 views

Is type definability always closed under existential quantification?

asked Mar 1, 2015 at 18:45

3 votes

2 answers

279 views

Random graphs are not uncountably categorical

asked Apr 2, 2015 at 14:29

3 votes

1 answer

115 views

Carathéodory measurability condition for finite outer measure

asked Jul 11, 2017 at 8:56

3 votes

1 answer

90 views

Small elementary extensions of $\langle\mathbb Q, 0,1,+,-,×,<\rangle$?

asked Sep 25, 2021 at 16:05

3 votes

2 answers

151 views

Existence of Lascar invariant type

asked Jun 11, 2021 at 10:21

3 votes

0 answers

32 views

Omitting types inside a model [duplicate]

asked May 3 at 11:16

3 votes

0 answers

56 views

Model theoretic translation of Hilbert's Basis Theorem

asked Jun 16, 2021 at 19:11

2 votes

1 answer

50 views

Poisson sand timer

asked Feb 19, 2018 at 16:05

2 votes

0 answers

81 views

Vapnik-Chervonenkis inequalities

asked Feb 26, 2020 at 11:28

2 votes

1 answer

83 views

Finite Shelah 2-rank implies stable. A combinatorial proof.

asked May 18, 2020 at 15:24

2 votes

1 answer

55 views

Parameterfree heir-coheir relation in stable theories

asked Dec 14, 2020 at 19:05

2 votes

1 answer

175 views

Saturated models and $\kappa=\kappa^{<\kappa}$

asked May 24, 2015 at 7:25

1 vote

1 answer

81 views

convex ideal of a poring

asked Jun 10, 2017 at 10:41

1 vote

0 answers

73 views

Random walk with $p+q<1$

asked Dec 5, 2016 at 14:44

1 vote

2 answers

151 views

When you name an element in an uncountably categorical theory....

asked Apr 3, 2015 at 14:27

1 vote

1 answer

76 views

Characterization of superstability

asked May 8, 2015 at 17:48

1 vote

0 answers

46 views

Parameterfree heir-coheir relation in stable theories (II)

asked Dec 16, 2020 at 8:15

1 vote

1 answer

22 views

Characterize some counting functions

asked Feb 9, 2018 at 14:36

Stack Exchange Network

33 Questions

Complete, Finitely Axiomatizable, Theory with 3 Countable Models

counterexample to the omitting types in uncountable language

Indiscernible subsequences

Weak elimination of imaginaries in the theory of the random graph

Elimination of the quantifier "there are infinitely many"

Hilbert's Basis Theorem in model theory

Keisler measures obtained from hyperfinite samples

Farkas lemma and duality

A class of morphisms between models

Morley’s Categoricity Theorem for uncountable languages.

Non-forking global types

Comparing the Samuel and Stone-Čech compactifications of a Hausdorff topological group

Is type definability always closed under existential quantification?

Random graphs are not uncountably categorical

Carathéodory measurability condition for finite outer measure

Small elementary extensions of $\langle\mathbb Q, 0,1,+,-,×,<\rangle$?

Existence of Lascar invariant type

Omitting types inside a model [duplicate]

Model theoretic translation of Hilbert's Basis Theorem

Poisson sand timer

Vapnik-Chervonenkis inequalities

Finite Shelah 2-rank implies stable. A combinatorial proof.

Parameterfree heir-coheir relation in stable theories

Saturated models and $\kappa=\kappa^{<\kappa}$

convex ideal of a poring

Random walk with $p+q<1$

When you name an element in an uncountably categorical theory....

Characterization of superstability

Parameterfree heir-coheir relation in stable theories (II)

Characterize some counting functions