Source author record

Enrique Casanovas

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO

Catalog footprint

Research overview

5works

1topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

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.

preprint2015arXiv

Stable forking and imaginaries

We prove that a theory $T$ has stable forking if and only if $T^\mathrm{eq}$ has stable forking.

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.

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.)

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.

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.

Enrique Casanovas

Research overview

Is this your work?

5 publications

An exposition of the compactness of $L(Q^\mathrm{cf})$

Stable forking and imaginaries

Normal hyperimaginaries

Generic stability and stability

On many-sorted $ω$ -categorical theories

See the researcher in context

Building this map preview

Enrique Casanovas

Research overview

Is this your work?

5 publications

An exposition of the compactness of L(Qcf)L(Q^\mathrm{cf})L(Qcf)

Stable forking and imaginaries

Normal hyperimaginaries

Generic stability and stability

On many-sorted ωωω-categorical theories

See the researcher in context

Building this map preview

An exposition of the compactness of $L(Q^\mathrm{cf})$

On many-sorted $ω$ -categorical theories