An exposition of the compactness of $L(Q^\mathrm{cf})$
We give an exposition of the compactness of $L(Q^\mathrm{cf})$, for any set $C$ of regular cardinals.
Source author record
Enrique Casanovas
Enrique Casanovas appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
ResearcherUnclaimed source record
Catalog footprint
What is connected
5works
1topics
4close collaborators
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
5 published item(s)
preprint2015arXiv
Stable forking and imaginaries
We prove that a theory $T$ has stable forking if and only if $T^\mathrm{eq}$ has stable forking.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Normal hyperimaginaries
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.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
Generic stability and stability
We prove two results about generically stable types $p$ in arbitrary theories. The first, on existence of strong germs, generalizes results from D. Haskell, E. Hrushovski and D. Macpherson on stably dominated types. The second is an equivalence of forking and dividing, assuming generic stability of $p^{(m)}$ for all $m$. We use the latter result to answer in full generality a question posed by Hasson and Onshuus: If $p(x)\in S(B)$ is stable and does not fork over $A$ then $p\restriction A$ is stable. (They had solved some special cases.)
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
On many-sorted $ω$-categorical theories
We prove that every many-sorted $ω$-categorical theory is completely interpretable in a one-sorted $ω$-categorical theory. As an application, we give a short proof of the existence of non $G$--compact $ω$-categorical theories.
0 citations0 reviewsNo code linkedOpen access