User Primo Petri

10 votes

Is there a nonstandard model of Peano's arithmetic where any element has only finitely many prime divisors?

answered Feb 17, 2022 at 11:18

7 votes

Accepted

Sentence equivalent to $\bigwedge_{i=1}^ \infty \sigma_i$ without using infinite conjunctions

answered Mar 5, 2022 at 17:52

7 votes

Examples of classes of structures which are "surprisingly" axiomatizable.

answered Jan 6 at 15:41

6 votes

Better understanding dividing and forking

answered Apr 28, 2022 at 22:33

5 votes

How to express a function $f:A\rightarrow B$ as a first order structure?

answered Jun 19, 2022 at 7:14

5 votes

Accepted

Exercise about ultraproducts

answered Jan 17, 2022 at 15:00

5 votes

Accepted

How to Learn Stability Theory

answered Sep 16, 2017 at 13:59

5 votes

Is algebra needed to really understand and/or enjoy model theory?

answered May 18, 2015 at 18:08

5 votes

Accepted

You don't need to take an algebraic closure twice in model theory

answered Sep 20, 2014 at 7:46

5 votes

Is the (first order theory) of Hilbert spaces categorical?

answered Oct 1, 2014 at 14:26

5 votes

In what sense of "structure" do group homomorphisms "preserve structure"?

answered Feb 21, 2015 at 7:18

5 votes

Accepted

substructures, superstructures, and their elementary counterparts

answered Feb 27, 2015 at 17:43

5 votes

Accepted

Complete $n$-types for the theories of $( \mathbb Z , s )$ and $( \mathbb Z , s , < )$

answered Apr 15, 2015 at 4:21

5 votes

Why are structures with no relations called algebras?

answered Apr 22, 2015 at 5:26

5 votes

Accepted

Weakly Saturated model not Saturated

answered May 5 at 12:31

4 votes

Accepted

Finding all complete theories containing a given theory

answered Jun 25 at 20:00

4 votes

Undefinable subset of $(\mathbb{N}, <)$

answered Jul 22 at 12:38

4 votes

Accepted

Are ideals necessarily definable?

answered Sep 13, 2014 at 9:27

4 votes

No countable models

answered Mar 28, 2015 at 14:02

4 votes

Compactness theorem for monster models

answered Jul 5, 2022 at 12:12

4 votes

What is the modern convention for these model theory defintions?

answered Jun 1, 2022 at 18:09

4 votes

Accepted

Classifying complete extensions of a theory with countable atomic (prime) models

answered Mar 17, 2022 at 21:31

4 votes

Accepted

Order preserving map from interval $(0,1)$ to the ultrafilter

answered Mar 15, 2022 at 20:47

4 votes

Accepted

Is definable $\emptyset$-definable?

answered Feb 19, 2015 at 9:15

3 votes

Prove completeness from elimination of quantifiers

answered Feb 6, 2022 at 13:47

3 votes

Disjoint union of copies of Henson graph is not homogenous

answered Mar 16, 2022 at 12:49

3 votes

"Real-closed" vs "transfer principle"

answered Mar 24, 2022 at 10:37

3 votes

Model Theory: the Hodges book

answered Feb 20 at 16:45

3 votes

What are some fun nonstandard models to explore?

answered Sep 1, 2021 at 10:36

3 votes

Accepted

If $M$ has a saturated elementary extension of cardinality $\lambda$, then $\lambda=\lambda^{<\lambda}$?

answered Jun 13, 2021 at 12:21

Stack Exchange Network

83 Answers

Is there a nonstandard model of Peano's arithmetic where any element has only finitely many prime divisors?

Sentence equivalent to $\bigwedge_{i=1}^ \infty \sigma_i$ without using infinite conjunctions

Examples of classes of structures which are "surprisingly" axiomatizable.

Better understanding dividing and forking

How to express a function $f:A\rightarrow B$ as a first order structure?

Exercise about ultraproducts

How to Learn Stability Theory

Is algebra needed to really understand and/or enjoy model theory?

You don't need to take an algebraic closure twice in model theory

Is the (first order theory) of Hilbert spaces categorical?

In what sense of "structure" do group homomorphisms "preserve structure"?

substructures, superstructures, and their elementary counterparts

Complete $n$-types for the theories of $( \mathbb Z , s )$ and $( \mathbb Z , s , < )$

Why are structures with no relations called algebras?

Weakly Saturated model not Saturated

Finding all complete theories containing a given theory

Undefinable subset of $(\mathbb{N}, <)$

Are ideals necessarily definable?

No countable models

Compactness theorem for monster models

What is the modern convention for these model theory defintions?

Classifying complete extensions of a theory with countable atomic (prime) models

Order preserving map from interval $(0,1)$ to the ultrafilter

Is definable $\emptyset$-definable?

Prove completeness from elimination of quantifiers

Disjoint union of copies of Henson graph is not homogenous

"Real-closed" vs "transfer principle"

Model Theory: the Hodges book

What are some fun nonstandard models to explore?

If $M$ has a saturated elementary extension of cardinality $\lambda$, then $\lambda=\lambda^{<\lambda}$?