Representing Scott sets in algebraic settings
Logic
2014-07-22 v1
Abstract
We prove that for every Scott set S there are S-saturated real closed fields and models of Presburger arithmetic.
Cite
@article{arxiv.1407.5612,
title = {Representing Scott sets in algebraic settings},
author = {Alf Dolich and Julia Knight and Karen Lange and David Marker},
journal= {arXiv preprint arXiv:1407.5612},
year = {2014}
}
Related papers
View all related →
Logic · Mathematics
Measuring the Complexity of Countable Presburger Models
Jason Block
2026-03-19
Number Theory · Mathematics
Sets of Completely Decomposed Primes in Extensions of Number Fields
Kay Wingberg
2015-12-08
Logic · Mathematics
Models of true arithmetic are integer parts of nice real closed fields
Merlin Carl
2026-05-19
Number Theory · Mathematics
Arthur's multiplicity formula for certain inner forms of special orthogonal and symplectic groups
Olivier Taïbi
2015-10-29
Logic · Mathematics
Fields with pseudo-exponentiation
Boris Zilber
2007-05-23
Logic · Mathematics
Bounded pregeometries and pairs of fields
Leonardo Angel, Lou van den Dries
2017-07-13
Logic · Mathematics
Scott's problem for proper Scott sets
Victoria Gitman
2008-01-29
Logic · Mathematics
The real field with the rational points of an elliptic curve
Ayhan Gunaydin, Philipp Hieronymi
2010-12-01
Logic · Mathematics
Models of $VTC^0$ as exponential integer parts
Emil Jeřábek
2023-08-15
Algebraic Geometry · Mathematics
Pointwise surjective presentations of stacks
Avraham Aizenbud, Nir Avni
2019-12-25
Number Theory · Mathematics
On fields of totally $S$-adic numbers
Lior Bary-Soroker, Arno Fehm, with appendix by Florian Pop
2013-06-28
Logic · Mathematics
Model theory of finite-by-Presburger Abelian groups and finite extensions of $p$-adic fields
Jamshid Derakhshan, Angus Macintyre
2016-03-30
Logic · Mathematics
A note on $\aleph_{\alpha}$-saturated o-minimal expansions of real closed fields
Paola D'Aquino, Salma Kuhlmann
2016-03-22
Number Theory · Mathematics
A robust implementation for solving the $S$-unit equation and several applications
Alejandra Alvarado, Angelos Koutsianas, Beth Malmskog, Christopher Rasmussen +2
2020-07-10
Logic · Mathematics
Saturated free algebras revisited
Anand Pillay, Rizos Sklinos
2014-10-01
Commutative Algebra · Mathematics
On algebraic extensions and algebraic closures of superfields
Kaique Matias de Andrade Roberto, Hugo Luiz Mariano, Hugo Rafael de Oliveira Ribeiro
2023-01-18
Logic · Mathematics
A Hofmann-Mislove Theorem for Scott open sets
Matthias Schröder
2015-01-27
Logic · Mathematics
Existentially closed fields with G-derivations
Daniel Hoffmann, Piotr Kowalski
2019-05-24
Algebraic Geometry · Mathematics
The special Schubert calculus is real
Frank Sottile
2007-05-23
Logic · Mathematics
Pro-definability of spaces of definable types
Pablo Cubides Kovacsics, Jinhe Ye
2022-08-09
Logic · Mathematics
Parametric Presburger Arithmetic: Complexity of Counting and Quantifier Elimination
Tristram Bogart, John Goodrick, Danny Nguyen, Kevin Woods
2018-02-06
Logic · Mathematics
A valuation theoretic characterization of recursively saturated real closed fields
Paola D'Aquino, Salma Kuhlmann, Karen Lange
2015-10-27
Logic · Mathematics
Functional representation of substitution algebras
Norman Feldman
2015-03-05
Logic · Mathematics
Interpretable fields in real closed valued fields and some expansions
Assaf Hasson, Ya'acov Peterzil
2021-05-11
Representation Theory · Mathematics
Closed orbits of real reductive representations
Henrik Stoetzel
2009-06-26