Forking independence from the categorical point of view
DOI10.1016/j.aim.2019.02.018zbMath1456.03059arXiv1801.09001OpenAlexW2786173398WikidataQ128347581 ScholiaQ128347581MaRDI QIDQ1731575
Sebastien Vasey, Jiří Rosický, Michael J. Lieberman
Publication date: 13 March 2019
Published in: Advances in Mathematics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1801.09001
Large cardinals (03E55) Classification theory, stability, and related concepts in model theory (03C45) Accessible and locally presentable categories (18C35) Properties of classes of models (03C52) Other infinitary logic (03C75) Set-theoretic model theory (03C55) Abstract elementary classes and related topics (03C48)
Related Items (11)
Cites Work
- \(\mu\)-abstract elementary classes and other generalizations
- Canonical forking in AECs
- Infinitary stability theory
- Building independence relations in abstract elementary classes
- Shelah's eventual categoricity conjecture in universal classes. II
- Forking in short and tame abstract elementary classes
- Abstract elementary classes and accessible categories
- Classification theory for non-elementary classes. I: The number of uncountable models of \(\psi \in L_{\omega _ 1,\omega}\)
- Categoricity of theories in \(L_{\kappa \omega}\), with \(\kappa\) a compact cardinal
- A survey of basic stability theory, with particular emphasis on orthogonality and regular types
- Fundamentals of forking
- Classification theory and the number of non-isomorphic models.
- First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
- Categoricity for abstract classes with amalgamation
- Espaces de Banach stables
- On pure morphisms in accessible categories
- Non-forking frames in abstract elementary classes
- Internal sizes in \(\mu\)-abstract elementary classes
- Shelah's eventual categoricity conjecture in universal classes. I.
- Exact categories and categories of sheaves
- Categories of continuous functors. I
- The intersection property of amalgamations
- Classification of first order theories which have a structure theorem
- Accessible Categories: The Foundations of Categorical Model Theory
- Accessible categories, saturation and categoricity
- Universal abstract elementary classes and locally multipresentable categories
- Sheafifiable homotopy model categories
- TAMENESS FROM LARGE CARDINAL AXIOMS
- A survey on tame abstract elementary classes
- On the uniqueness of cellular injectives
- TAMENESS AND FRAMES REVISITED
- Monomorphisms, Epimorphisms, and Pull-Backs
- Finite diagrams stable in power
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Forking independence from the categorical point of view