Relative Interpretations
From MaRDI portal
Publication:5732652
DOI10.1002/malq.19610070710zbMath0121.25501OpenAlexW4233830439MaRDI QIDQ5732652
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
Related Items
Recursively saturated nonstandard models of arithmetic, A system of complete and consistent truth, A Fortuitous Year with Leon Henkin, CONSISTENCY AND THE THEORY OF TRUTH, Interpretability suprema in Peano arithmetic, Provability in finite subtheories of PA and relative interpretability: a modal investigation, The formalization of interpretability, A generalized notion of weak interpretability and the corresponding modal logic, 1 — Consistency and faithful interpretations, The logic of linear tolerance, Uniform density in Lindenbaum algebras, Fixed point algebras, Realizability interpretation of PA by iterated limiting PCA, 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, Cuts, consistency statements and interpretations
