Enrique Casanovas

23 papers Journal 22Unranked 1
YearRankTypeTitle / Venue / Authors
2020 J jnl
AN EXPOSITION OF THE COMPACTNESS OF $L({Q^{\mathrm{cf}}})$.
Bull. Symb. Log.
Enrique Casanovas, Martin Ziegler
2020 J jnl
Model theory of Steiner triple systems.
J. Math. Log.
Silvia Barbina, Enrique Casanovas
2019 J jnl
Universal Theories and compactly Expandable Models.
J. Symb. Log.
Enrique Casanovas, Saharon Shelah
2018 J jnl
Stable Forking and Imaginaries.
Notre Dame J. Formal Log.
Enrique Casanovas, Joris Potier
2017 J jnl
Orbits of subsets of the monster model and geometric theories.
Ann. Pure Appl. Log.
Enrique Casanovas, Luis Jaime Corredor
2014 J jnl
Generic stability and stability.
J. Symb. Log.
Hans Adler, Enrique Casanovas, Anand Pillay
2014 J jnl
Normal hyperimaginaries.
Arch. Math. Log.
Enrique Casanovas, Joris Potier
2013 J jnl
Preface.
Ann. Pure Appl. Log.
Klaus Ambos-Spies, Joan Bagaria, Enrique Casanovas, Ulrich Kohlenbach
2009 — conf
Multi-colony ACO and Rough Set Theory to Distributed Feature Selection Problem.
IWANN (2)
Yudel Gómez, Rafael Bello, Ann Nowé, Enrique Casanovas, Jonatan Taminau
2007 J jnl
Logical Operations and Invariance.
J. Philos. Log.
Enrique Casanovas
2005 J jnl
|
Math. Log. Q.
Enrique Casanovas, Rodrigo Peláez
2004 J jnl
Weak forms of elimination of imaginaries.
Math. Log. Q.
Enrique Casanovas, Rafel Farré
2003 J jnl
Dividing and chain conditions.
Arch. Math. Log.
Enrique Casanovas
2003 J jnl
Some remarks on indiscernible sequences.
Math. Log. Q.
Enrique Casanovas
2002 J jnl
Local Supersimplicity and Related Concepts.
J. Symb. Log.
Enrique Casanovas, Frank O. Wagner
2001 J jnl
Galois Groups of First order Theories.
J. Math. Log.
Enrique Casanovas, Daniel Lascar, Anand Pillay, Martin Ziegler
2001 J jnl
Stable Theories with A New Predicate.
J. Symb. Log.
Enrique Casanovas, Martin Ziegler
1999 J jnl
The Number of Types in Simple Theories.
Ann. Pure Appl. Log.
Enrique Casanovas
1998 J jnl
A Supersimple Nonlow Theory.
Notre Dame J. Formal Log.
Enrique Casanovas, Byunghan Kim
1998 J jnl
A test for expandability.
Arch. Math. Log.
Enrique Casanovas
1996 J jnl
Omitting Types in Incomplete Theories.
J. Symb. Log.
Enrique Casanovas, Rafel Farré
1996 J jnl
On Elementary Equivalence for Equality-free Logic.
Notre Dame J. Formal Log.
Enrique Casanovas, Pilar Dellunde, Ramon Jansana
1995 J jnl
Compactly Expandable Models and Stability.
J. Symb. Log.
Enrique Casanovas