- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Every real closed field has an integer part
Journal of Symbolic Logic 58 (2):641-647 (1993)
Abstract
Let us call an integer part of an ordered field any subring such that every element of the field lies at distance less than 1 from a unique element of the ring. We show that every real closed field has an integer partOther Versions
No versions found
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Limit computable integer parts.Paola D’Aquino, Julia Knight & Karen Lange - 2011 - Archive for Mathematical Logic 50 (7-8):681-695.
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.
A construction of real closed fields.Yu-Ichi Tanaka & Akito Tsuboi - 2015 - Mathematical Logic Quarterly 61 (3):159-168.
Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts.Emil Jeřábek - 2023 - Mathematical Logic Quarterly 69 (2):244-260.
On Ramsey choice and partial choice for infinite families of n -element sets.Lorenz Halbeisen & Eleftherios Tachtsis - 2020 - Archive for Mathematical Logic 59 (5-6):583-606.
Degree spectra of real closed fields.Russell Miller & Victor Ocasio González - 2019 - Archive for Mathematical Logic 58 (3-4):387-411.
Quadratic forms in normal open induction.Margarita Otero - 1993 - Journal of Symbolic Logic 58 (2):456-476.
Real closures of models of weak arithmetic.Emil Jeřábek & Leszek Aleksander Kołodziejczyk - 2013 - Archive for Mathematical Logic 52 (1):143-157.
Completions of Convexly Ordered Valuation Rings.Larry Mathews - 1994 - Mathematical Logic Quarterly 40 (3):318-330.
Uncountable real closed fields with pa integer parts.David Marker, James H. Schmerl & Charles Steinhorn - 2015 - Journal of Symbolic Logic 80 (2):490-502.
Analytics
Added to PP
2009-01-28
Downloads
101 (#208,725)
6 months
19 (#151,556)
2009-01-28
Downloads
101 (#208,725)
6 months
19 (#151,556)
Historical graph of downloads
Citations of this work
The absolute arithmetic continuum and the unification of all numbers great and small.Philip Ehrlich - 2012 - Bulletin of Symbolic Logic 18 (1):1-45.
Infinitesimals are too small for countably infinite fair lotteries.Alexander R. Pruss - 2014 - Synthese 191 (6):1051-1057.
Infinite Lotteries, Spinners, Applicability of Hyperreals†.Emanuele Bottazzi & Mikhail G. Katz - 2021 - Philosophia Mathematica 29 (1):88-109.
Logarithmic-exponential series.Lou van den Dries, Angus Macintyre & David Marker - 2001 - Annals of Pure and Applied Logic 111 (1-2):61-113.
Real closures of models of weak arithmetic.Emil Jeřábek & Leszek Aleksander Kołodziejczyk - 2013 - Archive for Mathematical Logic 52 (1):143-157.
References found in this work
Resultats optimaux sur l'existence d'une partie entiere dans Les corps ordonnes.Sedki Boughattas - 1993 - Journal of Symbolic Logic 58 (1):326-333.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-667477cd97-sfdq8 dc2