REFERENCE IN ARITHMETIC

DOI10.1017/S1755020317000351OpenAlexW2782878463MaRDI QIDQ4961744

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

arithmeticreferencediagonalizationself-reference

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (8)

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 ⋮ A RECOVERY OPERATOR FOR NONTRANSITIVE APPROACHES ⋮ Alethic reference ⋮ Reference and truth

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• What truth depends on
• Truth and reflection
• Fifty years of self-reference in arithmetic
• Hyperintensional logic
• Solution of a problem of Leon Henkin
• Computability and Logic
• Self-reference and the Languages of Arithmetic
• Theories incomparable with respect to relative interpretability
• Yablo's paradox
• Paradox without Self-Reference
• SELF-REFERENCE IN ARITHMETIC I
• SELF-REFERENCE IN ARITHMETIC II
• On Godel Sentences and What They Say
• On notation for ordinal numbers
• REDUCING COMPOSITIONAL TO DISQUOTATIONAL TRUTH

This page was built for publication: REFERENCE IN ARITHMETIC