Stack Exchange

Dave Marker

Chicago

http://www.math.uic.edu/~marker

top accounts reputation activity bookmarks subscriptions
Top Questions
No questions with score of 5 or more
Top Answers
43
Example of non-isomorphic structures which are elementarily equivalent
math.stackexchange.com

22
What's wrong with the surreals?
mathoverflow.net

21
Completeness vs Compactness in logic
mathoverflow.net

16
Use of indiscernibles in model theory
mathoverflow.net

16
Is “approximate categoricity” absolute?
mathoverflow.net

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

13
Is there a computable model of ZFC?
mathoverflow.net

13
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?
mathoverflow.net

11
Perfect set property for projective hierarchy
mathoverflow.net

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

10
Induction, the infinitude of the primes, and workaday number theory
mathoverflow.net

8
Good books on mathematical logic?
math.stackexchange.com

8
Notion of internality in model theory
mathoverflow.net

8
Fields with trivial automorphism group
mathoverflow.net

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

8
Jump Inversion of Arithmetic
mathoverflow.net

8
Completeness of Algebraically Closed Valued Fields(ACVF) Theory
mathoverflow.net

7
Theory of addition and a predicate that recognizes powers of 2
mathoverflow.net

6
Book/article/tutorial as an introduction to Cardinality
math.stackexchange.com

6
Models within a model of set theory
mathoverflow.net

6
A subset of Baire space Wadge incomparable to a Borel set?
mathoverflow.net

6
Definability of Morley rank in the theory of Compact Complex Spaces(CCS)
mathoverflow.net

6
Computable nonstandard models for weak systems of arithemtic
mathoverflow.net

6
Monotone injection of an ordinal into $[0,1]$
mathoverflow.net

6
Morley Phenomena for Special Families of Reals
mathoverflow.net

5
Undecidable completion of undecidable theory, and pairs of RCF
mathoverflow.net

5
Torsion points in Abelian varieties over number fields
mathoverflow.net

5
Proofs that use Infinite/Finite Priority Injury Method
mathoverflow.net

5
Nonstandard Methods ( or Model Theory ) and Arithmetic Geometry
mathoverflow.net