Article contents
EXISTENTIALLY CLOSED MODELS IN THE FRAMEWORK OF ARITHMETIC
Published online by Cambridge University Press: 10 May 2016
Abstract
We prove that the standard cut is definable in each existentially closed model of IΔ0 + exp by a (parameter free) П1–formula. This definition is optimal with respect to quantifier complexity and allows us to improve some previously known results on existentially closed models of fragments of arithmetic.
Keywords
- Type
- Articles
- Information
- Copyright
- Copyright © The Association for Symbolic Logic 2016
References
REFERENCES
- 3
- Cited by