Solution of a problem of Leon Henkin

DOI10.2307/2266895zbMATH Open0067.00202OpenAlexW2028227692MaRDI QIDQ3227564FDOQ3227564

Authors: Martin Löb 

Publication date: 1955

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2266895

zbMATH Keywords

philosophy and foundations of mathematics

Cited In (81)

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

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)