Dave Marker

1,935

Reputation

818 views

Registered User

Name	Dave Marker
Member for	3 years
Seen	May 16 at 10:46
Website	math.uic.edu/~marker
Location	Chicago
Age

stats recent reputation favorites

0

Questions

30

Answers

votes newest views recent

Completeness vs Compactness in logic

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

Perfect set property for projective hierarchy

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

Completeness of Algebraically Closed Valued Fields(ACVF) Theory

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

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?

Use of Indiscernibles in Model Theory

Theory of addition and a predicate that recognizes powers of 2

Fields with trivial automorphism group

What’s wrong with the surreals?

Is there a computable model of ZFC?

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

Jump Inversion of Arithmetic

Models within a model of set theory

Notion of internality in model theory

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

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

Torsion points in Abelian varieties over number fields

Computable nonstandard models for weak systems of arithemtic

Undecidable completion of undecidable theory, and pairs of RCF

Proofs that use Infinite/Finite Priority Injury Method

Nonstandard Methods ( or Model Theory ) and Arithmetic Geometry

dense orders are saturated

Smallest real closed field realizing all cuts of the rational numbers

Variety defined by a recursively enumerable set of polynomials

Is there a purely algebraic criterion which characterizes the real algebraic numbers?

Tuple machinery in I-Sigma_0

Sturm chain analogue for exponential polynomials?

k-th powers in the field of p-adics

59

Votes

57

2

25

Tags

15

Badges

● Yearling× 3
● Nice Answer× 3
● Enlightened

● Commentator
● Critic
● Necromancer× 2

● Supporter
● Enthusiast
● Editor