ω-Trees in stationary logic
Volume 119 / 1983
Fundamenta Mathematicae 119 (1983), 205-215
DOI: 10.4064/fm-119-3-205-215