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 10 items.
- A simplification of the completeness proofs for Guaspari and Solovay's R (Q923070) (← links)
- 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)
- A remark on equivalent Rosser sentences (Q2470037) (← links)
- Derivability conditions on Rosser's provability predicates (Q2641298) (← links)
- Comments on some completeness theorems of Urquhart and Méndez \& Salto (Q5935786) (← links)