Set-Theoretic Blockchains

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11210%2F19%3A10383651" target="_blank" >RIV/00216208:11210/19:10383651 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/00216208:11320/19:10383651 RIV/68407700:21240/19:00348720

Výsledek na webu

<a href="https://verso.is.cuni.cz/pub/verso.fpl?fname=obd_publikace_handle&handle=Wre~qUSlqW" target="_blank" >https://verso.is.cuni.cz/pub/verso.fpl?fname=obd_publikace_handle&handle=Wre~qUSlqW</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/s00153-019-00672-z" target="_blank" >10.1007/s00153-019-00672-z</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Set-Theoretic Blockchains

Popis výsledku v původním jazyce

Given a countable model of set theory, we study the structure of its generic multiverse, the collection of its forcing extensions and ground models, ordered by inclusion. Mostowski showed that any finite poset embeds into the generic multiverse while preserving the nonexistence of upper bounds. We obtain several improvements of his result, using what we call the blockchain construction to build generic objects with varying degrees of mutual genericity. The method accommodates certain infinite posets, and we can realize these embeddings via a wide variety of forcing notions, while providing control over lower bounds as well. We also give a generalization to class forcing in the context of second-order set theory, and exhibit some further structure in the generic multiverse, such as the existence of exact pairs.

Název v anglickém jazyce

Set-Theoretic Blockchains

Popis výsledku anglicky

Given a countable model of set theory, we study the structure of its generic multiverse, the collection of its forcing extensions and ground models, ordered by inclusion. Mostowski showed that any finite poset embeds into the generic multiverse while preserving the nonexistence of upper bounds. We obtain several improvements of his result, using what we call the blockchain construction to build generic objects with varying degrees of mutual genericity. The method accommodates certain infinite posets, and we can realize these embeddings via a wide variety of forcing notions, while providing control over lower bounds as well. We also give a generalization to class forcing in the context of second-order set theory, and exhibit some further structure in the generic multiverse, such as the existence of exact pairs.

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/GF17-33849L" target="_blank" >GF17-33849L: Filtry, ultrafiltry a souvislosti s forcingem</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2019

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

Archive for Mathematical Logic

ISSN

0933-5846

e-ISSN

—

Svazek periodika

2019

Číslo periodika v rámci svazku

58/7-8

Stát vydavatele periodika

DE - Spolková republika Německo

Počet stran výsledku

33

Strana od-do

965-997

Kód UT WoS článku

000485978400011

EID výsledku v databázi Scopus

2-s2.0-85064180606