Varieties of self-reference in metamathematics
From MaRDI portal
Publication:6166124
Recommendations
Cites work
- scientific article; zbMATH DE number 3124827 (Why is no real title available?)
- scientific article; zbMATH DE number 3577197 (Why is no real title available?)
- scientific article; zbMATH DE number 1028815 (Why is no real title available?)
- scientific article; zbMATH DE number 1550364 (Why is no real title available?)
- scientific article; zbMATH DE number 3084368 (Why is no real title available?)
- scientific article; zbMATH DE number 3106607 (Why is no real title available?)
- Arithmetization of metamathematics in a general setting
- Classical recursion theory. The theory of functions and sets of natural numbers
- Inference and self-reference
- ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS
- On the weak Kleene scheme in Kripke's theory of truth
- Outline of a Theory of Truth
- Redundancies in the Hilbert-Bernays derivability conditions for Gödel's second incompleteness theorem
- Reference in arithmetic
- SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS
- Self-reference and modal logic
- Self-reference and the Languages of Arithmetic
- Self-reference in arithmetic. I
- Solution of a problem of Leon Henkin
Cited in
(5)
This page was built for publication: Varieties of self-reference in metamathematics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6166124)