The Henkin Sentence
From MaRDI portal
Publication:3454817
DOI10.1007/978-3-319-09719-0_17zbMath1347.03002OpenAlexW1551171940MaRDI QIDQ3454817
Publication date: 27 November 2015
Published in: Studies in Universal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-09719-0_17
History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Gödel numberings and issues of incompleteness (03F40)
Related Items
A Fortuitous Year with Leon Henkin, Further Reflections on Sentences Saying of Themselves Strange Things, Lewis meets Brouwer: constructive strict implication, Solutions to the knower paradox in the light of Haack's criteria, Transductions in arithmetic, Paradoxical hypodoxes
Cites Work
- Faith \& falsity
- Characters and fixed points in provability logic
- Definability theorems in normal extensions of the provability logic
- A new proof of the fixed-point theorem of provability logic
- On modal \(\mu \)-calculus and Gödel-Löb logic
- The modal logic of provability. The sequential approach
- Self-reference and modal logic
- Arithmetic analogues of McAloon's unique Rosser sentences
- Provability: The emergence of a mathematical modality
- Explicit fixed points in interpretability logic
- The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.)
- Provability interpretations of modal logic
- An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
- Peano's smart children: A provability logical study of systems with built-in consistency
- Logic of proofs
- A smart child of Peano's
- Proof-theoretic analysis by iterated reflection
- Provability algebras and proof-theoretic ordinals. I
- Modal frame correspondences and fixed-points
- On the admissible rules of intuitionistic propositional logic
- Solution of a problem of Leon Henkin
- Arithmetization of metamathematics in a general setting
- Reflection principles and provability algebras in formal arithmetic
- Rosser sentences
- The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations
- Provability logic—a short introduction
- Biological Perspectives Irreversible Lithium-Induced Neuropathy: Two Cases
- On the completenes principle: A study of provability in heyting's arithmetic and extensions
- A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic
- Processes, Terms and Cycles: Steps on the Road to Infinity
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
