Relative Interpretations

DOI10.1002/MALQ.19610070710MaRDI QIDQ5732652zbMATH OpenOpenAlexFDO

Authors Steven Orey

Publication date 1961

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/2027/mdp.39015095257641

zbMATH Keywords

mathematical logic

Cited in

(21)

• The formalization of interpretability
• The logic of linear tolerance
• A system of complete and consistent truth
• Uniform density in Lindenbaum algebras
• Interpretability suprema in Peano arithmetic
• Consistency and the theory of truth
• Fixed point algebras
• A fortuitous year with Leon Henkin
• Cuts, consistency statements and interpretations
• Provability in finite subtheories of PA and relative interpretability: a modal investigation
• Recursively saturated nonstandard models of arithmetic
• A lattice of interpretability types of theories
• Interpretability over peano arithmetic
• The interpretation existence lemma
• An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency
• 1 — Consistency and faithful interpretations
• Realizability interpretation of PA by iterated limiting PCA
• An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics
• A generalized notion of weak interpretability and the corresponding modal logic
• Mathematical developments of the incompleteness theorems
• The modal logic of arithmetic potentialism and the universal algorithm

This page was built for publication: Relative Interpretations

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