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.
Discover
Workspaces
Network
Opportunities
Account
Researcher profile
Enrique Casanovas contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We give an exposition of the compactness of $L(Q^\mathrm{cf})$, for any set $C$ of regular cardinals.
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.)
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.