Self-reference and the Languages of Arithmetic
From MaRDI portal
(Redirected from Publication:3592241)
Recommendations
- Self-reference in arithmetic. II
- Self-reference in arithmetic. I
- scientific article; zbMATH DE number 4104916
- SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS
- Theory and application of self-reference: logic and beyond
- Varieties of self-reference in metamathematics
- Self-reference and incompleteness in a non-monotonic setting
- Definability in self-referential systems
- A CHARACTERIZATION OF THE ARITHMETICAL HIERARCHY BY LANGUAGE EQUATIONS
- Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!)
Cited in
(16)- Uniform self-reference
- Faithfulness for naive validity
- Non-reflexivity and revenge
- What's so special about the Gödel sentence \(\mathcal{G}\)?
- scientific article; zbMATH DE number 4104916 (Why is no real title available?)
- scientific article; zbMATH DE number 19147 (Why is no real title available?)
- Reference in arithmetic
- Self-reference in arithmetic. II
- SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS
- GÖDEL’S THEOREM AND DIRECT SELF-REFERENCE
- Truth meets vagueness. Unifying the semantic and the soritical paradoxes
- A step towards absolute versions of metamathematical results
- Bicontextualism
- Varieties of self-reference in metamathematics
- The liar paradox and ``meaningless revenge
- Alethic reference
This page was built for publication: Self-reference and the Languages of Arithmetic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3592241)
