2019
Forking independence from the categorical point of view
LIEBERMAN, Michael; Jiří ROSICKÝ a Sébastien Bernard VASEYZákladní údaje
Originální název
Forking independence from the categorical point of view
Autoři
LIEBERMAN, Michael; Jiří ROSICKÝ a Sébastien Bernard VASEY
Vydání
Advances in Mathrmatics, San Diego, ACADEMIC PRESS INC ELSEVIER SCIENCE, 2019, 0001-8708
Další údaje
Jazyk
angličtina
Typ výsledku
Článek v odborném periodiku
Obor
10101 Pure mathematics
Stát vydavatele
Spojené státy
Utajení
není předmětem státního či obchodního tajemství
Odkazy
Impakt faktor
Impact factor: 1.494
Označené pro přenos do RIV
Ano
Kód RIV
RIV/00216224:14310/19:00107285
Organizační jednotka
Přírodovědecká fakulta
UT WoS
EID Scopus
Klíčová slova anglicky
forking; accessible category; stability; effective unions
Příznaky
Mezinárodní význam, Recenzováno
Změněno: 16. 3. 2020 15:50, Mgr. Marie Novosadová Šípková, DiS.
Anotace
V originále
Forking is a central notion of model theory, generalizing linear independence in vector spaces and algebraic independence in fields. We develop the theory of forking in abstract, category-theoretic terms. In particular, we present an axiomatic definition of what we call a stable independence notion on a category and show that this is in fact a purely category-theoretic axiomatization of the properties of model-theoretic forking in a stable first-order theory.
Návaznosti
| GBP201/12/G028, projekt VaV |
|