On interpretability in theories containing arithmetic

DOI10.4064/FM-76-2-131-137MaRDI QIDQ5677480zbMATH OpenOpenAlexFDO

Authors 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

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

Cited in

(4)

• Interpretability suprema in Peano arithmetic
• Partially Conservative Extensions of Arithmetic
• The interpretation existence lemma
• Petr Vopěnka (*16. 5. 1935)

This page was built for publication: On interpretability in theories containing arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5677480)