- 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
Definably complete structures are not pseudo-enumerable
Archive for Mathematical Logic 50 (5-6):603-615 (2011)
Abstract
We prove that a definably complete expansion of a field cannot be the image of a definable discrete set under a definable function.Other Versions
No versions found
My notes
Similar books and articles
Noetherian varieties in definably complete structures.Tamara Servi - 2008 - Logic and Analysis 1 (3-4):187-204.
Splitting definably compact groups in o-minimal structures.Marcello Mamino - 2011 - Journal of Symbolic Logic 76 (3):973 - 986.
On recursive enumerability with finite repetitions.Stephan Wehner - 1999 - Journal of Symbolic Logic 64 (3):927-945.
Codable sets and orbits of computably enumerable sets.Leo Harrington & Robert Soare - 1998 - Journal of Symbolic Logic 63 (1):1-28.
Groups definable in linear o-minimal structures: the non-compact case.Pantelis E. Eleftheriou - 2010 - Journal of Symbolic Logic 75 (1):208-220.
Cohomology of groups in o-minimal structures: acyclicity of the infinitesimal subgroup.Alessandro Berarducci - 2009 - Journal of Symbolic Logic 74 (3):891-900.
Paires élémentaires de corps pseudo-Finis: Dénombrement Des complétions (elementary pairs of pseudo-finite fields: Counting completions).Helene Lejeune - 2000 - Journal of Symbolic Logic 65 (2):705-718.
Groups Definable in Ordered Vector Spaces over Ordered Division Rings.Pantelis E. Eleftheriou & Sergei Starchenko - 2007 - Journal of Symbolic Logic 72 (4):1108 - 1140.
Recursive versus recursively enumerable binary relations.Dev K. Roy - 1993 - Studia Logica 52 (4):587 - 593.
Analytics
Added to PP
2013-10-27
Downloads
147 (#291,547)
6 months
6 (#1,502,802)
2013-10-27
Downloads
147 (#291,547)
6 months
6 (#1,502,802)
Historical graph of downloads
Citations of this work
Locally o-minimal structures and structures with locally o-minimal open core.Antongiulio Fornasiero - 2013 - Annals of Pure and Applied Logic 164 (3):211-229.
An analogue of the Baire category theorem.Philipp Hieronymi - 2013 - Journal of Symbolic Logic 78 (1):207-213.
A fundamental dichotomy for definably complete expansions of ordered fields.Antongiulio Fornasiero & Philipp Hieronymi - 2015 - Journal of Symbolic Logic 80 (4):1091-1115.
References found in this work
Expansions of dense linear orders with the intermediate value property.Chris Miller - 2001 - Journal of Symbolic Logic 66 (4):1783-1790.
Dimensions, matroids, and dense pairs of first-order structures.Antongiulio Fornasiero - 2011 - Annals of Pure and Applied Logic 162 (7):514-543.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
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