A mechanizable first-order theory of ordinals

DOI10.1007/978-3-319-66902-1_20zbMath1496.68371OpenAlexW2751733221MaRDI QIDQ1694476

Peter H. Schmitt

Publication date: 2 February 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-66902-1_20

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Formalization of mathematics in connection with theorem provers (68V20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items

Two First-Order Theories of Ordinals, Type-theoretic approaches to ordinals, Unnamed Item