First Page | Document Content | |
---|---|---|
![]() Date: 1999-03-08 15:14:53Model theory Real algebraic geometry O-minimal theory Tarski–Seidenberg theorem Pfaffian function Real closed field Definable set Semialgebraic set Quantifier elimination Abstract algebra Mathematics Mathematical logic | Add to Reading List |
![]() | PDF DocumentDocID: 1p3Rq - View Document |
![]() | Structures Cell Decomposition Dimension and Euler Characteristic Definable Families and Collections Adding more Structure Tame Topology and O-Minimal Structures University of Illinois Urbana-ChampaignDocID: 1oAee - View Document |
![]() | On First-Order Definable Colorings J. Neˇsetˇril1 Department of Applied Mathematics and Institute of Theoretical Computer Science (ITI) Charles University Malostransk´e n´DocID: 1kO2P - View Document |
![]() | Model Theory, Algebra, and Geometry MSRI Publications Volume 39, 2000 Overview DEIRDRE HASKELL, ANAND PILLAY, AND CHARLES STEINHORNDocID: 1a0V4 - View Document |
![]() | Model Theory, Algebra, and Geometry MSRI Publications Volume 39, 2000 Notes on o-Minimality and Variations DUGALD MACPHERSONDocID: 19SEV - View Document |