Representing Scott sets in algebraic settings

, , &
Archive for Mathematical Logic 54 (5-6):631-637 (2015)
  Copy   BIBTEX

Abstract

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

Categories

Keywords

Reprint years

DOI

10.1007/s00153-015-0431-1

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,168

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Bounded Scott Set Saturation.Alex M. McAllister - 2002 - Mathematical Logic Quarterly 48 (2):245-259.
Splitting stationary sets in.Toshimichi Usuba - 2012 - Journal of Symbolic Logic 77 (1):49-62.
A Valuation Theoretic Characterization of Recursively Saturated Real Closed Fields.Paola D’Aquino, Salma Kuhlmann & Karen Lange - 2015 - Journal of Symbolic Logic 80 (1):194-206.
Closed Normal Subgroups of the Automorphism Group of a Saturated Model of Peano Arithmetic.Ermek S. Nurkhaidarov & Erez Shochat - 2016 - Notre Dame Journal of Formal Logic 57 (1):127-139.
Local approximation of semialgebraic sets.Massimo Ferrarotti, Elisabetta Fortuna & Les Wilson - 2002 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 1 (1):1-11.
Hanf number for Scott sentences of computable structures.S. S. Goncharov, J. F. Knight & I. Souldatos - 2018 - Archive for Mathematical Logic 57 (7-8):889-907.
Real closures of models of weak arithmetic.Emil Jeřábek & Leszek Aleksander Kołodziejczyk - 2013 - Archive for Mathematical Logic 52 (1):143-157.
A Galois correspondence for countable short recursively saturated models of PA.Erez Shochat - 2010 - Mathematical Logic Quarterly 56 (3):228-238.
Scott's problem for Proper Scott sets.Victoria Gitman - 2008 - Journal of Symbolic Logic 73 (3):845-860.
Automorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed Point Sets.Roman Kossak - 1997 - Logic Journal of the IGPL 5 (6):787-794.

Analytics

Added to PP
2015-04-29

Downloads
32 (#786,773)

6 months
13 (#259,115)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Quasi-o-minimal structures.Oleg Belegradek, Ya'acov Peterzil & Frank Wagner - 2000 - Journal of Symbolic Logic 65 (3):1115-1132.
Models of arithmetic and closed ideals.Julia Knight & Mark Nadel - 1982 - Journal of Symbolic Logic 47 (4):833-840.
Expansions of models and Turing degrees.Julia Knight & Mark Nadel - 1982 - Journal of Symbolic Logic 47 (3):587-604.

Add more references