The following pages link to Transductions in arithmetic (Q904144):
Displaying 5 items.
- An arithmetic transfer identity (Q276041) (← links)
- The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb (Q2663342) (← links)
- The Interpretation Existence Lemma (Q5214783) (← links)
- A NOTE ON DERIVABILITY CONDITIONS (Q5855755) (← links)
- Arithmetical completeness theorems for monotonic modal logics (Q6040616) (← links)