Pages that link to "Item:Q1095138"
From MaRDI portal
The following pages link to Interpretability of various extensions of arithmetic (Q1095138):
Displaying 15 items.
- The unprovability of small inconsistency. A study of local and global interpretability (Q688510) (← links)
- On certain lattices of degrees of interpretability (Q800922) (← links)
- Interpretations of Presburger arithmetic in itself (Q1709716) (← links)
- Interpretability of the Cantor varieties (Q1918794) (← links)
- On interpretations of arithmetic and set theory (Q2425351) (← links)
- INTERPRETATIONS BETWEEN<i>ω</i>-LOGIC AND SECOND-ORDER ARITHMETIC (Q2933679) (← links)
- (Q3140636) (← links)
- Arithmetic Interpretability Types of Varieties and Some Additive Problems with Primes (Q3409456) (← links)
- On faithful interpretability (Q3726109) (← links)
- Provability and interpretability in theories containing arithmetic (Q3726110) (← links)
- Proof Theoretic Analysis by Iterated Reflection (Q4637223) (← links)
- Characterizations of interpretability in bounded arithmetic (Q5213551) (← links)
- AXIOMATIZATION OF PROVABLE n-PROVABILITY (Q5222538) (← links)
- Variations on a Visserian Theme (Q5224688) (← links)
- Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories (Q5404169) (← links)