Generic generalized Rosser fixed points
From MaRDI portal
Publication:1099165
DOI10.1007/BF00370381zbMath0638.03019OpenAlexW2014565657MaRDI QIDQ1099165
Dick H. J. de Jongh, Franco Montagna
Publication date: 1987
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00370381
Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Structure of proofs (03F07)
Related Items
A simplification of a completeness proof of Guaspari and Solovay ⋮ Obituary: Franco Montagna (1948--2015) ⋮ Rosser and Mostowski sentences
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic
- Hyperdiagonalizable algebras
- A simplification of a completeness proof of Guaspari and Solovay
- Relatively precomplete numerations and arithmetic
- The fixed-point theorem for diagonalizable algebras. (The algebraization of the theories which express Theor. III.)
- The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.)
- Provability interpretations of modal logic
- An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
- Equivalence relations induced by extensional formulae: classification by means of a new fixed point property
- Rosser sentences
- Calculating self-referential statements
- Extremely undecidable sentences
This page was built for publication: Generic generalized Rosser fixed points