Relational quotients

Miodrag Sokić

Fundamenta Mathematicae (2013)

  • Volume: 221, Issue: 3, page 189-220
  • ISSN: 0016-2736

Abstract

top
Let 𝒦 be a class of finite relational structures. We define ℰ𝒦 to be the class of finite relational structures A such that A/E ∈ 𝒦, where E is an equivalence relation defined on the structure A. Adding arbitrary linear orderings to structures from ℰ𝒦, we get the class 𝒪ℰ𝒦. If we add linear orderings to structures from ℰ𝒦 such that each E-equivalence class is an interval then we get the class 𝒞ℰ[𝒦*]. We provide a list of Fraïssé classes among ℰ𝒦, 𝒪ℰ𝒦 and 𝒞ℰ[𝒦*]. In addition, we classify 𝒪ℰ𝒦 and 𝒞ℰ[𝒦*] according to the Ramsey property. We also conduct the same analysis after adding additional structure to each equivalence class. As an application, we give a topological interpretation using the technique introduced in Kechris, Pestov and Todorčević. In particular, we extend the lists of known extremely amenable groups and universal minimal flows.

How to cite

top

Miodrag Sokić. "Relational quotients." Fundamenta Mathematicae 221.3 (2013): 189-220. <http://eudml.org/doc/282672>.

@article{MiodragSokić2013,
abstract = {Let 𝒦 be a class of finite relational structures. We define ℰ𝒦 to be the class of finite relational structures A such that A/E ∈ 𝒦, where E is an equivalence relation defined on the structure A. Adding arbitrary linear orderings to structures from ℰ𝒦, we get the class 𝒪ℰ𝒦. If we add linear orderings to structures from ℰ𝒦 such that each E-equivalence class is an interval then we get the class 𝒞ℰ[𝒦*]. We provide a list of Fraïssé classes among ℰ𝒦, 𝒪ℰ𝒦 and 𝒞ℰ[𝒦*]. In addition, we classify 𝒪ℰ𝒦 and 𝒞ℰ[𝒦*] according to the Ramsey property. We also conduct the same analysis after adding additional structure to each equivalence class. As an application, we give a topological interpretation using the technique introduced in Kechris, Pestov and Todorčević. In particular, we extend the lists of known extremely amenable groups and universal minimal flows.},
author = {Miodrag Sokić},
journal = {Fundamenta Mathematicae},
keywords = {Ramsey property; fraïssé class; linear ordering},
language = {eng},
number = {3},
pages = {189-220},
title = {Relational quotients},
url = {http://eudml.org/doc/282672},
volume = {221},
year = {2013},
}

TY - JOUR
AU - Miodrag Sokić
TI - Relational quotients
JO - Fundamenta Mathematicae
PY - 2013
VL - 221
IS - 3
SP - 189
EP - 220
AB - Let 𝒦 be a class of finite relational structures. We define ℰ𝒦 to be the class of finite relational structures A such that A/E ∈ 𝒦, where E is an equivalence relation defined on the structure A. Adding arbitrary linear orderings to structures from ℰ𝒦, we get the class 𝒪ℰ𝒦. If we add linear orderings to structures from ℰ𝒦 such that each E-equivalence class is an interval then we get the class 𝒞ℰ[𝒦*]. We provide a list of Fraïssé classes among ℰ𝒦, 𝒪ℰ𝒦 and 𝒞ℰ[𝒦*]. In addition, we classify 𝒪ℰ𝒦 and 𝒞ℰ[𝒦*] according to the Ramsey property. We also conduct the same analysis after adding additional structure to each equivalence class. As an application, we give a topological interpretation using the technique introduced in Kechris, Pestov and Todorčević. In particular, we extend the lists of known extremely amenable groups and universal minimal flows.
LA - eng
KW - Ramsey property; fraïssé class; linear ordering
UR - http://eudml.org/doc/282672
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.