J 2019

Forking independence from the categorical point of view

LIEBERMAN, Michael; Jiří ROSICKÝ a Sébastien Bernard VASEY

Zá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

EID Scopus

Klíčová slova anglicky

forking; accessible category; stability; effective unions

Štítky

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
Název: Ústav Eduarda Čecha pro algebru, geometrii a matematickou fyziku
Investor: Grantová agentura ČR, Ústav Eduarda Čecha pro algebru, geometrii a matematickou fyziku