The limits of determinacy in second order arithmetic: consistency and complexity strength
- 28 July 2014
- journal article
- Published by Springer Nature in Israel Journal of Mathematics
- Vol. 204 (1) , 477-508
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- The limits of determinacy in second-order arithmeticProceedings of the London Mathematical Society, 2011
- Weak systems of determinacy and arithmetical quasi-inductive definitionsThe Journal of Symbolic Logic, 2011
- Reverse Mathematics: The Playground of LogicThe Bulletin of Symbolic Logic, 2010
- Subsystems of Second Order Arithmetic2009
- The truth is never simpleThe Journal of Symbolic Logic, 1986
- Jumping through the transfinite: the master code hierarchy of Turing degreesThe Journal of Symbolic Logic, 1980
- Higher set theory and mathematical practiceAnnals of Mathematical Logic, 1971