Ordinal analysis of non-monotone Pi-0-1-definable inductive definitions
Pohlers, Wolfram
Research article (journal) | Peer reviewedDetails about the publication
Journal: Annals of Pure and Applied Logic (Ann. Pure Appl. Logic)
Volume: 156
Page range: 160-169
Status: Published
Release year: 2008
Language in which the publication is written: English
Authors from the University of Münster
| Pohlers, Wolfram | Institute of Mathematical Logic and Basic Research |