User Gabe Conant

122 votes

Every mathematician has only a few tricks

answered Jun 15, 2020 at 14:53

25 votes

Accepted

Intuition behind stability and instability in model theory

answered Jul 7, 2020 at 22:52

15 votes

Accepted

Is $(\mathbb{R},+)$ isomorphic to a subgroup of $S_\omega$?

answered Jul 15, 2019 at 11:58

15 votes

Breakthroughs in mathematics in 2023

answered Jan 8 at 20:58

13 votes

What are some nice uses of ultraproducts/ultrapowers?

answered Jul 20, 2023 at 14:00

12 votes

Accepted

Examples of $\aleph_0$-categorical nonhomogeneous structures

answered Jul 15, 2020 at 19:38

11 votes

A generalization of metric spaces

answered Jun 22, 2020 at 13:43

10 votes

Accepted

Embeddability of all graphs of cardinality $\kappa$ into one graph of cardinality $\kappa$

answered Oct 22, 2019 at 15:49

10 votes

Accepted

An entire function all whose forward orbits are bounded

answered Jul 18, 2019 at 11:25

10 votes

Accepted

Measure on cosets in a group?

answered Jun 17, 2019 at 22:29

9 votes

In what sense is SL(2,q) "very far from abelian"?

answered Sep 28, 2019 at 10:12

8 votes

Accepted

Is an abelian group of bounded exponent $\aleph_0$-categorical

answered Jul 14, 2020 at 22:55

8 votes

Accepted

Classification of minimal sets of properties proving a group is Abelian

answered Jul 9, 2019 at 22:35

7 votes

Accepted

Wikipedia article on forbidden graph substructures

answered Dec 12, 2019 at 14:40

6 votes

Accepted

Syndetic sets and Banach limits: reference request

answered Dec 29, 2023 at 16:18

6 votes

Accepted

Survey article model theory research

answered Aug 20, 2019 at 2:04

6 votes

Monochromatic solution to $x+y=z^2$

answered Jul 3, 2019 at 4:23

6 votes

Accepted

Reference request: quantifier elimination test

answered Jul 7, 2019 at 16:15

6 votes

Ultraproduct of Dividing Lines

answered Jul 23, 2019 at 15:00

5 votes

Accepted

Fraïssé Limit and Ultraproduct

answered Jul 29, 2019 at 16:29

5 votes

Accepted

Quantifier elimination in uncountable elementary "Fraïssé classes"

answered Jun 11, 2019 at 19:16

5 votes

Accepted

Fundamental theorem of linear orders

answered Sep 19, 2019 at 14:59

5 votes

Accepted

Is there a pseudofinite group with a quantifier-free instance of the order property?

answered Feb 1, 2021 at 16:51

4 votes

Accepted

Upper bound on VC-dimension of partitioned class

answered Jan 4 at 22:10

4 votes

Accepted

Characterizing relations by forbidden induced subsets

answered Dec 10, 2019 at 17:15

4 votes

Accepted

Chromatic number of distance graphs over the integers

answered Jun 8, 2020 at 19:54

4 votes

Accepted

On Asymptotic classes of finite structures (2)

answered Aug 13, 2019 at 20:43

3 votes

Subgroup generated by a subgroup and a conjugate of it

answered Aug 17, 2019 at 15:11

3 votes

Accepted

Number of prime factors and density

answered Aug 21, 2019 at 13:14

3 votes

Accepted

Is there a Baldwin-Lachlan style characterization of countable unidimensional theories?

answered Aug 25, 2018 at 18:01

Stack Exchange Network

37 Answers

Every mathematician has only a few tricks

Intuition behind stability and instability in model theory

Is $(\mathbb{R},+)$ isomorphic to a subgroup of $S_\omega$?

Breakthroughs in mathematics in 2023

What are some nice uses of ultraproducts/ultrapowers?

Examples of $\aleph_0$-categorical nonhomogeneous structures

A generalization of metric spaces

Embeddability of all graphs of cardinality $\kappa$ into one graph of cardinality $\kappa$

An entire function all whose forward orbits are bounded

Measure on cosets in a group?

In what sense is SL(2,q) "very far from abelian"?

Is an abelian group of bounded exponent $\aleph_0$-categorical

Classification of minimal sets of properties proving a group is Abelian

Wikipedia article on forbidden graph substructures

Syndetic sets and Banach limits: reference request

Survey article model theory research

Monochromatic solution to $x+y=z^2$

Reference request: quantifier elimination test

Ultraproduct of Dividing Lines

Fraïssé Limit and Ultraproduct

Quantifier elimination in uncountable elementary "Fraïssé classes"

Fundamental theorem of linear orders

Is there a pseudofinite group with a quantifier-free instance of the order property?

Upper bound on VC-dimension of partitioned class

Characterizing relations by forbidden induced subsets

Chromatic number of distance graphs over the integers

On Asymptotic classes of finite structures (2)

Subgroup generated by a subgroup and a conjugate of it

Number of prime factors and density

Is there a Baldwin-Lachlan style characterization of countable unidimensional theories?