Lou van den Dries. Tame topology and o-minimal structures. London Mathematical Society lecture note series, no. 248. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1998, x + 180 pp [Book Review]
Bulletin of Symbolic Logic 6 (2):216-218 (2000)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Beller A., Jensen R., and Welch P.. Coding the universe. London Mathematical Society lecture note series, no. 47. Cambridge University Press, Cambridge etc. 1982, 353 pp. [REVIEW]Sy D. Friedman - 1985 - Journal of Symbolic Logic 50 (4):1081-1081.
Prest Mike. Model theory and modules. London Mathematical Society lecture note series, no. 130. Cambridge University Press, Cambridge etc. 1988, xviii + 380 pp. [REVIEW]T. G. Kucera - 1989 - Journal of Symbolic Logic 54 (3):1115-1118.
Sets and Proofs, Invited Papers from Logic Colloquium '97—European Meeting of the Association for Symbolic Logic, Leeds, July 1997. Thomas Strahm. First steps into metapredicativity in explicit mathematics. Sets and proofs, Invited papers from Logic Colloquium '97—European meeting of the Association for Symbolic Logic, Leeds, July 1997, edited by S. Barry Cooper and John K. Truss, London Mathematical Society lecture note series, no. 258, Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1999, pp. 383–402. [REVIEW]Andrea Cantini - 2002 - Bulletin of Symbolic Logic 8 (4):535-536.
Azzouni Jody. Metaphysical myths, mathematical practice. The ontology and epistemology of the exact sciences. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1994, ix + 249 pp. [REVIEW]Mark Balaguer - 1995 - Journal of Symbolic Logic 60 (4):1312-1314.
Matthew Foreman. A descriptive view of ergodic theory. Descriptive set theory and dynamical systems, edited by M. Foreman, A. S. Kechris, A. Louveau, and B. Weiss, London Mathematical Society lecture note series, no. 277, Cambridge University Press, Cambridge, New York, etc., 2000, pp. 87–171. [REVIEW]Greg Hjorth - 2001 - Bulletin of Symbolic Logic 7 (4):545-546.
A. S. Troelstra and H. Schwichtenberg. Basic proof theory. Cambridge tracts in theoretical computer science, no. 43. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1996, xi + 343 pp. [REVIEW]Roy Dyckhoff - 1998 - Journal of Symbolic Logic 63 (4):1605-1606.
Hindley J. Roger. Basic simple type theory. Cambridge tracts in theoretical computer science, no. 42. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1997, xi + 186 pp. [REVIEW]Anton Setzer - 1999 - Journal of Symbolic Logic 64 (4):1832-1833.
Review: Lou van den Dries, Tame Topology and O-Minimal Structures. [REVIEW]Alessandro Berarducci - 2000 - Bulletin of Symbolic Logic 6 (2):216-218.
Motivic integration and its interactions with model theory and non-Archimedean geometry, Volumes I and II, edited by Raf Cluckers, Johannes Nicaise and Julien Sebag, London Mathematical Society Lecture Note Series, 383 and 384. Cambridge University Press, Cambridge, 2011, 346 and 262 pp. [REVIEW]Julia Gordon - 2013 - Bulletin of Symbolic Logic 19 (2):216-219.
Shin Sun-Joo. The logical status of diagrams. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1995 , xi + 197 pp. [REVIEW]Eric M. Hammer - 1996 - Journal of Symbolic Logic 61 (1):341-342.
Manzano María. Extensions of first order logic. Cambridge tracts in theoretical computer science, no. 19. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1996, xxii + 388 pp. [REVIEW]Yde Venema - 1998 - Journal of Symbolic Logic 63 (3):1194-1196.
Jan Krajíček. Forcing with random variables and proof complexity. London Mathematical Society Lecture Note Series, vol. 232. Cambridge University Press, 2011, xvi + 247 pp. [REVIEW]Sam Buss - 2012 - Bulletin of Symbolic Logic 18 (4):576-578.
A saturation property of structures obtained by forcing with a compact family of random variables.Jan Krajíček - 2013 - Archive for Mathematical Logic 52 (1-2):19-28.
Analytics
Added to PP
2016-06-30
Downloads
20 (#565,140)
6 months
1 (#447,993)
2016-06-30
Downloads
20 (#565,140)
6 months
1 (#447,993)
Historical graph of downloads
