Skip to main content
Primo Petri's user avatar
Primo Petri's user avatar
Primo Petri's user avatar
Primo Petri
  • Member for 10 years, 2 months
  • Last seen more than a month ago
84 votes
0 answers
2k views

Complete, Finitely Axiomatizable, Theory with 3 Countable Models

12 votes
2 answers
591 views

counterexample to the omitting types in uncountable language

7 votes
1 answer
204 views

Indiscernible subsequences

5 votes
1 answer
209 views

Weak elimination of imaginaries in the theory of the random graph

5 votes
0 answers
260 views

Elimination of the quantifier "there are infinitely many"

5 votes
0 answers
160 views

Hilbert's Basis Theorem in model theory

4 votes
1 answer
108 views

Keisler measures obtained from hyperfinite samples

4 votes
0 answers
646 views

Farkas lemma and duality

4 votes
1 answer
91 views

A class of morphisms between models

4 votes
0 answers
153 views

Morley’s Categoricity Theorem for uncountable languages.

3 votes
1 answer
65 views

Is type definability always closed under existential quantification?

3 votes
2 answers
309 views

Random graphs are not uncountably categorical

3 votes
1 answer
253 views

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

3 votes
1 answer
120 views

Carathéodory measurability condition for finite outer measure

3 votes
1 answer
103 views

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

3 votes
2 answers
160 views

Existence of Lascar invariant type

3 votes
0 answers
32 views

Omitting types inside a model [duplicate]

3 votes
0 answers
56 views

Model theoretic translation of Hilbert's Basis Theorem

3 votes
1 answer
107 views

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

2 votes
1 answer
65 views

Parameterfree heir-coheir relation in stable theories

2 votes
1 answer
50 views

Poisson sand timer

2 votes
0 answers
90 views

Vapnik-Chervonenkis inequalities

2 votes
1 answer
194 views

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

2 votes
1 answer
130 views

Non-forking global types

1 vote
1 answer
79 views

Characterization of superstability

1 vote
2 answers
152 views

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

1 vote
1 answer
90 views

convex ideal of a poring

1 vote
0 answers
76 views

Random walk with $p+q<1$

1 vote
1 answer
22 views

Characterize some counting functions

1 vote
0 answers
48 views

Parameterfree heir-coheir relation in stable theories (II)