On nonmonotone inductive definability
Volume 82 / 1974
Fundamenta Mathematicae 82 (1974), 39-83
DOI: 10.4064/fm-82-1-39-83