scientific article; zbMATH DE number 3782996

MaRDI QIDQ3960690zbMATH OpenFDO

Authors Per Lindström

Publication date 1979

zbMATH Keywords

interpretability in theories containing arithmeticlattice of degrees of interpretabilityOrey compactness theoremself-reference

Mathematics Subject Classification ID

Relative consistency and interpretations (03F25)

Cited in

(6)

• Extension and interpretability
• A fortuitous year with Leon Henkin
• The interpretation existence lemma
• Unary interpretability logics for sublogics of the interpretability logic \textbf{IL}
• Of sheep and wolves: equivalence and disagreement in set theory
• Mathematical developments of the incompleteness theorems

This page was built for publication:

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