Dave Marker's user avatar
Dave Marker's user avatar
Dave Marker's user avatar
Dave Marker
  • Member for 13 years, 11 months
  • Last seen more than a month ago
26 votes

What's wrong with the surreals?

21 votes

Completeness vs Compactness in logic

18 votes

Is there a computable model of ZFC?

16 votes
Accepted

What is a good example of a complete but not model-complete theory, and why?

16 votes

Use of indiscernibles in model theory

16 votes
Accepted

Is "approximate categoricity" absolute?

14 votes

Perfect set property for projective hierarchy

14 votes

What is the spectrum of possible cofinality types for cuts in an ordered field? Or in a model of the hyperreals? Or in a nonstandard model of arithmetic?

13 votes

Are there as many real-closed fields of a given cardinality as I think there are?

11 votes

Induction, the infinitude of the primes, and workaday number theory

10 votes

Are there any complete, first-order and unstable theories which have non-categorical second-order formulations?

9 votes

Notion of internality in model theory

8 votes
Accepted

Jump Inversion of Arithmetic

8 votes
Accepted

Morley Phenomena for Special Families of Reals

8 votes

Fields with trivial automorphism group

8 votes

Computable nonstandard models for weak systems of arithemtic

7 votes
Accepted

Theory of addition and a predicate that recognizes powers of 2

7 votes
Accepted

Completeness of Algebraically Closed Valued Fields(ACVF) Theory

6 votes

Monotone injection of an ordinal into $[0,1]$

6 votes

Torsion points in Abelian varieties over number fields

6 votes
Accepted

A subset of Baire space Wadge incomparable to a Borel set?

6 votes
Accepted

Models within a model of set theory

6 votes
Accepted

Definability of Morley rank in the theory of Compact Complex Spaces(CCS)

5 votes

Proofs that use Infinite/Finite Priority Injury Method

5 votes

Nonstandard Methods ( or Model Theory ) and Arithmetic Geometry

5 votes
Accepted

Undecidable completion of undecidable theory, and pairs of RCF

4 votes

Variety defined by a recursively enumerable set of polynomials

4 votes

Formulas in a Field and in a Field Extension

4 votes

Smallest real closed field realizing all cuts of the rational numbers

4 votes

dense orders are saturated