More on induction in the language with a satisfaction class

DOI10.1002/MALQ.19900360509MaRDI QIDQ3211295zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 3939365
• Inductive full satisfaction classes
• Bounded Induction and Satisfaction Classes
• ITERATIONS OF SATISFACTION CLASSES AND MODELS OF PEANO ARITHMETIC
• scientific article; zbMATH DE number 1222926

Cited in

(9)

• Bounded Induction and Satisfaction Classes
• Inductive full satisfaction classes
• Local collection and end-extensions of models of compositional truth
• The incompleteness theorems after 70 years
• The contribution of Zygmunt Ratajczyk to the foundations of arithmetic
• Subsystems of true arithmetic and hierarchies of functions
• More on lower bounds for partitioning \(\alpha\)-large sets
• Partitioning 𝛼–large sets: Some lower bounds
• scientific article; zbMATH DE number 3939365 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3211295)