O-minimality and Model Completeness of Expansions of the Real Ordered Field

(1999)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

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

A general model completeness result for expansions of the real ordered field.Steve Maxwell - 1998 - Annals of Pure and Applied Logic 95 (1-3):185-227.
Wilkie A. J., Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function, Journal of the American Mathematical Society, vol. 9 , pp. 1051–1094. [REVIEW]Charles Steinhorn - 1999 - Journal of Symbolic Logic 64 (2):910-913.
Review: A. J. Wilkie, Model Completeness Results for Expansions of the Ordered Field of Real Numbers by Restricted Pfaffian Functions and the Exponential Function. [REVIEW]Charles Steinhorn - 1999 - Journal of Symbolic Logic 64 (2):910-913.
What is o-minimality?Harvey M. Friedman - 2008 - Annals of Pure and Applied Logic 156 (1):59-67.
Notes on local o‐minimality.Carlo Toffalori & Kathryn Vozoris - 2009 - Mathematical Logic Quarterly 55 (6):617-632.
Toward a Model Theory for Transseries.Matthias Aschenbrenner, Lou van den Dries & Joris van der Hoeven - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):279-310.
Pseudo-finite sets, pseudo-o-minimality.Nadav Meir - 2021 - Journal of Symbolic Logic 86 (2):577-599.
Heirs of Box Types in Polynomially Bounded Structures.Marcus Tressl - 2009 - Journal of Symbolic Logic 74 (4):1225 - 1263.
Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics.Åsa Hirvonen, Juha Kontinen, Roman Kossak & Andrés Villaveces (eds.) - 2015 - Boston: De Gruyter.
Quasi-O-Minimal Structures.Oleg Belegradek, Ya'acov Peterzil & Frank Wagner - 2000 - Journal of Symbolic Logic 65 (3):1115-1132.

Analytics

Added to PP
2015-02-13

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references