Unfolding of Systems of Inductive Definitions

ISBN-13: 9781494408091 / Angielski / Miękka / 2013 / 98 str.

Ulrik Torben Buchholtz

Opis

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

Zawartość książki może nie spełniać oczekiwań – reklamacje nie obejmują treści, która mogła nie być redakcyjnie ani merytorycznie opracowana.