𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Linearly ordered extensions of GO spaces

✍ Scribed by Takuo Miwa; Nobuyuki Kemoto

Publisher
Elsevier Science
Year
1993
Tongue
English
Weight
510 KB
Volume
54
Category
Article
ISSN
0166-8641

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Perfect GO-spaces which have a perfect l
Perfect GO-spaces which have a perfect linearly ordered extension
✍ Wei-Xue Shi πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 697 KB

It is an old problem posed by Bennett and Lutzer whether every perfect GO-space has a perfect orderable extension. As an approach to this problem, we prove that, for a perfect GO-space X, X has a perfect linearly ordered extension if and only if there is a o-discrete subset F such that GOx (0, X -F,

End extensions of models of linearly bou
End extensions of models of linearly bounded arithmetic
✍ Domenico Zambella πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 977 KB

We show that every model of Ido has an end extension to a model of a theory (extending Buss' S,") where log-space computable function are formalizable. We also show the existence of an isomotphism between models of Ido and models of linear arithmetic LA (i.e., second-order Presburger arithmetic wit