Pages that link to "Item:Q1099165"
From MaRDI portal
The following pages link to Generic generalized Rosser fixed points (Q1099165):
Displaying 5 items.
- A simplification of a completeness proof of Guaspari and Solovay (Q1099164) (← links)
- Rosser and Mostowski sentences (Q1263586) (← links)
- Obituary: Franco Montagna (1948--2015) (Q1699726) (← links)
- A note on some extension results (Q1814182) (← links)
- Derivability conditions on Rosser's provability predicates (Q2641298) (← links)
