On generically stable types in dependent theories
Alexander Usvyatsov
TL;DR
This paper develops the theory of generically stable types and related independence concepts within dependent (NIP) theories, advancing understanding of stability and independence in model theory.
Contribution
It introduces a comprehensive framework for generically stable types and their properties in the context of dependent theories, expanding prior stability theory.
Findings
Established properties of generically stable types in NIP theories
Defined a new independence relation based on nonforking
Analyzed stable weight in the context of dependent theories
Abstract
We develop the theory of generically stable types, independence relation based on nonforking and stable weight in the context of dependent (NIP) theories.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Topology and Set Theory · Computability, Logic, AI Algorithms · Logic, Reasoning, and Knowledge