Unfolding of Systems of Inductive Definitions

By Ulrik Torben Buchholtz

This is the author's doctoral dissertation in logic written under the direction of Professor Solomon Feferman at Stanford University.The main result is an ordinal analysis of the unfolding of the classical system of one generalized positive inductive definition. The ordinal of this theory is determined to be Bachmann's H(1).

• Format: Paperback
• Language: English
• ISBN: 1494408090
• ISBN13: 9781494408091
• Release Date: December 2013
• Publisher: Createspace Independent Publishing Platform
• Length: 98 Pages
• Weight: 0.40 lbs.
• Dimensions: 0.2" x 7.5" x 9.3"