Pages that link to "Item:Q1099164"
From MaRDI portal
The following pages link to A simplification of a completeness proof of Guaspari and Solovay (Q1099164):
Displaying 7 items.
- Generic generalized Rosser fixed points (Q1099165) (← links)
- On the proof of Solovay's theorem (Q1176096) (← links)
- Rosser orderings and free variables (Q1176097) (← links)
- Rosser and Mostowski sentences (Q1263586) (← links)
- The logic of \(\Pi_ 1\)-conservativity continued (Q1311428) (← links)
- A note on some extension results (Q1814182) (← links)
- Derivability conditions on Rosser's provability predicates (Q2641298) (← links)
