Pages that link to "Item:Q4948517"
From MaRDI portal
The following pages link to Interpretability over peano arithmetic (Q4948517):
Displaying 6 items.
- Interpretability in PRA (Q1035648) (← links)
- Interpretations of Presburger arithmetic in itself (Q1709716) (← links)
- (Q3140636) (← links)
- (Q4250049) (← links)
- Characterizations of interpretability in bounded arithmetic (Q5213551) (← links)
- An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Q6612811) (← links)