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

zbMATH Keywords

stabilityforkingaccessible category\(\mu\)-abstract elementary classeffective unions

Mathematics Subject Classification ID

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)

Induced and higher-dimensional stable independence ⋮ Enriched purity and presentability in Banach spaces ⋮ CELLULAR CATEGORIES AND STABLE INDEPENDENCE ⋮ Independence relations for exponential fields ⋮ Sizes and filtrations in accessible categories ⋮ A model theoretic solution to a problem of László Fuchs ⋮ Superstability, Noetherian rings and pure-semisimple rings ⋮ Simple-like independence relations in abstract elementary classes ⋮ On superstability in the class of flat modules and perfect rings ⋮ THE KIM–PILLAY THEOREM FOR ABSTRACT ELEMENTARY CATEGORIES ⋮ SOME STABLE NON-ELEMENTARY CLASSES OF MODULES

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