Some applications of Gentzens second consistency proof

DOI10.1007/BF01350671zbMath0184.01202MaRDI QIDQ2535674

Bruno Scarpellini

Publication date: 1969

Published in: Mathematische Annalen (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/161842

zbMATH Keywords

model theoryalgebraic logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (5)

Disjunctive properties of intuitionistic systems ⋮ A new reduction sequence for arithmetic ⋮ E theorems ⋮ First steps in intuitionistic model theory ⋮ Exact estimates of the provability of transfinite induction in the initial segments of arithmetic

Cites Work

• Unnamed Item
• Unnamed Item
• Consistency proofs of subsystems of classical analysis
• Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
• The substitution method

This page was built for publication: Some applications of Gentzens second consistency proof