A fundamental dichotomy for definably complete expansions of ordered fields

&
Journal of Symbolic Logic 80 (4):1091-1115 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2014.10

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,880

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

Expansions of ordered fields without definable gaps.Jafar S. Eivazloo & Mojtaba Moniri - 2003 - Mathematical Logic Quarterly 49 (1):72-82.
Noetherian varieties in definably complete structures.Tamara Servi - 2008 - Logic and Analysis 1 (3-4):187-204.
Tameness of definably complete locally o‐minimal structures and definable bounded multiplication.Masato Fujita, Tomohiro Kawakami & Wataru Komine - 2022 - Mathematical Logic Quarterly 68 (4):496-515.
An analogue of the Baire category theorem.Philipp Hieronymi - 2013 - Journal of Symbolic Logic 78 (1):207-213.
Decomposition into special submanifolds.Masato Fujita - 2023 - Mathematical Logic Quarterly 69 (1):104-116.
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.
Discrete Sets Definable in Strong Expansions of Ordered Abelian Groups.Alfred Dolich & John Goodrick - forthcoming - Journal of Symbolic Logic:1-37.
Groups Definable in Ordered Vector Spaces over Ordered Division Rings.Pantelis E. Eleftheriou & Sergei Starchenko - 2007 - Journal of Symbolic Logic 72 (4):1108 - 1140.
Dimension inequality for a definably complete uniformly locally o-minimal structure of the second kind.Masato Fujita - 2020 - Journal of Symbolic Logic 85 (4):1654-1663.
Definability of types and VC density in differential topological fields.Françoise Point - 2018 - Archive for Mathematical Logic 57 (7-8):809-828.

Analytics

Added to PP
2016-06-30

Downloads
17 (#1,164,273)

6 months
5 (#1,080,408)

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

Subsystems of Second Order Arithmetic.Stephen G. Simpson - 1999 - Studia Logica 77 (1):129-129.
Definably complete structures are not pseudo-enumerable.Antongiulio Fornasiero - 2011 - Archive for Mathematical Logic 50 (5-6):603-615.

Add more references