The interpretation existence lemma

DOI10.1007/978-3-319-63334-3_5MaRDI QIDQ5214783zbMATH OpenOpenAlexFDO

Authors 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

degreesinterpretationssequential 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)

Recommendations

• The formalization of interpretability
• The unprovability of small inconsistency. A study of local and global interpretability
• The interpretability logic of Peano arithmetic
• Characterizations of interpretability in bounded arithmetic
• scientific article; zbMATH DE number 1045790

Cites work

• A lattice of chapters of mathematics (interpretations between theorems [theories])
• A note on proofs of falsehood
• Arithmetic Translations of Axiom Systems
• Arithmetization of metamathematics in a general setting
• CARDINAL ARITHMETIC IN THE STYLE OF BARON VON MÜNCHHAUSEN
• Computer Science Logic
• Cut Elimination In Situ
• Cuts, consistency statements and interpretations
• End extensions of models of arithmetic
• Faith \& falsity
• Harvey Friedman's research on the foundations of mathematics
• scientific article; zbMATH DE number 1805574 (Why is no real title available?)
• scientific article; zbMATH DE number 4059391 (Why is no real title available?)
• scientific article; zbMATH DE number 3782996 (Why is no real title available?)
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 3585423 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 218514 (Why is no real title available?)
• scientific article; zbMATH DE number 3999883 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• scientific article; zbMATH DE number 5066367 (Why is no real title available?)
• scientific article; zbMATH DE number 3275567 (Why is no real title available?)
• scientific article; zbMATH DE number 3365265 (Why is no real title available?)
• scientific article; zbMATH DE number 3395897 (Why is no real title available?)
• scientific article; zbMATH DE number 3070439 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Hume's principle, beginnings
• Interpretability degrees of finitely axiomatized sequential theories
• On interpretability in theories containing arithmetic
• On the scheme of induction for bounded arithmetic formulas
• Pairs, sets and sequences in first-order theories
• Relative Interpretations
• Satisfying predicates: Kleene's proof of the Hilbert-Bernays theorem
• Sequence encoding without induction
• Some Prime Elements in the Lattice of Interpretability Types
• Subsystems of second order arithmetic
• The completeness of the first-order functional calculus
• The formalization of interpretability
• The role of quantifier alternations in cut elimination
• The structure of models of Peano arithmetic
• The unprovability of small inconsistency. A study of local and global interpretability
• Transductions in arithmetic
• Trial and error predicates and the solution to a problem of Mostowski
• What is sequentiality?
• Why the theory R is special

Cited in

(12)

• Friedman-reflexivity
• Extension and interpretability
• Functional interpretation and the existence property
• scientific article; zbMATH DE number 1303441 (Why is no real title available?)
• On a question of Krajewski's
• Current research on Gödel's incompleteness theorems
• Another look at the second incompleteness theorem
• The small-is-very-small principle
• Poincaré on the value of reasoning machines
• Pour-El's landscape
• Certified _1-sentences
• On the arithmetical complexity of models

This page was built for publication: The interpretation existence lemma

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