The following pages link to (Q3509945):
Displaying 6 items.
- A simplification of the completeness proofs for Guaspari and Solovay's R (Q923070) (← links)
- Completeness theorem for Dummett's LC quantified and some of its extensions (Q1207344) (← links)
- (Q4133632) (← links)
- (Q5748888) (← links)
- (Q5809945) (← links)
- Comments on some completeness theorems of Urquhart and Méndez \& Salto (Q5935786) (← links)