More on induction in the language with a satisfaction class

DOI10.1002/MALQ.19900360509zbMATH Open0723.03033OpenAlexW2144092438MaRDI QIDQ3211295FDOQ3211295

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

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

zbMATH Keywords

inductionPeano Arithmeticsatisfaction classproof-theoretic ordinalsTransfinite Inductionarithmetic consequences

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

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
• Title not available (Why is that?)

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)