Article contents
Some remarks on generic structures
Published online by Cambridge University Press: 12 March 2014
Abstract
We show that the ℵ0-categorical structures produced by Hrushovski's predimension construction with a control function fit neatly into Shelah's SOPn hierarchy: if they are not simple, then they have SOP3 and NSOP4. We also show that structures produced without using a control function can be undecidable and have SOP.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2009
References
REFERENCES
- 1
- Cited by