Add to ORKGIs it possible to give a coordinate free formulation of the Second Incompleteness Theorem? We pursue one possible approach to this question. We show that (i) cutfree consistency for finitely axiomatized theories can be uniquely characterized modulo EA-provable equivalence, (ii) consistency for finitely axiomatized sequential theories can be uniquely characterized modulo EA-provable equivalence. The case of infinitely axiomatized ce theories is more delicate. We carefully discuss this in the paper
Is it possible to give coordinate-free characterizations of salient theories? Such characterizations...
AbstractVersions and extensions of intuitionistic and modal logic involving biHeyting and bimodal op...
AbstractThis paper will introduce the notion of a naming convention and use this paradigm to both de...
In the present paper, we explore an idea of Harvey Friedman to obtain a coordinate-free presentation...
Interpreting reflexive theories in finitely many axioms by V. Yu. S h a v r u k o v (Utrecht) Abstra...
For finitely axiomatized sequential theories F and reflexive theories R, we give a characterization ...
We show that a consistent, finitely axiomatized, sequential theory cannot prove its own inconsisten...
Gödel's Incompleteness Theorem asserts that any sufficiently rich, sound, and recursively axiom...
Kurt Gödel (1906–1978) shook the mathematical world in 1931 by a result that has become an icon of 2...
The present first part about the eventual completeness of mathematics (called “Hilbert mathematics”)...
In this paper we study proofs of some general forms of the Second Incompleteness Theorem. These form...
The present first part about the eventual completeness of mathematics (called “Hilbert mathematics”)...
Full proofs of the Gödel incompleteness theorems are highly intricate affairs. Much of the intricacy...
Gödel's second incompleteness theorem forbids to prove, in a given theory U, the consistency of many...
Abstract. We will generalize the Second Incompleteness Theorem al-most to the level of Robinson’s Sy...
Is it possible to give coordinate-free characterizations of salient theories? Such characterizations...
AbstractVersions and extensions of intuitionistic and modal logic involving biHeyting and bimodal op...
AbstractThis paper will introduce the notion of a naming convention and use this paradigm to both de...
In the present paper, we explore an idea of Harvey Friedman to obtain a coordinate-free presentation...
Interpreting reflexive theories in finitely many axioms by V. Yu. S h a v r u k o v (Utrecht) Abstra...
For finitely axiomatized sequential theories F and reflexive theories R, we give a characterization ...
We show that a consistent, finitely axiomatized, sequential theory cannot prove its own inconsisten...
Gödel's Incompleteness Theorem asserts that any sufficiently rich, sound, and recursively axiom...
Kurt Gödel (1906–1978) shook the mathematical world in 1931 by a result that has become an icon of 2...
The present first part about the eventual completeness of mathematics (called “Hilbert mathematics”)...
In this paper we study proofs of some general forms of the Second Incompleteness Theorem. These form...
The present first part about the eventual completeness of mathematics (called “Hilbert mathematics”)...
Full proofs of the Gödel incompleteness theorems are highly intricate affairs. Much of the intricacy...
Gödel's second incompleteness theorem forbids to prove, in a given theory U, the consistency of many...
Abstract. We will generalize the Second Incompleteness Theorem al-most to the level of Robinson’s Sy...
Is it possible to give coordinate-free characterizations of salient theories? Such characterizations...
AbstractVersions and extensions of intuitionistic and modal logic involving biHeyting and bimodal op...
AbstractThis paper will introduce the notion of a naming convention and use this paradigm to both de...