ISBN-13: 9781494408091 / Angielski / Miękka / 2013 / 98 str.
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).