✦ LIBER ✦

Arithmetic transfinite induction and recursive well-orderings

✍ Scribed by Harvey M Friedman; Andrej S̆čedrov

Book ID: 107709942
Publisher: Elsevier Science
Year: 1985
Tongue: English
Weight: 591 KB
Volume: 56
Category: Article
ISSN: 0001-8708
DOI: 10.1016/0001-8708(85)90036-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Ordinal notations and well-orderings in

Ordinal notations and well-orderings in bounded arithmetic

✍ Arnold Beckmann; Chris Pollett; Samuel R. Buss 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 244 KB

Induction and Well Ordering

✍ Aron Pinker 📂 Article 📅 1976 🏛 School Science and Mathematics Association 🌐 English ⚖ 295 KB

Erratum to “Ordinal notations and well-o

Erratum to “Ordinal notations and well-orderings in bounded arithmetic” [Annals of Pure and Applied Logic 120 (2003) 197–223]

✍ Arnold Beckmann; Samuel R. Buss; Chris Pollett 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 54 KB

[Lecture Notes in Computer Science] Theo

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 3603 || Alpha-Structural Recursion and Induction

✍ Hurd, Joe; Melham, Tom 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 597 KB

This Volume Constitutes The Proceedings Of The 18th International Conference On Theorem Proving In Higher Order Logics (tphols 2005), Which Was Held During22–25august2005inoxford,uk.tpholscoversallaspectsoftheorem Proving In Higher Order Logics As Well As Related Topics In Theorem Proving And Veri?c