Paris-Harrington principles, reflection principles and transfinite induction up to \(\epsilon _ 0\)

DOI10.1016/0168-0072(86)90072-2zbMath0603.03015OpenAlexW1970089323MaRDI QIDQ1082336

Reijiro Kurata

Publication date: 1986

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(86)90072-2

zbMATH Keywords

Peano Arithmeticextended Paris Harrington principleLarge Set Principleprimitive recursive function symbolsReflexion PrincipleTransfinite InductionWell Ordering Principle

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30)

Related Items (2)

The paradox of the knower revisited ⋮ Some combinatorial principles equivalent to restrictions of transfinite induction up to \(\Gamma _ 0\)

Cites Work

• Unnamed Item
• Unnamed Item
• Provably recursive functions in fragments of Peano arithmetic
• Rapidly growing Ramsey functions
• Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems

This page was built for publication: Paris-Harrington principles, reflection principles and transfinite induction up to \(\epsilon _ 0\)