Lectures on the Epsilon Calculus

2014/11/13 by Richard Zach, Zach, Richard · 1 citation
Mathematics · #History and Theory of Mathematics #Mathematical and Theoretical Analysis #math.LO #msc:03B10 #msc:03F03

paper · pdf · doi:10.48550/arxiv.1411.3629

arxiv created 2014/11/13 · arxiv updated 2014/11/14

Abstract

Notes to lectures on the epsilon calculus, covering axioms, semantics, completeness, and the first epsilon theorem.

Cited by

• Semantics and Proof Theory of the Epsilon Calculus

Related

• Historia epsylontyki
• The Epsilon Calculus with Equality and Herbrand Complexity
• Lecture notes on the lambda calculus
• Epsilon Calculus Provides Shorter Cut-Free Proofs
• Hilbertian Toposes Epsilon Toposes