Availability: In Stock

Unfolding of Systems of Inductive Definitions

SKU: 9781494408091

Original price was: $116.00.Current price is: $14.00.

Unfolding of Systems of Inductive Definitions, Mathematics Explorations for Ages 10 to 100: A Travel Guide to Math Discovery, 9781494408091

Description

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).