- 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
On completing ordered fields
In W. A. J. Luxemburg (ed.), Applications of model theory to algebra, analysis, and probability. New York,: Holt, Rinehart and Winston. pp. 274--278 (1969)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
Similar books and articles
A transfer theorem for Henselian valued and ordered fields.Rafel Farré - 1993 - Journal of Symbolic Logic 58 (3):915 - 930.
The model theory of m‐ordered differential fields.Cédric Rivière - 2006 - Mathematical Logic Quarterly 52 (4):331-339.
Some model theory for almost real closed fields.Françoise Delon & Rafel Farré - 1996 - Journal of Symbolic Logic 61 (4):1121-1152.
Elimination of algorithmic quantifiers for ordered differential algebra.Yunfu Shen - 1999 - Archive for Mathematical Logic 38 (3):139-144.
The variety of lattice-ordered monoids generated by the natural numbers.Annika M. Wille - 2004 - Studia Logica 76 (2):275 - 290.
On the structure of nonarchimedean exponential fields I.Salma Kuhlmann - 1995 - Archive for Mathematical Logic 34 (3):145-182.
A nullstellensatz and a positivstellensatz for ordered differential fields.Quentin Brouette - 2013 - Mathematical Logic Quarterly 59 (3):247-254.
Review: H. Garth Dales, W. Hugh Woodin, Super-Real Fields. Totally Ordered Fields with Additional Structure. [REVIEW]M. Dickmann - 2000 - Bulletin of Symbolic Logic 6 (2):218-221.
Existentially closed ordered difference fields and rings.Françoise Point - 2010 - Mathematical Logic Quarterly 56 (3):239-256.
Ordered preference differences without ordered preferences.Peter C. Fishburn - 1986 - Synthese 67 (2):361 - 368.
Noetherian varieties in definably complete structures.Tamara Servi - 2008 - Logic and Analysis 1 (3-4):187-204.
Reconsidering ordered pairs.Dana Scott & Dominic McCarty - 2008 - Bulletin of Symbolic Logic 14 (3):379-397.
Nonconstructive Properties of Well-Ordered T 2 topological Spaces.Kyriakos Keremedis & Eleftherios Tachtsis - 1999 - Notre Dame Journal of Formal Logic 40 (4):548-553.
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.
Analytics
Added to PP
2014-01-26
Downloads
2 (#1,787,337)
6 months
1 (#1,516,429)
2014-01-26
Downloads
2 (#1,787,337)
6 months
1 (#1,516,429)
Historical graph of downloads
Author's Profile
Citations of this work
The Rise of non-Archimedean Mathematics and the Roots of a Misconception I: The Emergence of non-Archimedean Systems of Magnitudes.Philip Ehrlich - 2006 - Archive for History of Exact Sciences 60 (1):1-121.
Making the Hyperreal Line Both Saturated and Complete.H. Jerome Keisler & James H. Schmerl - 1991 - Journal of Symbolic Logic 56 (3):1016-1025.
Constructive completions of ordered sets, groups and fields.Erik Palmgren - 2005 - Annals of Pure and Applied Logic 135 (1-3):243-262.
Game sentences and ultrapowers.Renling Jin & H. Jerome Keisler - 1993 - Annals of Pure and Applied Logic 60 (3):261-274.
Meager sets on the hyperfinite time line.H. Jerome Keisler & Steven C. Leth - 1991 - Journal of Symbolic Logic 56 (1):71-102.
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-7c76586df8-5tf24 uwo