Reference in arithmetic

DOI10.1017/S1755020317000351MaRDI QIDQ4961744zbMATH OpenOpenAlexFDO

Authors Lavinia Picollo

Publication date 25 October 2018

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1755020317000351

zbMATH Keywords

arithmeticdiagonalizationreferenceself-reference

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Uniform self-reference
• Self-reference in arithmetic. II
• Alethic reference
• Self-reference and incompleteness in a non-monotonic setting
• Self-reference in arithmetic. I

Cites work

• Computability and Logic
• Fifty years of self-reference in arithmetic
• scientific article; zbMATH DE number 51257 (Why is no real title available?)
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 1028815 (Why is no real title available?)
• scientific article; zbMATH DE number 2109238 (Why is no real title available?)
• scientific article; zbMATH DE number 5679725 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• scientific article; zbMATH DE number 6722730 (Why is no real title available?)
• scientific article; zbMATH DE number 3020851 (Why is no real title available?)
• scientific article; zbMATH DE number 3084368 (Why is no real title available?)
• scientific article; zbMATH DE number 3099243 (Why is no real title available?)
• Hyperintensional logic
• On Godel Sentences and What They Say
• On notation for ordinal numbers
• Paradox without Self-Reference
• Reducing compositional to disquotational truth
• Self-reference and the Languages of Arithmetic
• Self-reference in arithmetic. I
• Self-reference in arithmetic. II
• Solution of a problem of Leon Henkin
• Theories incomparable with respect to relative interpretability
• Truth and reflection
• What truth depends on
• Yablo's paradox

Cited in

(9)

• A recovery operator for nontransitive approaches
• Arbitrary reference in mathematical reasoning
• SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS
• GÖDEL’S THEOREM AND DIRECT SELF-REFERENCE
• A step towards absolute versions of metamathematical results
• Varieties of self-reference in metamathematics
• CLASSICAL DETERMINATE TRUTH I
• Alethic reference
• Reference and truth

This page was built for publication: Reference in arithmetic

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