The Boolean space of higher level orderings

Katarzyna Osiak

Fundamenta Mathematicae (2007)

  • Volume: 196, Issue: 2, page 101-117
  • ISSN: 0016-2736

Abstract

top
Let K be an ordered field. The set X(K) of its orderings can be topologized to make it a Boolean space. Moreover, it has been shown by Craven that for any Boolean space Y there exists a field K such that X(K) is homeomorphic to Y. Becker's higher level ordering is a generalization of the usual concept of ordering. In a similar way to the case of ordinary orderings one can define a topology on the space of orderings of fixed exact level. We show that it need not be Boolean. However, our main theorem says that for any n and any Boolean space Y there exists a field, the space of orderings of fixed exact level n of which is homeomorphic to Y.

How to cite

top

Katarzyna Osiak. "The Boolean space of higher level orderings." Fundamenta Mathematicae 196.2 (2007): 101-117. <http://eudml.org/doc/282631>.

@article{KatarzynaOsiak2007,
abstract = {Let K be an ordered field. The set X(K) of its orderings can be topologized to make it a Boolean space. Moreover, it has been shown by Craven that for any Boolean space Y there exists a field K such that X(K) is homeomorphic to Y. Becker's higher level ordering is a generalization of the usual concept of ordering. In a similar way to the case of ordinary orderings one can define a topology on the space of orderings of fixed exact level. We show that it need not be Boolean. However, our main theorem says that for any n and any Boolean space Y there exists a field, the space of orderings of fixed exact level n of which is homeomorphic to Y.},
author = {Katarzyna Osiak},
journal = {Fundamenta Mathematicae},
keywords = {ordered field; ordering of higher level; signature; Boolean space},
language = {eng},
number = {2},
pages = {101-117},
title = {The Boolean space of higher level orderings},
url = {http://eudml.org/doc/282631},
volume = {196},
year = {2007},
}

TY - JOUR
AU - Katarzyna Osiak
TI - The Boolean space of higher level orderings
JO - Fundamenta Mathematicae
PY - 2007
VL - 196
IS - 2
SP - 101
EP - 117
AB - Let K be an ordered field. The set X(K) of its orderings can be topologized to make it a Boolean space. Moreover, it has been shown by Craven that for any Boolean space Y there exists a field K such that X(K) is homeomorphic to Y. Becker's higher level ordering is a generalization of the usual concept of ordering. In a similar way to the case of ordinary orderings one can define a topology on the space of orderings of fixed exact level. We show that it need not be Boolean. However, our main theorem says that for any n and any Boolean space Y there exists a field, the space of orderings of fixed exact level n of which is homeomorphic to Y.
LA - eng
KW - ordered field; ordering of higher level; signature; Boolean space
UR - http://eudml.org/doc/282631
ER -

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.