Pages that link to "Item:Q3726110"
From MaRDI portal
The following pages link to Provability and interpretability in theories containing arithmetic (Q3726110):
Displaying 12 items.
- On the interpretability of arithmetic in temporal logic (Q915718) (← links)
- Interpretations of Presburger arithmetic in itself (Q1709716) (← links)
- A proof theory for the logic of provability in true arithmetic (Q2193977) (← links)
- Using theory interpretation to mechanise the reals in a theorem prover (Q2703760) (← links)
- Challenges to predicative foundations of arithmetic (Q2755496) (← links)
- A theorem on partial conservativity in arithmetic (Q3083142) (← links)
- (Q3140636) (← links)
- (Q3347874) (← links)
- (Q3679154) (← links)
- PROVABILITY LOGIC IN THE GENTZEN FORMULATION OF ARITHMETIC (Q4295253) (← links)
- TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES (Q5107215) (← links)
- Characterizations of interpretability in bounded arithmetic (Q5213551) (← links)