Book contents
- Frontmatter
- Preface
- Contents
- TUTORIALS
- ARTICLES
- Modified bar recursion and classical dependent choice
- Choice and uniformity in weak applicative theories
- Compactness and incompactness phenomena in set theory
- Selection for Borel relations
- Interpolation in goal-directed proof systems 1
- Sequences of degrees associated with models of arithmetic
- The limit theory of generic polynomials
- Moschovakis's notion of meaning as applied to linguistics
- Tameness in expansions of the real field
- The model theory of compact complex spaces
- “Natural” representations and extensions of Gödel's second theorem 350
- Effective Hausdorff dimension
- Mutual stationarity in the coremodel
- The pair (Nn, N0) may fail N0-compactness
- Incompleteness theoremand its frontier
- Groups in Simple Theories
- References
Tameness in expansions of the real field
from ARTICLES
Published online by Cambridge University Press: 31 March 2017
By
Book contents
- Frontmatter
- Preface
- Contents
- TUTORIALS
- ARTICLES
- Modified bar recursion and classical dependent choice
- Choice and uniformity in weak applicative theories
- Compactness and incompactness phenomena in set theory
- Selection for Borel relations
- Interpolation in goal-directed proof systems 1
- Sequences of degrees associated with models of arithmetic
- The limit theory of generic polynomials
- Moschovakis's notion of meaning as applied to linguistics
- Tameness in expansions of the real field
- The model theory of compact complex spaces
- “Natural” representations and extensions of Gödel's second theorem 350
- Effective Hausdorff dimension
- Mutual stationarity in the coremodel
- The pair (Nn, N0) may fail N0-compactness
- Incompleteness theoremand its frontier
- Groups in Simple Theories
- References
- Type
- Chapter
- Information
- Logic Colloquium '01 , pp. 281 - 316Publisher: Cambridge University PressPrint publication year: 2005
References
[1] , , and , Quasi-o-minimal structures, The Journal of Symbolic Logic, vol. 65 (2000), pp. 1115–1132.Google Scholar
[2] , , and , Real algebraic geometry, Ergebnisse der Mathematik und ihrer Grenzgebiete (3. Folge), vol. 36, Springer-Verlag, 1998.
[3] and , Definable boolean combinations of open sets are boolean combinations of open definable sets, Illinois Journal ofMathematics, vol. 45 (2001), pp. 1347–1350.Google Scholar
[4] and , Hausdorff dimension, analytic sets and transcendence, Real Analysis Exchange, vol. 27, 2001/2, pp. 335–339.Google Scholar
[5] , Borel subrings of the reals, Proceedings of the American Mathematical Society, vol. 131 (2003), pp. 1121–1129.Google Scholar
[6] and , Expansions of o-minimal structures by sparse sets, Fundamenta Mathematicae, vol. 167 (2001), pp. 55–64.Google Scholar
[7] , Set theory, 4th English ed., Chelsea, 1991.
[8] , Classical descriptive set theory, Graduate Texts in Mathematics, vol. 156, Springer-Verlag, 1995.
[9] , Topology, vol. 1, Academic Press, 1966.
[10] , Algebra, 2nd ed., Addison-Wesley, 1984.
[11] and , On o-minimal expansions of Archimedean ordered groups, The Journal of Symbolic Logic, vol. 60 (1995), pp. 817–831.Google Scholar
[12] , Notes on o-minimality and variations, Model theory, algebra, and geometry, Mathematical Sciences Research Institute Publications, vol. 39, Cambridge University Press, 2000, pp. 97–130.
[13] , Cell decomposition and dimension functions in first-order topological structures, Proceedings of the London Mathematical Society (3), vol. 70 (1995), pp. 1–32.Google Scholar
[14] , Expansions of the real field with power functions, Annals of Pure and Applied Logic, vol. 68 (1994), pp. 79–94.Google Scholar
[15] , Expansions of dense linear orders with the intermediate value property, The Journal of Symbolic Logic, vol. 66 (2001), pp. 1783–1790.Google Scholar
[16] and , Expansions of the real line by open sets: o-minimality and open cores, Fundamenta Mathematicae, vol. 162 (1999), pp. 193–208.Google Scholar
[17] , Measure and category, 2nd ed., Graduate Texts in Mathematics, vol. 2, Springer-Verlag, 1980.
[18] , First order topological structures and theories, The Journal of Symbolic Logic, vol. 52 (1987), pp. 763–778.Google Scholar
[19] and , Definable sets in ordered structures. I, Transactions of the American Mathematical Society, vol. 295 (1986), pp. 565–592.Google Scholar
[20] , A note on topological model theory, Fundamenta Mathematicae, vol. 81 (1974), pp. 159–171.Google Scholar
[21] , The undecidability of algebraic rings and fields, Proceedings of the American Mathematical Society, vol. 10 (1959), pp. 950–957.Google Scholar
[22] , The undecidability of pure transcendental extensions of real fields, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 10 (1964), pp. 275–282.Google Scholar
[23] , , and , Quasianalytic Denjoy-Carleman classes and o-minimality, Journal of the AmericanMathematical Society, vol. 16 (2003), pp. 751–777.Google Scholar
[24] , Real analysis, 3rd ed., Macmillan, 1988.
[25] , Geometry of subanalytic and semialgebraic sets, Progress inMathematics, vol. 150, Birkäauser, 1997.
[26] , The field of reals with a predicate for the powers of two, Manuscripta Mathematica, vol. 54 (1985), pp. 187–195.Google Scholar
[27] , A generalization of the Tarski-Seidenberg theorem, and some nondefinability results, Bulletin of the American Mathematical Society (New Series), vol. 15 (1986), pp. 189–193.Google Scholar
[28] , On the elementary theory of restricted elementary functions, The Journal of Symbolic Logic, vol. 53 (1988), pp. 796–808.Google Scholar
[29] , o-Minimal structures, Logic: From foundations to applications, Oxford Science Publications, Oxford University Press, 1996, pp. 137–185.
[30] , T-convexity and tame extensions. II, The Journal of Symbolic Logic, vol. 62 (1997), pp. 14–34.Google Scholar
[31] , Dense pairs of o-minimal structures, Fundamenta Mathematicae, vol. 157 (1998), pp. 61–78.Google Scholar
[32] , Tame topology and o-minimal structures, London Mathematical Society Lecture Note Series, vol. 248, Cambridge University Press, 1998.
[33] and , Geometric categories and o-minimal structures, Duke Mathematical Journal, vol. 84 (1996), pp. 497–540.Google Scholar
[34] and , The real field with convergent generalized power series, Transactions of the American Mathematical Society, vol. 350 (1998), pp. 4377–4421.Google Scholar
[35] , The field of reals with multisummable series and the exponential function, Proceedings of the London Mathematical Society (3), vol. 81 (2000), pp. 513–565.Google Scholar
[36] , The representation of an odd number as a sum of three primes, Doklady Akademii Nauk SSSR, vol. 16 (1937), pp. 139–142, (in Russian).Google Scholar
- 3
- Cited by