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.
Researcher profile
Enrique Casanovas
Enrique Casanovas contributes to research discovery and scholarly infrastructure.
ResearcherAffiliation not importedOpen to collaborate
Trust snapshot
Quick read
Trust 17 - UnverifiedVerification L1Unclaimed author
4works
0followers
1topics
4close collaborators
Actions
Decide how to stay connected
Identity and collaboration
How to connect with this researcher
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Open a focused conversation when the fit is right
Claim this author entity first to unlock direct invitations.
Research graph
See the researcher in context
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
Building this graph slice
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
4 published item(s)
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