More on induction in the language with a satisfaction class

DOI10.1002/malq.19900360509zbMath0723.03033OpenAlexW2144092438MaRDI 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

zbMATH Keywords

inductionPeano Arithmeticsatisfaction classproof-theoretic ordinalsTransfinite Inductionarithmetic consequences

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

Related Items (6)

More on lower bounds for partitioning \(\alpha\)-large sets ⋮ The contribution of Zygmunt Ratajczyk to the foundations of arithmetic ⋮ The incompleteness theorems after 70 years ⋮ Local collection and end-extensions of models of compositional truth ⋮ Subsystems of true arithmetic and hierarchies of functions ⋮ Partitioning 𝛼–large sets: Some lower bounds

This page was built for publication: More on induction in the language with a satisfaction class