Henkin sentences and local reflection principles for Rosser provability
From MaRDI portal
Publication:892168
Recommendations
Cites work
- scientific article; zbMATH DE number 3525107 (Why is no real title available?)
- scientific article; zbMATH DE number 1062120 (Why is no real title available?)
- scientific article; zbMATH DE number 3084368 (Why is no real title available?)
- Arithmetic with a local reflection principle for Rosser provability formulas
- Arithmetization of metamathematics in a general setting
- Calculating self-referential statements
- Derivability conditions on Rosser's provability predicates
- On Partially Conservative Sentences and Interpretability
- On Rosser's Provability Predicate
- Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
- Reflection principles and provability algebras in formal arithmetic
- Rosser sentences
- Rosser-type undecidable sentences based on Yablo's paradox
- Self-reference and modal logic
- Self-reference in arithmetic. II
- Solution of a problem of Leon Henkin
Cited in
(6)
This page was built for publication: Henkin sentences and local reflection principles for Rosser provability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q892168)