The following pages link to David Guaspari (Q3206948):
Displaying 9 items.
- Partially Conservative Extensions of Arithmetic (Q3206949) (← links)
- Sentences implying their own provability (Q3338237) (← links)
- (Q3342558) (← links)
- Rosser sentences (Q3861389) (← links)
- Definability in models of set theory (Q3900052) (← links)
- Note on the Kondo-Addison theorem (Q4053633) (← links)
- (Q4073379) (← links)
- (Q4078032) (← links)
- Characterizing C 3 (The Largest Countable Π 1 3 Set) (Q4103099) (← links)
