$L_{∞ ω_1}-elementary equivalence of $ω_1$-like models of PA
Volume 123 / 1984
Fundamenta Mathematicae 123 (1984), 123-131
DOI: 10.4064/fm-123-2-123-131
