Analytic proofBachmann–Howard ordinalBounded quantifierBüchi arithmeticChurch–Kleene ordinalCirquent calculusCompleteness (logic)Completeness of atomic initial sequentsConservative extensionConsistencyCurry–Howard correspondenceCut-elimination theoremDecidability (logic)Decidable sublanguages of set theoryDeduction theoremDeep inferenceDialectica interpretationDisjunction and existence propertiesDouble-negation translationElementary function arithmeticEpsilon calculusExtension by definitionsExtension by new constant and function namesFast-growing hierarchyFeferman–Schütte ordinalFocused proofFormal proofFriedman translationGentzen's consistency proofGeometry of interactionGödel's completeness theoremGödel's incompleteness theoremsGödel's speed-up theoremHardy hierarchyHerbrand's theoremHilbert's programHilbert systemHypersequentIndependence (mathematical logic)Interpretability
Link from a Wikipage to another Wikipage
Analytic proofBachmann–Howard ordinalBounded quantifierBüchi arithmeticChurch–Kleene ordinalCirquent calculusCompleteness (logic)Completeness of atomic initial sequentsConservative extensionConsistencyCurry–Howard correspondenceCut-elimination theoremDecidability (logic)Decidable sublanguages of set theoryDeduction theoremDeep inferenceDialectica interpretationDisjunction and existence propertiesDouble-negation translationElementary function arithmeticEpsilon calculusExtension by definitionsExtension by new constant and function namesFast-growing hierarchyFeferman–Schütte ordinalFocused proofFormal proofFriedman translationGentzen's consistency proofGeometry of interactionGödel's completeness theoremGödel's incompleteness theoremsGödel's speed-up theoremHardy hierarchyHerbrand's theoremHilbert's programHilbert systemHypersequentIndependence (mathematical logic)Interpretability
subject
related
Wikipage page ID
Wikipage revision ID
953,110,220
wikiPageUsesTemplate
type
label
Proof theory
@en
prefLabel
Proof theory
@en