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).
Author: Ulrik Torben Buchholtz |
Publisher: Createspace Independent Publishing Platform |
Publication Date: Dec 06, 2013 |
Number of Pages: 98 pages |
Binding: Paperback or Softback |
ISBN-10: 1494408090 |
ISBN-13: 9781494408091 |