Book contents
- Frontmatter
- Contents
- Introduction
- Speakers and Titles
- Thread algebra and risk assessment services
- Covering definable manifolds by open definable subsets
- Isomorphisms and definable relations on computable models
- Independence for types in algebraically closed valued fields
- Simple groups of finite Morley rank
- Towards a logic of type-free modality and truth
- Structural analysis of Aronszajn trees
- Proof analysis in non-classical logics
- Paul Bernays' later philosophy of mathematics
- Proofnets for S5: Sequents and circuits for modal logic
- Recursion on the partial continuous functionals
- A transactional approach to the logic of truth
- On some problems in computable topology
- Monotone inductive definitions and consistency of New Foundations
- LECTURE NOTES IN LOGIC
Covering definable manifolds by open definable subsets
Published online by Cambridge University Press: 18 December 2009
Book contents
- Frontmatter
- Contents
- Introduction
- Speakers and Titles
- Thread algebra and risk assessment services
- Covering definable manifolds by open definable subsets
- Isomorphisms and definable relations on computable models
- Independence for types in algebraically closed valued fields
- Simple groups of finite Morley rank
- Towards a logic of type-free modality and truth
- Structural analysis of Aronszajn trees
- Proof analysis in non-classical logics
- Paul Bernays' later philosophy of mathematics
- Proofnets for S5: Sequents and circuits for modal logic
- Recursion on the partial continuous functionals
- A transactional approach to the logic of truth
- On some problems in computable topology
- Monotone inductive definitions and consistency of New Foundations
- LECTURE NOTES IN LOGIC
Summary
Abstract. Let N be an o-minimal expansion of a real closed field. We show that if X is a Hausdorff definable manifold, then X can be covered by finitely many open definable subsets which are definably homeomorphic to open balls and the intersection of any two open definable subsets of this covering is a finite union of elements of the covering. We also mention the importance of this result in the solution of the torsion point problem for definably compact definable groups.
- Type
- Chapter
- Information
- Logic Colloquium 2005 , pp. 18 - 25Publisher: Cambridge University PressPrint publication year: 2007