Arithmetical transfinite induction and hierarchies of functions

DOI10.4064/FM-141-1-1-20zbMath0809.03043OpenAlexW846236225MaRDI QIDQ4314785

Zygmunt Ratajczyk

Publication date: 27 November 1994

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/211948

zbMATH Keywords

arithmetical transfinite inductionParis-Harrington TheoremSolovay-Ketonen TheoremWainer Theorem

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Related Items (2)

The contribution of Zygmunt Ratajczyk to the foundations of arithmetic ⋮ Subsystems of true arithmetic and hierarchies of functions

This page was built for publication: Arithmetical transfinite induction and hierarchies of functions