Article contents
The model-theoretic ordinal analysis of theories of predicative strength
Published online by Cambridge University Press: 12 March 2014
Abstract
We use model-theoretic methods described in [3] to obtain ordinal analyses of a number of theories of first- and second-order arithmetic, whose proof-theoretic ordinals are less than or equal to Γ0.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1999
References
REFERENCES
- 5
- Cited by