共 50 条
- [26] First-order separation over countable ordinals FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2022), 2022, 13242 : 264 - 284
- [28] Computability on the Countable Ordinals and the Hausdorff-Kuratowski Theorem MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2015, PT I, 2015, 9234 : 407 - 418
- [29] A topological Ramsey classification of countable ordinals. II Acta Mathematica Hungarica, 2015, 147 : 510 - 527