The following pages link to UNIVERSAL ROSSER PREDICATES (Q5738203):
Displaying 6 items.
- Arithmetic with a local reflection principle for Rosser provability formulas (Q908911) (← links)
- A note on some extension results (Q1814182) (← links)
- Rosser provability and the second incompleteness theorem (Q2097058) (← links)
- Rosser provability and normal modal logics (Q2186698) (← links)
- Derivability conditions on Rosser's provability predicates (Q2641298) (← links)
- CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS (Q4959663) (← links)