Zermelo’s Well-Ordering Theorem in Type Theory

DOI10.1007/978-3-540-74464-1_12zbMath1178.03023OpenAlexW1529641503MaRDI QIDQ3612443

Danko Ilik

Publication date: 10 March 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74464-1_12

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Foundations of classical theories (including reverse mathematics) (03B30)

Related Items (1)

Transfinite Constructions in Classical Type Theory

This page was built for publication: Zermelo’s Well-Ordering Theorem in Type Theory