On lifting of embeddings between transitive models of set theory
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11210%2F25%3A10510624" target="_blank" >RIV/00216208:11210/25:10510624 - isvavai.cz</a>
Výsledek na webu
<a href="https://verso.is.cuni.cz/pub/verso.fpl?fname=obd_publikace_handle&handle=Z1chUVyTU7" target="_blank" >https://verso.is.cuni.cz/pub/verso.fpl?fname=obd_publikace_handle&handle=Z1chUVyTU7</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.14712/24647055.2025.2" target="_blank" >10.14712/24647055.2025.2</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
On lifting of embeddings between transitive models of set theory
Popis výsledku v původním jazyce
Suppose M and N are transitive models of set theory, P is a forcing notion in M and G is P-generic over M. An elementary embedding j : (M, ELEMENT OF) RIGHTWARDS ARROW (N, ELEMENT OF) lifts to M[G] if there is j+ : (M[G], G, ELEMENT OF) RIGHTWARDS ARROW (N[j+(G)], j+(G), ELEMENT OF) such that j+ restricted to M is equal to j. We survey some basic applications of the lifting method for both large cardinals and small cardinals (such as ω2, or successor cardinals in general). We focus on results and techniques which appeared after Cummings's handbook article [Cum10]: we for instance discuss a generalization of the surgery argument, liftings based on fusion, and compactness principles such as the tree property and stationary reflection at successor cardinals.
Název v anglickém jazyce
On lifting of embeddings between transitive models of set theory
Popis výsledku anglicky
Suppose M and N are transitive models of set theory, P is a forcing notion in M and G is P-generic over M. An elementary embedding j : (M, ELEMENT OF) RIGHTWARDS ARROW (N, ELEMENT OF) lifts to M[G] if there is j+ : (M[G], G, ELEMENT OF) RIGHTWARDS ARROW (N[j+(G)], j+(G), ELEMENT OF) such that j+ restricted to M is equal to j. We survey some basic applications of the lifting method for both large cardinals and small cardinals (such as ω2, or successor cardinals in general). We focus on results and techniques which appeared after Cummings's handbook article [Cum10]: we for instance discuss a generalization of the surgery argument, liftings based on fusion, and compactness principles such as the tree property and stationary reflection at successor cardinals.
Klasifikace
Druh
J<sub>ost</sub> - Ostatní články v recenzovaných periodicích
CEP obor
—
OECD FORD obor
60301 - Philosophy, History and Philosophy of science and technology
Návaznosti výsledku
Projekt
<a href="/cs/project/GA24-12141S" target="_blank" >GA24-12141S: Role teorie množin v moderní matematice</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2025
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ů
Údaje specifické pro druh výsledku
Název periodika
Acta Universitatis Carolinae. Philosophica et Historica
ISSN
0567-8293
e-ISSN
2464-7055
Svazek periodika
2022
Číslo periodika v rámci svazku
1
Stát vydavatele periodika
CZ - Česká republika
Počet stran výsledku
19
Strana od-do
27-45
Kód UT WoS článku
—
EID výsledku v databázi Scopus
—