Forking independence from the categorical point of view

Logo poskytovatele

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Přírodovědeckou fakultu. Oficiální stránka publikace je na webu muni.cz.
Autoři

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

Rok publikování 2019
Druh Článek v odborném periodiku
Časopis / Zdroj Advances in Mathrmatics
Fakulta / Pracoviště MU

Přírodovědecká fakulta

Citace
www Full Text
Doi http://dx.doi.org/10.1016/j.aim.2019.02.018
Klíčová slova forking; accessible category; stability; effective unions
Popis 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.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.