Stability and stable groups in continuous logic
Ita\"i Ben Yaacov (ICJ)

TL;DR
This paper explores the concepts of stability and stable groups within continuous first-order logic, focusing on type-definable groups and the notion of genericity to advance understanding in this logical framework.
Contribution
It introduces new insights into local and global stability, specifically analyzing type-definable groups and genericity in continuous logic.
Findings
Enhanced understanding of stability in continuous logic
Characterization of type-definable groups
Insights into genericity in the context of continuous logic
Abstract
We develop several aspects of local and global stability in continuous first order logic. In particular, we study type-definable groups and genericity.
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 Algebra and Logic · Logic, Reasoning, and Knowledge · semigroups and automata theory
