Some Prime Elements in the Lattice of Interpretability Types
From MaRDI portal
Publication:5184891
DOI10.2307/1999613zbMath0561.03014OpenAlexW4247016654MaRDI QIDQ5184891
Publication date: 1983
Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/1999613
Related Items
Sequence encoding without induction ⋮ Extension and interpretability ⋮ The small‐is‐very‐small principle ⋮ Transductions in arithmetic ⋮ On \(\mathsf{Q}\) ⋮ Interpretability degrees of finitely axiomatized sequential theories ⋮ The formalization of interpretability ⋮ Pairs, sets and sequences in first-order theories ⋮ The unprovability of small inconsistency. A study of local and global interpretability ⋮ Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem ⋮ The Interpretation Existence Lemma ⋮ Remarks and problems on a lattice of equational chapters ⋮ CARDINAL ARITHMETIC IN THE STYLE OF BARON VON MÜNCHHAUSEN ⋮ The arithmetics of a theory ⋮ Weak sequential theories of finite full binary trees
This page was built for publication: Some Prime Elements in the Lattice of Interpretability Types