Solution of a problem of Leon Henkin

Cited in

(81)

Solutions to the knower paradox in the light of Haack's criteria
On the proof theory of the modal logic for arithmetic provability
ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS
A modal calculus analogous to K4W, based on intuitionistic propositional logic, I^0
Reflection principles and iterated consistency assertions
INTUITIONISTIC EPISTEMIC LOGIC
A step towards absolute versions of metamathematical results
Provability logic: models within models in Peano arithmetic
Problemi aperti sulle algebre diagonali
A note on syntactical treatments of modality
Cut elimination for GLS using the terminability of its regress process
Autocircumscription
The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb
Transductions in arithmetic
Provability and interpretability logics with restricted realizations
Rescuing Poincaré from Richard's paradox
The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\)
Proof theory in philosophy of mathematics
Franco Montagna's work on provability logic and many-valued logic
Current research on Gödel's incompleteness theorems
Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem
Modal logics with several operators and probability interpretations
Passive induction and a solution to a Paris-Wilkie open question
Varieties of self-reference in metamathematics
The modal logic of provability. The sequential approach
Towards a scalable proof engine: a performant Prototype rewriting primitive for Coq
The Gödelian inferences
The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.)
Provability interpretations of modal logic
Field's paradox and its medieval solution
Distilling the requirements of Gödel's incompleteness theorems with a proof assistant
Notes on my scientific life
The \(\Sigma_1\)-provability logic of HA revisited
Paradoxes, intuitionism, and proof-theoretic semantics
A formally verified abstract account of Gödel's incompleteness theorems
Modal Logics that Bound the Circumference of Transitive Frames
Hard provability logics
Mathematical modal logic: A view of its evolution
Calculating self-referential statements. I: Explicit calculations
On the algebraization of a Feferman's predicate. (The algebraization of theories which express Theor; X)
Henkin sentences and local reflection principles for Rosser provability
Transfinite Progressions: A Second Look at Completeness
Truth, disjunction, and induction
A sequence of theories for arithmetic whose union is complete
Automated search for Gödel's proofs
Partially Conservative Extensions of Arithmetic
The knower paradox in the light of provability interpretations of modal logic
For every n, the n-freely generated algebra is not functionally free in the equational class of diagonalizable algebras. (The algebraization of theories which express Theor. V.)
Significato e verita nell'aritmetica peaniana
The axiom system \(\mathrm{I}\Sigma_{0}\) manages to simultaneously obey and evade the Herbrandized version of the second incompleteness theorem
A fortuitous year with Leon Henkin
THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH
Provability: The emergence of a mathematical modality
On deciding the truth of certain statements involving the notion of consistency
On deciding the provability of certain fixed point statements
Topological interpretations of provability logic
Iterated local reflection versus iterated consistency
Omega-consistency and the diamond
Lewis meets Brouwer: constructive strict implication
Arithmetical completeness theorems for monotonic modal logics
Explicit Henkin sentences
Further reflections on sentences saying of themselves strange things
Leon Henkin the reviewer
The Henkin sentence
Anderson and Belnap's invitation to sin
A note on derivability conditions
The medieval theory of consequence
Systems of illative combinatory logic complete for first-order propositional and predicate calculus
The \(\Sigma_1\)-provability logic of \(\mathsf{HA}^{*}\)
Conventionalism, consistency, and consistency sentences
Turing-Taylor expansions for arithmetic theories
A note on Barcan formula
The fixed-point theorem for diagonalizable algebras. (The algebraization of the theories which express Theor. III.)
Self-reference in arithmetic. I
Fixed point algebras
On the equational class of diagonalizable algebras. (The algebraization of the theories which express Theor. VI.)
Interpretability suprema in Peano arithmetic
Reference in arithmetic
The relation of A to Prov ˹A˺ in the Lindenbaum sentence algebra
Un'estensione del teorema di Lob
Rosser provability and the second incompleteness theorem

This page was built for publication: Solution of a problem of Leon Henkin

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