scientific article; zbMATH DE number 2014521
From MaRDI portal
Publication:4437331
zbMath1036.03002MaRDI QIDQ4437331
Publication date: 8 December 2003
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
On Guaspari's problem about partially conservative sentences, Relative Truth Definability of Axiomatic Truth Theories, On arithmetical completeness of the logic of proofs, Duality, non-standard elements, and dynamic properties of r.e. sets, Effectively inseparable Boolean algebras in lattices of sentences, Extension and interpretability, The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb, LOGICISM, INTERPRETABILITY, AND KNOWLEDGE OF ARITHMETIC, THE STRENGTH OF ABSTRACTION WITH PREDICATIVE COMPREHENSION, Rosser provability and normal modal logics, Some observations on the FGH theorem, EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES, WHAT IS A RESTRICTIVE THEORY?, Comparing Peano arithmetic, Basic Law V, and Hume's Principle, Truth and consistency, Empiricism, probability, and knowledge of arithmetic: a preliminary defense, On partial disjunction properties of theories containing Peano arithmetic, Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations, On explicating the concept `the power of an arithmetical theory', UNIVERSAL ROSSER PREDICATES, Uniform density in Lindenbaum algebras, PROVABILITY LOGICS RELATIVE TO A FIXED EXTENSION OF PEANO ARITHMETIC, A NOTE ON DERIVABILITY CONDITIONS, Rosser provability and the second incompleteness theorem, Neo-Logicism and Its Logic, HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC, On inclusions between quantified provability logics
