MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE

DOI10.1017/JSL.2022.39MaRDI QIDQ6103462zbMATH OpenOpenAlexWikidataFDO

Authors

Publication date 5 June 2023

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/jsl.2022.39

zbMATH Keywords

axiomatic theories of truthglobal reflection principlereflection principlessatisfaction classes

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) First-order arithmetic and fragments (03F30) Second- and higher-order arithmetic and fragments (03F35) Nonstandard models of arithmetic (03H15)

Recommendations

• AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW
• Notes on bounded induction for the compositional truth predicate
• scientific article; zbMATH DE number 937389
• Reflection principles and provability algebras in formal arithmetic
• Set-theoretic reflection is equivalent to induction over well-founded classes
• PREDICATIVITY THROUGH TRANSFINITE REFLECTION
• Induction rules, reflection principles, and provably recursive functions
• TRUTH AND FEASIBLE REDUCIBILITY
• Local induction and provably total computable functions
• Proof theoretic analysis by iterated reflection

Cites work

• Axiomatic theories of truth
• Bounded Induction and Satisfaction Classes
• Conservativity for theories of compositional truth via cut elimination
• Construction of Satisfaction Classes for Nonstandard Models
• Deflationary truth and pathologies
• scientific article; zbMATH DE number 4137758 (Why is no real title available?)
• scientific article; zbMATH DE number 3668596 (Why is no real title available?)
• scientific article; zbMATH DE number 3679820 (Why is no real title available?)
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• Local collection and end-extensions of models of compositional truth
• Models of positive truth
• Nonstandard definability
• Notes on bounded induction for the compositional truth predicate
• On Models Constructed by Means of the Arithmetized Completeness Theorem
• ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS
• Proof theory
• Reflection algebras and conservation results for theories of iterated truth
• Reflection principles and provability algebras in formal arithmetic
• Self-reference in arithmetic. I
• The structure of models of Peano arithmetic
• Truth, disjunction, and induction

Cited in

(6)

• TRUTH AND FEASIBLE REDUCIBILITY
• The two halves of disjunctive correctness
• Varieties of truth definitions
• Indiscernibles and satisfaction classes in arithmetic
• Saturation properties for compositional truth with propositional correctness
• Satisfaction classes with approximate disjunctive correctness

This page was built for publication: MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE

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