Pages that link to "Item:Q2402961"
From MaRDI portal
The following pages link to Interpretability suprema in Peano arithmetic (Q2402961):
Displaying 6 items.
- On certain lattices of degrees of interpretability (Q800922) (← links)
- Interpretability in PRA (Q1035648) (← links)
- Interpretability of various extensions of arithmetic (Q1095138) (← links)
- Interpretations of Presburger arithmetic in itself (Q1709716) (← links)
- The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb (Q2663342) (← links)
- (Q4437331) (← links)