Stable forking and imaginaries
We prove that a theory $T$ has stable forking if and only if $T^\mathrm{eq}$ has stable forking.
Discover
Research tools
Network
Opportunities
Account
Source author record
Joris Potier appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We prove that a theory $T$ has stable forking if and only if $T^\mathrm{eq}$ has stable forking.
We introduce the notion of normal hyperimaginary and we develop its basic theory. We present a new proof of Lascar-Pillay's theorem on bounded hyperimaginaries based on properties of normal hyperimaginaries. However, the use of Peter-Weyl's theorem on the structure of compact Hausdorff groups is not completely eliminated from the proof. In the second part, we show that all closed sets in Kim-Pillay spaces are equivalent to hyperimaginaries and we use this to introduce an approximation of $φ$-types for bounded hyperimaginaries.