Unfolding of Systems of Inductive Definitions Contributor(s): Buchholtz, Ulrik Torben (Author) |
|
ISBN: 1494408090 ISBN-13: 9781494408091 Publisher: Createspace Independent Publishing Platform OUR PRICE: $7.30 Product Type: Paperback Published: December 2013 |
Additional Information |
BISAC Categories: - Mathematics | Logic |
Physical Information: 0.2" H x 7.52" W x 9.25" (0.40 lbs) 98 pages |
Descriptions, Reviews, Etc. |
Publisher 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). |