Article contents
A uniqueness theorem for iterations
Published online by Cambridge University Press: 12 March 2014
Abstract
If M is a countable transitive model of , then for every real x there is a unique shortest iteration j: M → N with x ∈ N, or none at all.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2002
References
REFERENCES
- 5
- Cited by