Cohen-like first order structures

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F23%3A00560281" target="_blank" >RIV/67985840:_____/23:00560281 - isvavai.cz</a>

Výsledek na webu

<a href="https://doi.org/10.1016/j.apal.2022.103172" target="_blank" >https://doi.org/10.1016/j.apal.2022.103172</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1016/j.apal.2022.103172" target="_blank" >10.1016/j.apal.2022.103172</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Cohen-like first order structures

Popis výsledku v původním jazyce

We study uncountable structures similar to the Fraïssé limits. The standard inductive arguments from the Fraïssé theory are replaced by forcing, so the structures we obtain are highly sensitive to the universe of set theory. In particular, the generic structures we investigate exist only in generic extensions of the universe. We prove that in most of the interesting cases the uncountable generic structures are rigid. Moreover, we provide a (consistent) example of an uncountable, dense set of reals with the group of integers as its automorphism group.

Název v anglickém jazyce

Cohen-like first order structures

Popis výsledku anglicky

We study uncountable structures similar to the Fraïssé limits. The standard inductive arguments from the Fraïssé theory are replaced by forcing, so the structures we obtain are highly sensitive to the universe of set theory. In particular, the generic structures we investigate exist only in generic extensions of the universe. We prove that in most of the interesting cases the uncountable generic structures are rigid. Moreover, we provide a (consistent) example of an uncountable, dense set of reals with the group of integers as its automorphism group.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

10101 - Pure mathematics

Projekt

<a href="/cs/project/GX20-31529X" target="_blank" >GX20-31529X: Abstraktní konvergenční schémata a jejich složitost</a><br>

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2023

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

Annals of Pure and Applied Logic

ISSN

0168-0072

e-ISSN

1873-2461

Svazek periodika

174

Číslo periodika v rámci svazku

1

Stát vydavatele periodika

NL - Nizozemsko

Počet stran výsledku

17

Strana od-do

103172

Kód UT WoS článku

000844079500007

EID výsledku v databázi Scopus

2-s2.0-85135701963