The following pages link to (Q5823280):
Displaying 10 items.
- Alethic reference (Q777945) (← links)
- Henkin sentences and local reflection principles for Rosser provability (Q892168) (← links)
- Transductions in arithmetic (Q904144) (← links)
- The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb (Q2663342) (← links)
- A Fortuitous Year with Leon Henkin (Q3454802) (← links)
- Leon Henkin the Reviewer (Q3454809) (← links)
- The Henkin Sentence (Q3454817) (← links)
- REFERENCE IN ARITHMETIC (Q4961744) (← links)
- PROVING UNPROVABILITY (Q5737963) (← links)
- Varieties of self-reference in metamathematics (Q6166124) (← links)
