Ordinal analysis of non-monotone Pi-0-1-definable inductive definitions

Pohlers, Wolfram

Forschungsartikel (Zeitschrift) | Peer reviewed

Details zur Publikation

Fachzeitschrift: Annals of Pure and Applied Logic (Ann. Pure Appl. Logic)

Jahrgang / Bandnr. / Volume: 156

Seitenbereich: 160-169

Status: Veröffentlicht

Veröffentlichungsjahr: 2008

Sprache, in der die Publikation verfasst ist: Englisch

Institut für Mathematische Logik und Grundlagenforschung