Gentzen’s Original Consistency Proof and the Bar Theorem

doi 10.1007/978-3-319-10103-3_8
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Another Proof of the Liouville Theorem

Annales Academiae Scientiarum Fennicae Mathematica
Mathematics
2013English

Proof Simplification and Automated Theorem Proving

Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
MathematicsEngineeringAstronomyPhysics
2019English

Another Proof of the Minimax Theorem

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1960English

Simple Proof of the Ergodic Theorem

Acta Chemica Scandinavica
1958English

The Proof of the Fermat-Beal Theorem

Bulletin of Mathematical Sciences and Applications
2015English

A Proof of Kamp's Theorem

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2014English

A Proof of Hessenberg’s Theorem

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1953English

Constructive Proof of the Min-Max Theorem

Pacific Journal of Mathematics
Mathematics
1956English

Proof of Poincaré’s Geometric Theorem

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1913English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy