Generic generalized Rosser fixed points
The usual provability predicate \(\Pr_{PA}\) for Peano arithmetic enjoys a generalized fixed point property: for every total recursive function h there is a sentence C such that \(\vdash_{PA}\Pr_{PA}(\ulcorner C\urcorner)\leftrightarrow \Pr_{PA}(\ulcorner hC\urcorner).\) The formalized Rosser theorem is an instance of this construction. The paper introduces a modal system LR\(=GL+\{\square c_ i\leftrightarrow \square A_ i(c_ i)\), \(c_ i\to \square c_ i|\) \(i\in \omega \}+\square A/A\) (here GL is the logic of arithmetical provability and \(\{c_ i\}_{i\in \omega}\) is the set of new propositional constants). A usual provability interpretation \(\psi\) of GL is extended in such a way that \(\phi c_ i\) is a \(\Sigma\) \(0_ 1\)-sentence and \(\vdash_{PA}\phi (\square c_ i\leftrightarrow \square A_ i(c_ i))\). A modal completeness and a uniform arithmetical completeness theorem with respect of PA are established for LR. A \(\Sigma\) \(0_ 1\)-sentence C for which \(\vdash_{PA}\Pr_{PA}(\ulcorner C\urcorner)\leftrightarrow \Pr_{PA}(\ulcorner \neg C\urcorner)\) is called a generalized Rosser sentence. Corollary: for \(\Pr_{PA}\) there are two non-equivalent generalized Rosser sentences.
- GENERALIZED FIXED POINT THEOREM
- Generalized Rochlin invariants of fixed point sets
- scientific article; zbMATH DE number 6383091
- scientific article; zbMATH DE number 5289500
- scientific article; zbMATH DE number 4005005
- scientific article; zbMATH DE number 3853993
- scientific article; zbMATH DE number 4188756
- Generalizations of the Krasnoselskii fixed point theorem
- Fixed point results for generalized mappings
- Generalizations of fixed-point theorems of Altman and Rothe types
- A simplification of a completeness proof of Guaspari and Solovay
- An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
- Calculating self-referential statements
- Equivalence relations induced by extensional formulae: classification by means of a new fixed point property
- Extremely undecidable sentences
- scientific article; zbMATH DE number 3652414 (Why is no real title available?)
- scientific article; zbMATH DE number 3708351 (Why is no real title available?)
- scientific article; zbMATH DE number 3635994 (Why is no real title available?)
- Hyperdiagonalizable algebras
- Provability interpretations of modal logic
- Relatively precomplete numerations and arithmetic
- Rosser sentences
- The fixed-point theorem for diagonalizable algebras. (The algebraization of the theories which express Theor. III.)
- The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic
- The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.)
- Self-reference and modal logic
- A simplification of a completeness proof of Guaspari and Solovay
- Arithmetic analogues of McAloon's unique Rosser sentences
- On the proof of Solovay's theorem
- Rosser orderings and free variables
- Rosser and Mostowski sentences
- Obituary: Franco Montagna (1948--2015)
- A note on some extension results
- Derivability conditions on Rosser's provability predicates
- Modal analysis of generalized rosser sentences
- Universal Rosser predicates
- Henkin sentences and local reflection principles for Rosser provability
- Arithmetic with a local reflection principle for Rosser provability formulas
This page was built for publication: Generic generalized Rosser fixed points
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1099165)
