On interpretability in theories containing arithmetic

DOI10.4064/fm-76-2-131-137zbMath0262.02049OpenAlexW840762865MaRDI QIDQ5677480

Marie Hájková, Petr Hájek

Publication date: 1972

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/214455

Mathematics Subject Classification ID

Consistency and independence results (03E35) Recursively (computably) enumerable sets and degrees (03D25) General logic (03B99)

Related Items

Interpretability suprema in Peano arithmetic ⋮ Petr Vopěnka (*16. 5. 1935) ⋮ Partially Conservative Extensions of Arithmetic ⋮ The Interpretation Existence Lemma