scientific article; zbMATH DE number 1062120
From MaRDI portal
zbMath0882.03054MaRDI QIDQ4354788
Publication date: 17 September 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)
Related Items
VARIANTS OF KREISEL’S CONJECTURE ON A NEW NOTION OF PROVABILITY, A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH, HOW MUCH PROPOSITIONAL LOGIC SUFFICES FOR ROSSER’S ESSENTIAL UNDECIDABILITY THEOREM?, Slow reflection, On predicate provability logics and binumerations of fragments of Peano arithmetic, Henkin sentences and local reflection principles for Rosser provability, Streamlined subrecursive degree theory, AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW, TWO-SORTED FREGE ARITHMETIC IS NOT CONSERVATIVE, GENERALIZATIONS OF GÖDEL’S INCOMPLETENESS THEOREMS FOR ∑n-DEFINABLE THEORIES OF ARITHMETIC, INCOMPLETENESS VIA PARADOX AND COMPLETENESS, Weak theories of concatenation and arithmetic, ILLUSORY MODELS OF PEANO ARITHMETIC, Yablifying the Rosser sentence, Rosser-type undecidable sentences based on Yablo's paradox, HILBERT, DUALITY, AND THE GEOMETRICAL ROOTS OF MODEL THEORY, On Relating Theories: Proof-Theoretical Reduction, MARGINALIA ON A THEOREM OF WOODIN, Faith \& falsity, CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS, The implicit commitment of arithmetical theories and its semantic core, FINDING THE LIMIT OF INCOMPLETENESS I, THE CHARACTERIZATION OF WEIHRAUCH REDUCIBILITY IN SYSTEMS CONTAINING, A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\), REFLECTION RANKS AND ORDINAL ANALYSIS
