Pages that link to "Item:Q923070"
From MaRDI portal
The following pages link to A simplification of the completeness proofs for Guaspari and Solovay's R (Q923070):
Displaying 8 items.
- A simplification of a completeness proof of Guaspari and Solovay (Q1099164) (← links)
- On the proof of Solovay's theorem (Q1176096) (← links)
- Rosser orderings and free variables (Q1176097) (← links)
- Syntactical results on the arithmetical completeness of modal logic (Q1319362) (← links)
- The incompleteness of RGL (Q1591336) (← links)
- Uniform density in Lindenbaum algebras (Q2258545) (← links)
- Much Shorter Proofs (Q4206724) (← links)
- SELF-REFERENCE IN ARITHMETIC II (Q5176166) (← links)