30

Answers
votes newest views recent
7
Fields with trivial automorphism group
7
What’s wrong with the surreals?
13
Completeness vs Compactness in logic
7
Is there a computable model of ZFC?
7
Use of Indiscernibles in Model Theory
8
Induction, the infinitude of the primes, and workaday number theory
2
Is there a purely algebraic criterion which characterizes the real algebraic numbers?
9
Are there as many real-closed fields of a given cardinality as I think there are?
4
Nonstandard Methods ( or Model Theory ) and Arithmetic Geometry
5
Torsion points in Abelian varieties over number fields
6
Models within a model of set theory
3
Variety defined by a recursively enumerable set of polynomials
2
k-th powers in the field of p-adics
8
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?
4
Proofs that use Infinite/Finite Priority Injury Method
5
Computable nonstandard models for weak systems of arithemtic
5
Monotone injection of an ordinal into $[0,1]$
6
Notion of internality in model theory
10
Perfect set property for projective hierarchy
4
dense orders are saturated
12
What is a good example of a complete but not model-complete theory, and why?
2
Sturm chain analogue for exponential polynomials?
8
Completeness of Algebraically Closed Valued Fields(ACVF) Theory
6
Jump Inversion of Arithmetic
5
Undecidable completion of undecidable theory, and pairs of RCF
6
A subset of Baire space Wadge incomparable to a Borel set?
7
Theory of addition and a predicate that recognizes powers of 2
3
Smallest real closed field realizing all cuts of the rational numbers
6
Are there any complete, first-order and unstable theories which have non-categorical second-order formulations?
2
Tuple machinery in I-Sigma_0