Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie

  title={Beweisbarkeit und Unbeweisbarkeit von Anfangsf{\"a}llen der transfiniten Induktion in der reinen Zahlentheorie},
  author={Gerhard Gentzen},
  journal={Mathematische Annalen},
  • G. Gentzen
  • Published 1 March 1943
  • Mathematics
  • Mathematische Annalen
The middle ground-ancestral logic
This work investigates a logic which is intermediate between FOL and SOL, and seems to be a particularly attractive alternative to both: ancestral logic, and presents two natural Gentzen-style proof systems for ancestral logic that encompass all forms of reasoning for this logic that are used in practice.
Construction principle and transfinite induction up to ε 0
What we call here the "construction principle" is a principle on the ground of which some functional can be defined; the domain and the range of such a functional consist of some "computable"
Well-Ordering Principles in Proof Theory and Reverse Mathematics
Several theorems about the equivalence of familiar theories of reverse mathematics with certain well-ordering principles have been proved by recursion-theoretic and combinatorial methods (Friedman,
Essay Review
W-Interfaces, Business Intelligence, and Content Processing
  • C. Nourani
  • Computer Science
    2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT)
  • 2013
A new design prototype for intelligent content management with multi-tier designs for interfaces is briefed and the paradigms can be applied to databases and query processing applications to predictive analyitics.
1 On founding the theory of algorithms
The paper splits naturally into two parts: a general introduction in Sections 1 – 4 which lays out the problem and reviews briefly the various approaches to it in the literature, and a more specific outline of the proposed solution, beginning with Section 5.
A hierarchy of ramified theories below primitive recursive arithmetic
The arithmetical theory EA(I;O) developed by Cagman, Ostrin and Wainer ([18] and [48]) provides a formal setting for the variable separation of Bellantoni-Cook predicative recursion [6]. As such,
Ways of Proof Theory
A new basic framework for the Weyl-Feferman predicativist program is suggested by constructing a formal predicative set theory PZF which resembles ZF, and which reflects real mathematical practice in making an extensive use of statically defined abstract set terms.
Arithmetical transfinite induction and hierarchies of functions
We generalize to the case of arithmetical transfinite induction the following three theorems for PA: the Wainer Theorem, the Paris–Harrington Theorem, and a version of the Solovay–Ketonen Theorem. We
Representation and Reality by Language: How to Make a Home Quantum Computer?
A set theory model of reality, representation and language based on the relation of completeness and incompleteness is explored and the equivalence of that model to a quantum computer is demonstrated.