Solution of a problem of Leon Henkin
From MaRDI portal
Publication:3227564
DOI10.2307/2266895zbMath0067.00202OpenAlexW2028227692MaRDI QIDQ3227564
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
Related Items
Proof Theory in Philosophy of Mathematics, Cut elimination for GLS using the terminability of its regress process, Franco Montagna's work on provability logic and many-valued logic, A Fortuitous Year with Leon Henkin, Leon Henkin the Reviewer, The Henkin Sentence, Systems of illative combinatory logic complete for first-order propositional and predicate calculus, Iterated local reflection versus iterated consistency, Autocircumscription, Further Reflections on Sentences Saying of Themselves Strange Things, Hard provability logics, Interpretability suprema in Peano arithmetic, The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb, Explicit Henkin sentences, The medieval theory of consequence, Passive induction and a solution to a Paris-Wilkie open question, A modal calculus analogous to K4W, based on intuitionistic propositional logic, \(I^0\), A note on Barcan formula, Arithmetical completeness theorems for monotonic modal logics, Henkin sentences and local reflection principles for Rosser provability, Lewis meets Brouwer: constructive strict implication, A note on syntactical treatments of modality, A step towards absolute versions of metamathematical results, Varieties of self-reference in metamathematics, Solutions to the knower paradox in the light of Haack's criteria, Rescuing Poincaré from Richard’s Paradox, Transductions in arithmetic, Omega-consistency and the diamond, Provability and interpretability logics with restricted realizations, Provability logic: models within models in Peano arithmetic, Anderson and Belnap's invitation to sin, Mathematical modal logic: A view of its evolution, Provability: The emergence of a mathematical modality, Conventionalism, consistency, and consistency sentences, Turing-Taylor expansions for arithmetic theories, The Axiom System IΣ0 Manages to Simultaneously Obey and Evade the Herbrandized Version of the Second Incompleteness Theorem, Problemi aperti sulle algebre diagonali, Fixed point algebras, INTUITIONISTIC EPISTEMIC LOGIC, SELF-REFERENCE IN ARITHMETIC I, On deciding the truth of certain statements involving the notion of consistency, Field's Paradox and Its Medieval Solution, Significato e verita nell'aritmetica peaniana, The fixed-point theorem for diagonalizable algebras. (The algebraization of the theories which express Theor. III.), The relation of A to Prov ˹A˺ in the Lindenbaum sentence algebra, Automated search for Gödel's proofs, 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.), On the equational class of diagonalizable algebras. (The algebraization of the theories which express Theor. VI.), Un'estensione del teorema di Lob, Transfinite Progressions: A Second Look at Completeness, The knower paradox in the light of provability interpretations of modal logic, The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.), Modal logics with several operators and probability interpretations, Provability interpretations of modal logic, The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\), THE -PROVABILITY LOGIC OF, On deciding the provability of certain fixed point statements, Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem, Partially Conservative Extensions of Arithmetic, CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS, On the algebraization of a Feferman's predicate. (The algebraization of theories which express Theor; X), REFERENCE IN ARITHMETIC, Calculating self-referential statements. I: Explicit calculations, A sequence of theories for arithmetic whose union is complete, Distilling the requirements of Gödel's incompleteness theorems with a proof assistant, A formally verified abstract account of Gödel's incompleteness theorems, Truth, disjunction, and induction, Reflection principles and iterated consistency assertions, The Gödelian Inferences, On the proof theory of the modal logic for arithmetic provability, THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH, ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS, A NOTE ON DERIVABILITY CONDITIONS, The modal logic of provability. The sequential approach, Topological Interpretations of Provability Logic, Rosser provability and the second incompleteness theorem, Modal Logics that Bound the Circumference of Transitive Frames
