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
On some formalized conservation results in arithmetic
TL;DR: A proof-theoretic proof of the stronger fact that theΠn+2 conservation result is provable already inIΔ0 + superexp is presented.
Journal ArticleDOI
On regular interstices and selective types in countable arithmetically saturated models of Peano Arithmetic
TL;DR: In this paper, it was shown that selective types are realized in regular interstices and that the stabilizer of an element inside M(0) whose type is selective need not be maximal.
Book ChapterDOI
Towards Efficient Knowledge-Based Automated Theorem Proving for Non-Standard Logics
TL;DR: An introduction to a technique for greatly increasing the efficiency of automated theorem provers for non-standard logics by using the models to direct a search by an automated theoremProver for a proof by filtering out or pruning the items of the search space which the models invalidate.
Journal ArticleDOI
A Note on Definable Skolem Functions
TL;DR: Though these algorithms provide a more concrete version of van den Dries' theorem, and do not suffer the lack of generality of Denef's result, Weispfenning's argument is extremely subtle and applies only to certain theories of valued fields.
Book ChapterDOI
A type-theoretic framework for formal reasoning with different logical foundations
TL;DR: A type-theoretic framework for formal reasoning with different logical foundations that allows various logical systems such as classical logic as well as intuitionistic logic to be used effectively alongside inductive data types and type universes is introduced and studied.