Bounded Induction and Satisfaction Classes
From MaRDI portal
Publication:3758815
DOI10.1002/malq.19860323107zbMath0622.03025OpenAlexW1988863058MaRDI QIDQ3758815
Publication date: 1986
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19860323107
Peano Arithmeticmodels of arithmeticend extensionsrecursive saturationpigeonhole principlesatisfaction classinduction axiombounded formulas
Related Items
Reflection algebras and conservation results for theories of iterated truth, CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION, A note on the variety of satisfaction classes, CONSISTENCY AND THE THEORY OF TRUTH, European Summer Meeting of the Association for Symbolic Logic, (Logic Colloquium '87), Granada, Spain, 1987, European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988, Local collection and end-extensions of models of compositional truth, MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE, NOTES ON BOUNDED INDUCTION FOR THE COMPOSITIONAL TRUTH PREDICATE, AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW, The omega-rule interpretation of transfinite provability logic, Inductive full satisfaction classes, Deflationary truth and pathologies, Truth, disjunction, and induction, DISJUNCTIONS WITH STOPPING CONDITIONS