Can I read Proof Theory and Recursive Functions on EtoBox?

Proof Theory and Recursive Functions by Yan Mikhlin is a document available to read on EtoBox.

What is Proof Theory and Recursive Functions about?

This book aims to provide a unified treatment of the connections between proof theory and recursive function theory. It will cover topics like proofs, recursions, provably recursive functions and their hierarchies. The book will use classical methods like cut elimination and normalization along with ordinal analysis. It will focus on mathematically significant proof systems between Elementary Recursive Arithmetic and restricted Π11-Comprehension. The goal is to complement existing textbooks and cover some t

Author

Yan Mikhlin

Language

EN