Pages that link to "Item:Q800922"
From MaRDI portal
The following pages link to On certain lattices of degrees of interpretability (Q800922):
Displaying 10 items.
- On \(\Sigma _ 1\) and \(\Pi _ 1\) sentences and degrees of interpretability (Q685078) (← links)
- The formalization of interpretability (Q1176098) (← links)
- There is no plus-capping degree (Q1325049) (← links)
- Interpretability suprema in Peano arithmetic (Q2402961) (← links)
- Some Theorems on the Lattice of Local Interpretability Types (Q3347872) (← links)
- A lattice of chapters of mathematics (interpretations between theorems [theories]) (Q3472098) (← links)
- European Summer Meeting of the Association for Symbolic Logic (Q3677726) (← links)
- Cuts, consistency statements and interpretations (Q3686709) (← links)
- On faithful interpretability (Q3726109) (← links)
- Some properties of the syntactic p-recursion categories generated by consistent, recursively enumerable extensions of Peano arithmetic. (Q3984439) (← links)
