The Interpretation Existence Lemma

DOI10.1007/978-3-319-63334-3_5zbMath1429.03212OpenAlexW2794565008MaRDI QIDQ5214783

Albert Visser

Publication date: 5 February 2020

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-63334-3_5

zbMATH Keywords

interpretationsdegreessequential theories

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Decidability of theories and sets of sentences (03B25) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items

Friedman-reflexivity ⋮ Extension and interpretability ⋮ ANOTHER LOOK AT THE SECOND INCOMPLETENESS THEOREM ⋮ The small‐is‐very‐small principle ⋮ ON A QUESTION OF KRAJEWSKI’S ⋮ CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The unprovability of small inconsistency. A study of local and global interpretability
• Faith \& falsity
• Transductions in arithmetic
• Pairs, sets and sequences in first-order theories
• Harvey Friedman's research on the foundations of mathematics
• On the scheme of induction for bounded arithmetic formulas
• The formalization of interpretability
• End extensions of models of arithmetic
• Interpretability degrees of finitely axiomatized sequential theories
• The role of quantifier alternations in cut elimination
• Sequence encoding without induction
• Satisfying Predicates: Kleene's Proof of the Hilbert–Bernays Theorem
• HUME’S PRINCIPLE, BEGINNINGS
• Arithmetization of metamathematics in a general setting
• A lattice of chapters of mathematics (interpretations between theorems [theories)]
• CARDINAL ARITHMETIC IN THE STYLE OF BARON VON MÜNCHHAUSEN
• Cuts, consistency statements and interpretations
• A note on proofs of falsehood
• Some Prime Elements in the Lattice of Interpretability Types
• Computer Science Logic
• Cut Elimination In Situ
• Trial and error predicates and the solution to a problem of Mostowski
• On interpretability in theories containing arithmetic
• Relative Interpretations
• The completeness of the first-order functional calculus
• Arithmetic Translations of Axiom Systems