F-sigma equivalence relations and Laver forcing

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F14%3A00433873" target="_blank" >RIV/67985840:_____/14:00433873 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1017/jsl.2013.32" target="_blank" >http://dx.doi.org/10.1017/jsl.2013.32</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1017/jsl.2013.32" target="_blank" >10.1017/jsl.2013.32</a>

Jazyk výsledku

angličtina

Název v původním jazyce

F-sigma equivalence relations and Laver forcing

Popis výsledku v původním jazyce

Following the topic of the book Canonical Ramsey Theory on Polish Spaces by V. Kanovei, M. Sabok, and J. Zapletal we study Borel equivalences on Laver trees. We prove that equivalence relations Borel reducible to an equivalence relation on 2(omega) givenby some F-sigma P-ideal on omega can be canonized to the full equivalence relation or to the identity relation. This has several consequences, e.g., Silver type dichotomy for the Laver ideal and equivalences Borel reducible to equivalence relations given by F-sigma P-ideals.

Název v anglickém jazyce

F-sigma equivalence relations and Laver forcing

Popis výsledku anglicky

Following the topic of the book Canonical Ramsey Theory on Polish Spaces by V. Kanovei, M. Sabok, and J. Zapletal we study Borel equivalences on Laver trees. We prove that equivalence relations Borel reducible to an equivalence relation on 2(omega) givenby some F-sigma P-ideal on omega can be canonized to the full equivalence relation or to the identity relation. This has several consequences, e.g., Silver type dichotomy for the Laver ideal and equivalences Borel reducible to equivalence relations given by F-sigma P-ideals.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

<a href="/cs/project/IAA100190902" target="_blank" >IAA100190902: Matematická logika, složitost a algoritmy</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2014

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Journal of Symbolic Logic

ISSN

0022-4812

e-ISSN

—

Svazek periodika

79

Číslo periodika v rámci svazku

2

Stát vydavatele periodika

US - Spojené státy americké

Počet stran výsledku

10

Strana od-do

644-653

Kód UT WoS článku

000339939900013

EID výsledku v databázi Scopus

—