Theories incomparable with respect to relative interpretability
From MaRDI portal
Publication:3851087
DOI10.2307/2964114zbMath0112.24604OpenAlexW2169450060MaRDI QIDQ3851087
Publication date: 1963
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2964114
Related Items
Problems in formal temporal reasoning ⋮ Interpretability suprema in Peano arithmetic ⋮ The scope of Gödel's first incompleteness theorem ⋮ Problemi aperti sulle algebre diagonali ⋮ The fixed-point theorem for diagonalizable algebras. (The algebraization of the theories which express Theor. III.) ⋮ REFERENCE IN ARITHMETIC ⋮ Alethic reference ⋮ Reference and truth ⋮ HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC
