Open AccessBook
Proof Theory
About:
The article was published on 1975-01-01 and is currently open access. It has received 770 citations till now. The article focuses on the topics: Proof theory & Gentzen's consistency proof.read more
Citations
More filters
Journal ArticleDOI
Some properties of ordinal diagrams
TL;DR: The theory of ordinal diagrams has been a powerful means for consistency proofs of some systems of second order arithmetic as mentioned in this paper, and the results in this line are the consistency proofs for the systems with the provably Jg-comprehension axiom and the ε-composition axiom respectively.
Posted Content
Infrafiltration Theorem and Some Inductive Sequence of Models of Generalized Second-Order Dedekind Theory of Real Numbers With Exponentially Increasing Powers
V. K. Zakharov,T.V. Rodionov +1 more
TL;DR: In this article, a closed inductive sequence of models of the generalized second-order Dedekind theory of real numbers with exponentially increasing powers is constructed, which are not isomorphic.
Posted Content
Satisfaction relations for proper classes: Applications in logic and set theory
Van Wesep,A Robert +1 more
TL;DR: The theory of partial satisfaction relations for structures that may be proper classes and define a satisfaction predicate appropriate to such structures is developed and used to prove that for any recursively enumerable extension Θ of ZF there is a finitely axiomatizable extension *Θ′ of GB that is a conservative extension of Θ.
Journal ArticleDOI
Satisfaction relations for proper classes: Applications in logic and set theory
TL;DR: The theory of partial satisfaction relations for structures that may be proper classes and define a satisfaction predicate (⊨*) appropriate to such structures was developed in this paper. But this theory is not suitable for the setting of first-order predicate logic.