Pages that link to "Item:Q3338237"
From MaRDI portal
The following pages link to Sentences implying their own provability (Q3338237):
Displayed 5 items.
- On the complexity of arithmetical interpretations of modal formulae (Q688859) (← links)
- Rosser and Mostowski sentences (Q1263586) (← links)
- The logic of \(\Pi_ 1\)-conservativity continued (Q1311428) (← links)
- The logic of arithmetical hierarchy (Q1315831) (← links)
- A short note on essentially \(\Sigma_1\) sentences (Q1945709) (← links)