E. Casanovas

activity

20102019

most citedGeneric stability and stability

3 citations · 3 across the 2 of their papers we have counts for

collaborators

Showing math.LOShow all

4 papers · 1 filter

math.LO2019

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

Enrique Casanovas, Martin Ziegler

We give an exposition of the compactness of $L (Q^{cf})$ , for any set $C$ of regular cardinals.

math.LO2019

More on tree properties

Enrique Casanovas, Byunghan Kim

Tree properties are introduced by Shelah, and it is well-known that a theory has TP (the tree property) if and only if it has TP $_{1}$ or TP $_{2}$ . In any simple theory (i.e., a theory…

math.LO2012★ 3 cited

Generic stability and stability

Hans Adler, Enrique Casanovas, Anand Pillay

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. Ma…

math.LO2010

On many-sorted $ω$ -categorical theories

Enrique Casanovas, Rodrigo Peláez, Martin Ziegler

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…

An exposition of the compactness of L(Qcf)

More on tree properties

Generic stability and stability

On many-sorted ω-categorical theories

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

On many-sorted $ω$ -categorical theories