Some combinatorial principles equivalent to restrictions of transfinite induction up to \(\Gamma _ 0\)

DOI10.1016/0168-0072(89)90046-8zbMath0686.03032OpenAlexW2036472292MaRDI QIDQ1262308

Reijiro Kurata, Mamoru Shimoda

Publication date: 1989

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(89)90046-8

zbMATH Keywords

extensions of the Friedman, McAloon, and Simpson combinatorial principleextensions of the Paris-Harrington undecidable combinatorial principlelarge set principletransfinite induction principlewell-founded principle

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Cites Work

• Paris-Harrington principles, reflection principles and transfinite induction up to \(\epsilon _ 0\)
• Rapidly growing Ramsey functions
• Some extensions of built-upness on systems of fundamental sequences
• Reflection Principles in Fragments of Peano Arithmetic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Some combinatorial principles equivalent to restrictions of transfinite induction up to \(\Gamma _ 0\)