Journal of Symbolic Logic · 2007 · 19 citations · 8 references
Natural SciencesMathematicsLogicMathematical InductionModel TheoryFull Determinacy
Abstract We show that each of and proves -Det and that neither nor can be dropped. We also show that neither nor proves -Det. Moreover, we prove that none of and is provable in
8
Higher set theory and mathematical practice
Harvey Friedman · Annals of Mathematical Logic · 1971 · 224 citations