Enrique Casanovas

According to our database, Enrique Casanovas authored at least 23 papers between 1995 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of two.

2020

Model theory of Steiner triple systems.

Silvia Barbina, Enrique Casanovas

J. Math. Log., 2020

AN EXPOSITION OF THE COMPACTNESS OF $L({Q^{\mathrm{cf}}})$.

Enrique Casanovas, Martin Ziegler

Bull. Symb. Log., 2020

2019

Universal Theories and compactly Expandable Models.

Enrique Casanovas, Saharon Shelah

J. Symb. Log., 2019

2018

Stable Forking and Imaginaries.

Enrique Casanovas, Joris Potier

Notre Dame J. Formal Log., 2018

2017

Orbits of subsets of the monster model and geometric theories.

Enrique Casanovas, Luis Jaime Corredor

Ann. Pure Appl. Log., 2017

2014

Generic stability and stability.

Hans Adler, Enrique Casanovas, Anand Pillay

J. Symb. Log., 2014

Normal hyperimaginaries.

Enrique Casanovas, Joris Potier

Arch. Math. Log., 2014

2013

Preface.

Klaus Ambos-Spies, Joan Bagaria, Enrique Casanovas, Ulrich Kohlenbach

Ann. Pure Appl. Log., 2013

2009

Multi-colony ACO and Rough Set Theory to Distributed Feature Selection Problem.

Yudel Gómez, Rafael Bello, Ann Nowé, Enrique Casanovas, Jonatan Taminau

Proceedings of the Distributed Computing, 2009

2007

Logical Operations and Invariance.

Enrique Casanovas

J. Philos. Log., 2007

2005

|<i>T</i>|⁺-resplendent models and the Lascar group.

Enrique Casanovas, Rodrigo Peláez

Math. Log. Q., 2005

2004

Weak forms of elimination of imaginaries.

Enrique Casanovas, Rafel Farré

Math. Log. Q., 2004

2003

Some remarks on indiscernible sequences.

Enrique Casanovas

Math. Log. Q., 2003

Dividing and chain conditions.

Enrique Casanovas

Arch. Math. Log., 2003

2002

Local Supersimplicity and Related Concepts.

Enrique Casanovas, Frank O. Wagner

J. Symb. Log., 2002

2001

Stable Theories with A New Predicate.

Enrique Casanovas, Martin Ziegler

J. Symb. Log., 2001

Galois Groups of First order Theories.

Enrique Casanovas, Daniel Lascar, Anand Pillay, Martin Ziegler

J. Math. Log., 2001

1999

The Number of Types in Simple Theories.

Enrique Casanovas

Ann. Pure Appl. Log., 1999

1998

A Supersimple Nonlow Theory.

Enrique Casanovas, Byunghan Kim

Notre Dame J. Formal Log., 1998

A test for expandability.

Enrique Casanovas

Arch. Math. Log., 1998

1996

On Elementary Equivalence for Equality-free Logic.

Enrique Casanovas, Pilar Dellunde, Ramon Jansana

Notre Dame J. Formal Log., 1996

Omitting Types in Incomplete Theories.

Enrique Casanovas, Rafel Farré

J. Symb. Log., 1996

1995

Compactly Expandable Models and Stability.

Enrique Casanovas

J. Symb. Log., 1995