共 50 条
- [1] RECURSIVELY SATURATED OMEGA-1-LIKE MODELS OF PA [J]. JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (02) : 488 - 489
- [4] THE STRUCTURE OF OMEGA-1-LIKE ORDERINGS [J]. FUNDAMENTA MATHEMATICAE, 1986, 126 (02) : 185 - 199
- [8] MODEL-THEORY FOR L-INFINITY-OMEGA-1 [J]. ANNALS OF PURE AND APPLIED LOGIC, 1984, 26 (02) : 103 - 122
- [9] (L-OMEGA-1-OMEGA)T-EQUIVALENCE FOR T3 SPACES [J]. JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (01) : 271 - 271