Article contents
A strongly minimal expansion of (ω, s)
Published online by Cambridge University Press: 12 March 2014
Extract
We will show that there is a nontrivial strongly minimal expansion of (ω, s), the natural numbers with successor. Pillay and Steinhorn [1] proved that there is no -minimal expansion of (ω, ≤). This result provides an interesting contrast.
The strongly minimal expansion of (ω, s) is very easy to describe. Consider the order-two permutation of ω, π recursively defined by
Let T be Th(ω, s, π, 0).
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1987
References
REFERENCE
- 1
- Cited by