More on induction in the language with a satisfaction class
From MaRDI portal
Publication:3211295
DOI10.1002/malq.19900360509zbMath0723.03033MaRDI QIDQ3211295
Henryk Kotlarski, Zygmunt Ratajczyk
Publication date: 1990
Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19900360509
induction; Peano Arithmetic; satisfaction class; proof-theoretic ordinals; Transfinite Induction; arithmetic consequences
03F15: Recursive ordinals and ordinal notations
Related Items
The incompleteness theorems after 70 years, Subsystems of true arithmetic and hierarchies of functions, The contribution of Zygmunt Ratajczyk to the foundations of arithmetic, More on lower bounds for partitioning \(\alpha\)-large sets, Local collection and end-extensions of models of compositional truth, Partitioning 𝛼–large sets: Some lower bounds