scientific article; zbMATH DE number 1062120
From MaRDI portal
Publication:4354788
zbMath0882.03054MaRDI QIDQ4354788
No author found.
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 (25)
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
This page was built for publication:
