Research papers:

• Extensions of Models of  Set Theory: Height and Large Cardinals, (Ph. D. thesis - University of Wisconsin-Madison, adviser: Kenneth Kunen, 1996),
• Heights of Models of ZFC and the Existence of End Elementary Extensions, in the volume `Models, Algebras and Proofs', eds. X. Caicedo & C. Montenegro, Lecture Notes in Pure and Applied Mathematics, vol. 203, Marcel Dekker, New York, 1999.
• Heights of Models of ZFC and the Existence of End Elementary Extensions II, The Journal of Symbolic Logic, volume 64, number 3, September 1999, pages 1111-1124,
• Chains of End Elementary Extensions of Models of Set Theory, The Journal of Symbolic Logic, volume 63, number 3, September 1998, pages 1116-1136,
• Toward categoricity for classes with no maximal models, with Saharon Shelah, Annals of Pure and Applied Logic, volume 97, 1999, pp. 1-25.[abstract],
• On ec structures in abstract elementary classes, with Javier Moreno. In preparation.
• The Failure of GCH at Unfoldable Cardinals, with Amir Leshem, accepted by JSL, under revisions.
• Shooting a club through an unfoldable cardinal, with Franqui Cárdenas. In preparation.
• Categoricity may fail late, with Saharon Shelah. Submitted in 2002.
• Uniqueness of Limit Models in Classes with Amalgamation, with Rami Grossberg and Monica VanDieren. Submitted.
• Hrushovski fusions and Tame Abstract Elementary Classes, with Pedro Zambrano. In preparation.
• Hilbert Spaces with Generic Predicates, with Alexander Berenstein. Submitted in 2007.
• Abelian Groups as Abstract Elementary Classes, ongoing work with John Baldwin, Wesley Calvert, John Goodrick and Agatha Walczak-Typke.
• Laver Diamonds on Strongly Unfoldable Cardinals, with Franqui Cárdenas. In preparation.
• Stability Spectrum and Predicates in Continuous Model Theory, with Alexander Berenstein. In preparation.

• De Los al presente: un teorema aún central en teoría de la clasificación. Boletín de Matemáticas, Nueva Serie, volumen IV, número 1, Junio de 1997 (written in 1998, appeared in early 1999). This is a survey on the extension of Classification Theory to Abstract Elementary Classes.
• Aleph_ω de aleph a omega. Boletín de Matemáticas, Nueva Serie, volumen IV, número 1, Junio de 1997 (written in 1998, appeared in early 1999).
• La tensión entre Teoría de Modelos y Análisis Matemático: Estabilidad y la exponencial compleja. Submitted in 2004. Last Update: Jan 20 2005
• Set theoretical issues in Abstract Elementary Classes. In preparation.

• Categoricity theorems may fail for abstract elementary classes, contributed talk at the European Logic Colloquium, Paris, 2000.
• Lógica en Álgebra y Análisis: caminos para sacarle jugo a las limitaciones expresivas, invited colloquium talk at Universidad de los Andes, October 2000 (in Spanish).
• Categoricity theorems may fail for abstract elementary classes, invited talk at the MAMLS Meeting, Rutgers, February 2001.
• The weak expressive power of First Order Logic in Mathematics, and the strength of this limitation, invited talk at the joint mathematics and philosophy symposium, Carnegie-Mellon University, Pittsburgh, October 2001.
• On abstract elementary classes, invited talk at the logic seminar, University of Illinois at Chicago, November 2001.
• Classifying mathematical structures; some trends in model theory, colloquium talk at Carnegie-Mellon University, Pittsburgh, April 2002.
• On excellent classes, MAMLS Meeting at Carnegie-Mellon University, Pittsburgh, November 2002.

• Categoricidad, de Morley a nuestros días. In Spanish, a graduate course on aspects of categoricity from Morley's proof to [Sh 394].
• Lógica III (filosofía)- (In Spanish) Historia de la Lógica Matemática entre 1870 y 1930 (Cantor - Peirce - Hilbert - Russell - Skolem - Gödel). Teorías del Infinito. ZF. Historia de los inicios de la teoría de modelos. Teoremas de Gödel, Löwenheim-Skolem, paradojas de Cantor, Russell y Skolem.
• Teoría Avanzada de Conjuntos. In spanish, notes of the Set Theory class, from scratch to (non iterated) forcing.