Generalized inductive definitions [Elektronische Ressource] : : the {_m63-calculus [my-calculus] and {_P63_1hn1_1tn2-comprehension [Pi 1 2-comprehension] / vorgelegt von Michael Möllerfeld

2002hael2MöllerfeldGeneralizedand1e-comprehensionDenitionsThebhenheLogikundundakultätvh2002unghGeneralizedderheneWDenitionsersitätThevMöllerfeldandMathematik1Informatik2-comprehensionInaugural-DissertationFzurderErlangungdesWilhelms-UnivDoktorgradesMünsterderorgelegtonhaftenhaelimFachmderInformatik:an:eProf.Dr.Mathematik:F.oNattererageErsterhenLogik:hangewter:TProf.28.01.2003Dr.epkW.TPderohlersündlicZwPrüfungeneiterhe28.01.2003h28.01.2003ter:andteProf.28.01.2003Dr.agPPromotion:.DekKMamaFür.ry.0.Intro..1.1.Systems.of..Denitions.11.1.a,ryorder5.barithmetic..6...72.7.a.........................ys...theory...ector...........v......11Systems1.btheory.......4.b.......denitions.order.......the.......61.ligh..................and.....Companion..............13.......48.set.4.a.....................stabilit............5.set.5.a..............b...........16.1.d.Göstringstheoryandsubsystems.of.the..ecto.6.a.Sp.............6.b.and..........19Nonmonotone2.Generalized.quantiers.and.the.75ry21.