Gå direkt till innehållet
Unfolding of Systems of Inductive Definitions
Spara

Unfolding of Systems of Inductive Definitions

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).
ISBN
9781494408091
Språk
Engelska
Vikt
181 gram
Utgivningsdatum
2013-12-01
Sidor
98