Abstract:We shall say that a logic is “simply consistent” if there is no formula A such that both A and ∼ A are provable. “ω-consistent” will be used in the sense of Gödel. “General recursive” and “primitive recursive” will be used in the sense of Kleene, so that what Gödel calls “rekursiv” will be called “primitive recursive.” By an “Entscheidungsverfahren” will be meant a general recursive function ϕ(n) such that, if n is the Gödel number of a provable formula, ϕ(n) = 0 and, if n is not the Gödel number of a provable… Show more
“…Gödel benötigte in seinem Originalbeweis (dem auch die unten angegebene Beweisskizze folgt) die sogenannte ω-Konsistenz als stärkere Voraussetzung. Allerdings konnte J. Barkley Rosser (1907Rosser ( -1989 später zeigen, daß sich der Gödelsche Beweis so modifizieren läßt, daß die (einfache) Konsistenz als Voraussetzung ausreicht, [Ros36].…”
“…Gödel benötigte in seinem Originalbeweis (dem auch die unten angegebene Beweisskizze folgt) die sogenannte ω-Konsistenz als stärkere Voraussetzung. Allerdings konnte J. Barkley Rosser (1907Rosser ( -1989 später zeigen, daß sich der Gödelsche Beweis so modifizieren läßt, daß die (einfache) Konsistenz als Voraussetzung ausreicht, [Ros36].…”
“…The essential ingredients of the proof that, for every consistent recursively enumerable theory U that interprets R, there exists a sentence R that is independent of U were provided by J. Barkley Rosser in his classical paper [16]. Here R is a very weak arithmetic introduced in [21].…”
In this paper we prove that the preordering . of provable implication over any recursively enumerable theory T containing a modicum of arithmetic is uniformly dense. This means that we can find a recursive extensional density function F for .. A recursive function F is a density function if it computes, for A and B with A ' B, an element C such that A ' C ' B. The function is extensional if it preserves T -provable equivalence. Secondly, we prove a general result that implies that, for extensions of elementary arithmetic, the ordering . restricted to † n -sentences is uniformly dense. In the last section we provide historical notes and background material.
We study reflection principles in fragments of Peano arithmetic and their applications to the questions of comparison and classification of arithmetical theories.Bibliography: 95 items.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.