Uncountable real closed fields with pa integer parts

, &
Journal of Symbolic Logic 80 (2):490-502 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2014.57

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,752

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

Real closed fields and models of Peano arithmetic.P. D'Aquino, J. F. Knight & S. Starchenko - 2010 - Journal of Symbolic Logic 75 (1):1-11.
Valuation theoretic content of the Marker-Steinhorn theorem.Marcus Tressl - 2004 - Journal of Symbolic Logic 69 (1):91-93.
A construction of real closed fields.Yu-Ichi Tanaka & Akito Tsuboi - 2015 - Mathematical Logic Quarterly 61 (3):159-168.
Every real closed field has an integer part.M. H. Mourgues & J. P. Ressayre - 1993 - Journal of Symbolic Logic 58 (2):641-647.
Marker David, Introduction to the model theory of fields. Model theory of fields, Lecture notes in logic, no. 5, Springer, Berlin, Heidelberg, New York, etc., 1996, pp. 1–37.Marker David. Model theory of differential fields. Model theory of fields, Lecture notes in logic, no. 5, Springer, Berlin, Heidelberg, New York, etc., 1996, pp. 38–113.Pillay Anand. Differential algebraic groups and the number of countable differentially closed fields. Model theory of fields, Lecture notes in logic, no. 5, Springer, Berlin, Heidelberg, New York, etc., 1996, pp. 114–134.Messmer Margit. Some model theory of separably closed fields. Model theory of fields, Lecture notes in logic, no. 5, Springer, Berlin, Heidelberg, New York, etc., 1996, pp. 135–152. [REVIEW]Zoe Chatzidakis - 1998 - Journal of Symbolic Logic 63 (2):746-747.
The undecidability of intuitionistic theories of algebraically closed fields and real closed fields.Dov M. Gabbay - 1973 - Journal of Symbolic Logic 38 (1):86-92.
J. H. Schmerl, Subsets coded in elementary end extensions. Archive for Mathematical Logic, vol. 53 (2014), no. 5–6, pp. 571–581. - J. H. Schmerl, Minimal elementary end extensions. Archive for Mathematical Logic, vol. 56 (2017), no. 5–6, pp. 541–553. [REVIEW]Athar Abdul-Quader - 2019 - Bulletin of Symbolic Logic 25 (1):125-126.
James H. Schmerl's eight papers on models of PA. [REVIEW]Roman Kossak - 2009 - Bulletin of Symbolic Logic 15 (2):222-226.

Analytics

Added to PP
2016-06-30

Downloads
17 (#1,146,966)

6 months
7 (#698,214)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

On completing ordered fields.Dana Scott - 1969 - In W. A. J. Luxemburg (ed.), Applications of model theory to algebra, analysis, and probability. New York,: Holt, Rinehart and Winston. pp. 274--278.

Add more references