Article contents
Small theories of Boolean ordered o-minimal structures
Published online by Cambridge University Press: 12 March 2014
Abstract
We investigate small theories of Boolean ordered o-minimal structures. We prove that such theories are ℵ0-categorical. We give a complete characterization of their models up to bi-interpretability of the language. We investigate types over finite sets, formulas and the notions of definable and algebraic closure.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2002
References
REFERENCES
- 5
- Cited by