Pages that link to "Item:Q2097058"
From MaRDI portal
The following pages link to Rosser provability and the second incompleteness theorem (Q2097058):
Displaying 5 items.
- A generalization of the second incompleteness theorem and some exceptions to it (Q2500470) (← links)
- Derivability conditions on Rosser's provability predicates (Q2641298) (← links)
- On Rosser's Provability Predicate (Q5203006) (← links)
- Arithmetical completeness theorems for monotonic modal logics (Q6040616) (← links)
- Rosser provability and the second incompleteness theorem (Q6314252) (← links)