Mathematical Logic Foundations

Research Frontiers in Gentzen''s Consistency Proof and Transfinite Methods

Examines Gentzen''s consistency proof for arithmetic and its extensions using transfinite induction, foundational for modern ordinal analysis.

All Mathematical Logic & Foundations PhD categories