Showing 1–9 of 9 results for author: Marker, D

Rigid Real Closed Fields

Authors: David Marker, Charles Steinhorn

Abstract: We construct a non-Archimedean real closed field of transcendence degree two with no non-trivial automorphisms We construct a non-Archimedean real closed field of transcendence degree two with no non-trivial automorphisms △ Less

Submitted 3 July, 2024; v1 submitted 29 June, 2024; originally announced July 2024.

MSC Class: 03C64 12J15

Rigid Differentially Closed Fields

Authors: David Marker

Abstract: Using ideas from geometric stability theory we construct differentially closed fields with no non-trivial automorphisms. Using ideas from geometric stability theory we construct differentially closed fields with no non-trivial automorphisms. △ Less

Submitted 17 December, 2022; v1 submitted 12 January, 2022; originally announced January 2022.

Journal ref: Model Th. 2 (2023) 177-184

On the equations of Poizat and Liénard

Authors: James Freitag, Rémi Jaoui, David Marker, Joel Nagloo

Abstract: We study the structure of the solution sets in universal differential fields of certain differential equations of order two, the Poizat equations, which are particular cases of Liénard equations. We give a necessary and sufficient condition for strong minimality for equations in this class and a complete classification of the algebraic relations for solutions of strongly minimal Poizat equations.… ▽ More We study the structure of the solution sets in universal differential fields of certain differential equations of order two, the Poizat equations, which are particular cases of Liénard equations. We give a necessary and sufficient condition for strong minimality for equations in this class and a complete classification of the algebraic relations for solutions of strongly minimal Poizat equations. We also give an analysis of the non strongly minimal cases as well as applications concerning the Liouvillian and Pfaffian solutions of some Liénard equations. △ Less

Submitted 11 January, 2022; originally announced January 2022.

Comments: 49 pages

MSC Class: 34M15; 12H05; 03C60

Anti-classification results for groups acting freely on the line

Authors: Filippo Calderoni, David Marker, Luca Motto Ros, Assaf Shani

Abstract: We explore countable ordered Archimedean groups from the point of view of descriptive set theory. We introduce the space of Archimedean left-orderings $\mathrm{Ar}(G)$ for a given countable group $G$, and prove that the equivalence relation induced by the natural action of $\mathrm{GL}_2(\mathbb{Q})$ on $\mathrm{Ar}(\mathbb{Q}^2)$ is not concretely classifiable. Then we analyze the isomorphism rel… ▽ More We explore countable ordered Archimedean groups from the point of view of descriptive set theory. We introduce the space of Archimedean left-orderings $\mathrm{Ar}(G)$ for a given countable group $G$, and prove that the equivalence relation induced by the natural action of $\mathrm{GL}_2(\mathbb{Q})$ on $\mathrm{Ar}(\mathbb{Q}^2)$ is not concretely classifiable. Then we analyze the isomorphism relation for countable ordered Archimedean groups, and pin its complexity in terms of the hierarchy of Hjorth, Kechris and Louveau. In particular, we show that its potential class is not $\boldsymbolΠ^0_3$. This topological constraint prevents classifying Archimedean groups using countable subsets of reals. We obtain analogous results for the bi-embeddability relation, and we consider similar problems for circularly ordered groups, and o-minimal structures such as ordered divisible Abelian groups, and real closed fields. Our proofs combine classical results on Archimedean groups, the theory of Borel equivalence relations, and analyzing definable sets in the basic Cohen model and other models of Zermelo-Fraenkel set theory without choice. △ Less

Submitted 13 January, 2023; v1 submitted 15 October, 2020; originally announced October 2020.

Comments: Accepted for publication in Advances in Mathematics, 38 pages. We added Subsection 5.3, which contains some strengthening of our results. In particular, Theorem 5.15 and Corollary 5.17 show that bi-embeddability on countable ordered archimedean groups is not classifiable by countable structures, and thus answer Question 5.14 from the previous version

MSC Class: 03E15; 03E30; 03E75; 03C64; 06F15 (Primary) 03C15; 06F20; 20F60; 54H05 (Secondary)

Scattered Sentences have Few Separable Randomizations

Authors: Uri Andrews, Isaac Goldbring, Sherwood Hachtman, H. Jerome Keisler, David Marker

Abstract: In the paper "Randomizations of Scattered Sentences", Keisler showed that if Martin's axiom for aleph one holds, then every scattered sentence has few separable randomizations, and asked whether the conclusion could be proved in ZFC alone. We show here that the answer is "yes". It follows that the absolute Vaught conjecture holds if and only if every $L_{ω_1ω}$-sentence with few separable randomiz… ▽ More In the paper "Randomizations of Scattered Sentences", Keisler showed that if Martin's axiom for aleph one holds, then every scattered sentence has few separable randomizations, and asked whether the conclusion could be proved in ZFC alone. We show here that the answer is "yes". It follows that the absolute Vaught conjecture holds if and only if every $L_{ω_1ω}$-sentence with few separable randomizations has countably many countable models. △ Less

Submitted 17 April, 2017; originally announced April 2017.

Comments: 9 pages

Representing Scott sets in algebraic settings

Authors: Alf Dolich, Julia Knight, Karen Lange, David Marker

Abstract: We prove that for every Scott set $S$ there are $S$-saturated real closed fields and models of Presburger arithmetic. We prove that for every Scott set $S$ there are $S$-saturated real closed fields and models of Presburger arithmetic. △ Less

Submitted 21 July, 2014; originally announced July 2014.

Turing degree spectra of differentially closed fields

Authors: David Marker, Russell Miller

Abstract: The degree spectrum of a countable structure is the set of all Turing degrees of presentations of that structure. We show that every nonlow Turing degree lies in the spectrum of some differentially closed field (of characteristic 0, with a single derivation) whose spectrum does not contain the computable degree 0. Indeed, this is an equivalence, for we also show that every such field of low degree… ▽ More The degree spectrum of a countable structure is the set of all Turing degrees of presentations of that structure. We show that every nonlow Turing degree lies in the spectrum of some differentially closed field (of characteristic 0, with a single derivation) whose spectrum does not contain the computable degree 0. Indeed, this is an equivalence, for we also show that every such field of low degree is isomorphic to a computable differential field. Relativizing the latter result and applying a theorem of Montalban, Soskova, and Soskov, we conclude that the spectra of countable differentially closed fields of characteristic 0 are exactly the jump-preimages of spectra of automorphically nontrivial countable graphs. △ Less

Submitted 8 February, 2018; v1 submitted 13 June, 2014; originally announced June 2014.

MSC Class: 03D45 (Primary); 03C57; 12H05 (Secondary)

Journal ref: Journal of Symbolic Logic 82 (2017) 1, 1-25

Uncountable Real Closed Fields with PA Integer Parts

Authors: David Marker, James Schmerl, Charles Steinhorn

Abstract: D'Aquino, Knight and Starchenko classified the countable real closed fields with integer parts that are nonstandard models of Peano Arithmetic. We rule out some possibilities for extending their results to the uncountable and study real closures of $ω_1$-like models of PA. D'Aquino, Knight and Starchenko classified the countable real closed fields with integer parts that are nonstandard models of Peano Arithmetic. We rule out some possibilities for extending their results to the uncountable and study real closures of $ω_1$-like models of PA. △ Less

Submitted 24 January, 2014; v1 submitted 23 May, 2012; originally announced May 2012.

MSC Class: 03C64 (Primary) 03C62; 03C60 (Secondary)

Decidability of the Natural Numbers with the Almost-All Quantifier

Authors: David Marker, Theodore A. Slaman

Abstract: We consider the fragment F of first order arithmetic in which quantification is restricted to ''for all but finitely many.'' We show that the integers form an F-elementary substructure of the real numbers. Consequently, the F-theory of arithmetic is decidable. We consider the fragment F of first order arithmetic in which quantification is restricted to ''for all but finitely many.'' We show that the integers form an F-elementary substructure of the real numbers. Consequently, the F-theory of arithmetic is decidable. △ Less

Submitted 20 February, 2006; originally announced February 2006.

MSC Class: 03F30