MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE

DOI10.1017/JSL.2022.39OpenAlexW4280536433WikidataQ113858277 ScholiaQ113858277MaRDI QIDQ6103462

Unnamed Author

Publication date: 5 June 2023

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

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

zbMATH Keywords

axiomatic theories of truthreflection principlessatisfaction classesglobal reflection principle

Mathematics Subject Classification ID

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

Related Items (1)

The two halves of disjunctive correctness

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Nonstandard definability
• Deflationary truth and pathologies
• Reflection algebras and conservation results for theories of iterated truth
• Truth, disjunction, and induction
• Local collection and end-extensions of models of compositional truth
• Reflection principles and provability algebras in formal arithmetic
• CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION
• Bounded Induction and Satisfaction Classes
• Construction of Satisfaction Classes for Nonstandard Models
• On Models Constructed by Means of the Arithmetized Completeness Theorem
• ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS
• SELF-REFERENCE IN ARITHMETIC I
• NOTES ON BOUNDED INDUCTION FOR THE COMPOSITIONAL TRUTH PREDICATE
• MODELS OF POSITIVE TRUTH
• Proof theory

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