Teoría de Modelos

Datos básicos
Año y mes de formación 2001 - 1
Departamento - Ciudad BOGOTÁ, D. C. - BOGOTÁ, D.C.
Líder Alf Onshuus Niño
¿La información de este grupo se ha certificado? Si el día 2019-09-05
Página web matematicas.uniandes.edu.co
E-mail aonshuus@uniandes.edu.co
Clasificación
Área de conocimiento Ciencias Naturales -- Matemática
Programa nacional de ciencia y tecnología Ciencias Básicas
Programa nacional de ciencia y tecnología (secundario) No Aplica

Instituciones
1.- UNIVERSIDAD DE LOS ANDES - (Avalado)
2.- UNIVERSIDAD NACIONAL DE COLOMBIA - (No Avalado)

Plan Estratégico
Plan de trabajo: Debido fundamentalmente a las aportaciones de B. Zil¿ver y E. Hrushovski la estabilidad se ha convertido en un instrumento tremendamente poderoso para clarificar la estructura fina de las relaciones definibles en una estructura matemática. Hay varias lineas de estudio relacionadas con estabilidad geometrica en las cuales nuestro grupo realiza investigaciones.. En los noventas, A. Pillay y B. Kim, prosiguiendo ideas antiguas de S. Shelah, han podido ampliar el campo de aplicación de la teoría de la estabilidad al de las llamadas teorías simples. Actualmente una parte importante de la actividad de la Teoría de Modelos se centra en extender al terreno de las teorías simples los métodos que tanto éxito han obtenido en estabilidad. Queremos contribuir a esa tarea, con especial interés en uno de los problemas abiertos más acuciantes, el problema Lstp=stp, que consiste en resolver si es posible amalgamar libremente tipos elementales sobre conjuntos algebraicamente cerrados en el universo imaginario. Es un punto crucial para poder generalizar muchas construcciones de la estabilidad. Recientes investigaciones, iniciadas por los trabajos de D. Lascar, han mostrado que ciertos grupos de automorfismos son de modo natural grupos topológicos y que las propiedades de esos grupos topológicos se correlacionan de modo muy fructífero con propiedades lógicas de las correspondientes teorías. En el caso de teorías estables se trata de grupos profinitos que generalizan el grupo absoluto de Galois. En situaciones más generales pueden no ser grupos totalmente disconexos e incluso no ser Hausdorff. En general pueden describirse como estabilizadores de ciertos objetos abstractos llamados hiperimaginarios. Una cuestión muy importante es la de si existen teorías simples donde los hiperimaginarios no sean eliminables. Queremos estudiar este problema y, más generalmente, la estructura de estos grupos topológicos y su incidencia en las propiedades lógicas de las teorías de primer orden
Estado del arte: Ver plan de trabajo
Objetivos: Extender al terreno de las teorías simples los métodos que tanto éxito han obtenido en estabilidad. Queremos contribuir a esa tarea, con especial interés en uno de los problemas abiertos más acuciantes, el problema Lstp=stp, que consiste en resolver si es posible amalgamar libremente tipos elementales sobre conjuntos algebraicamente cerrados en el universo imaginario. Es un punto crucial para poder generalizar muchas construcciones de la estabilidad. Una cuestión muy importante es la de si existen teorías simples donde los hiperimaginarios no sean eliminables. Queremos estudiar este problema y, más generalmente, la estructura de estos grupos topológicos y su incidencia en las propiedades lógicas de las teorías de primer orden. Los recientes descubrimientos en estabilidad y en teorías simples han potenciado las aplicaciones a la teoría de cuerpos. Nuestros esfuerzos se centrarán en el análisis de los cuerpos separablemente cerrados y de los cuerpos valorados. En la línea de clasificaión en clases no elementales, pretendemos contribuir al hallazgo de líneas divisorias entre los casos ``clasificables'' y los casos ``inclasificables''. Los objetivos específicos incluyen varios casos concretos de clases no elementales: `clases elementales abstractas', `clases excelentes', 'clases homogéneas' y construcciones de Hrushovski-Zilber. Pretendemos estudiar, en el primer caso, categoricidad, entender mejor las clases de Zilber usando los métodos de clases elementales abstractas. Un objetivo adicional es que el seminario-taller de verano, que venimos realizando los últimos 2 años durante los meses de julio y agosto, logre establecerse como uno de los encuentros anuales importantes de teoria de modelos. Por el lado de teorías dependientes, estamos estudiando la noción de dp-minimalidad, las propiedades de las estructuras que además de dependientes son ``rosy'' y las estructuras interpretables en teorías o-minimales como lo es el campo real.
Retos: Reforzar la interacción entre las distintas ramas de teoría de modelos representadas en Bogotá. Afianzar la posición (ya fuerte) de teoría de modelos en Bogotá, a través de una intensificación del trabajo conjunto y la realización periódica del seminario-taller en teoría de modelos que venimos realizando desde hace dos años en los meses de julio y agosto y de los seminarios de logica y de teoría de modelos que son organizados conjuntamente entre las universidades Nacional y de los Andes por miembros del grupo.
Visión: La teoría de modelos ya es el centro de la Lógica en Bogotá. Sin embargo, dado que es un campo en crecimiento muy ágil a nivel mundial, sobre todo en su interacción con otras disciplinas de la matemática, el Grupo de Teoría de Modelos debe consolidar su trabajo de investigación, divulgación y organización de eventos. Aunque el trabajo ha sido sobre todo atomizado a nivel de investigación pura, ha habido una enorme interacción entre todos los integrantes a nivel de organización de cursos, tutoriales avanzados y conferencias internacionales (dos BOMMT organizados por Villaveces en la Universidad Nacional, en 2001 y 2003, y tres Encuentros de Teoría de Modelos organizados por Onshuus y Corredor en la Universidad de los Andes y en Villa de Leyva, en 2003, 2004 y 2005, atestiguan la historia reciente de interacción). Tambien hemos organizado, semestralmente, seminarios de logica y de teoría modelos de manera conjunta entre las universidades de Los Andes y Nacional. Ultimamente hemos tenido una mayor convergencia posible de temas entre los investigadores lo que ha permitido trabajos conjuntos entre varios miembros del grupo, con resultados que ya han sido sometidos a publicación.

Líneas de investigación declaradas por el grupo
1.- Clasificación en clases no elementales
2.- Estabilidad y Teorías Simples
3.- Grupos de Automorfismos
4.- Teorias o-minimales
5.- Teoría de modelos aplicada al álgebra


Integrantes del grupo
Nombre Vinculación Horas dedicación Inicio - Fin Vinculación
1.- Alf Onshuus Niño Integrante 10 2001/8 - Actual
2.- Alexander Jonathan Berenstein Opscholtens Integrante 0 2001/8 - Actual
3.- Alexander Usvyatsov Integrante 2 2006/7 - Actual
4.- Andrés Villaveces Niño Integrante 10 2001/8 - Actual
5.- Darío Alejandro García Rico Integrante 0 2015/1 - Actual
6.- Ealy Clifton Integrante 2 2004/7 - 2004/9
7.- Eliana Lucero Barriga Turriago Integrante 0 2017/1 - Actual
8.- Enrique Casanovas Ruiz Integrante 10 2001/8 - Actual
9.- Javier Arturo Moreno-Camargo Integrante 0 2001/9 - Actual
10.- John Richard Goodrick Integrante 5 2010/8 - Actual
11.- Jorge Enrique Cely García Integrante 10 2006/8 - 2008/8
12.- Jose Iovino Integrante 0 2006/1 - Actual
13.- Juan Felipe Carmona Integrante 4 2019/1 - Actual
14.- Luis Jaime Corredor Londoño Integrante 10 2001/8 - Actual
15.- Pedro Hernán Zambrano Ramírez Integrante 0 2003/8 - 2005/3
16.- Samaria Montenegro Guzman Integrante 0 2019/1 - Actual
17.- Thomas Scanlon Integrante 0 2010/1 - Actual
18.- Xavier Caicedo Integrante 0 2012/1 - Actual


PRODUCCIÓN DE FORMACIÓN Y EXTENSIÓN

Programa académico de doctorado
1.- Programa académico: Doctorado en Matemáticas
Fecha acto administrativo programa: 2012-05-07
Número acto administrativo programa: resolución 4670
Institución: Universidad De Los Andes

Programa académico de maestría
1.- Programa académico: Maestría en Matemáticas (UNAL)
Fecha acto administrativo programa:
Número acto administrativo programa:
Institución: Universidad Nacional de Colombia
2.- Programa académico: Maestría en Matemáticas
Fecha acto administrativo programa: 2013-07-31
Número acto administrativo programa: resolucion 9817
Institución: Universidad de Los Andes

Otro programa académico
1.- Programa académico: Matemáticas
Fecha acto administrativo programa: 2008-08-25
Número acto administrativo programa: resolución 5343
Institución: Universidad De Los Andes - Uniandes

Curso de doctorado
1.- Nombre del Curso: El Quinto Problema de Hilbert
Fecha acto administrativo curso: 2017-08-07
Número acto administrativo curso: MATE-4177
Programa académico: Doctorado en Matemáticas
2.- Nombre del Curso: Grupo amenable
Fecha acto administrativo curso: 2016-01-11
Número acto administrativo curso: MATE 4176
Programa académico: Doctorado en Matemáticas

Curso de maestría
1.- Nombre del Curso: Tópicos Avanzados de Lógica.
Fecha acto administrativo curso: 2006-08-14
Número acto administrativo curso: 2001046
Programa académico: Maestría en Matemáticas (UNAL)
2.- Nombre del Curso: teoria de modelos
Fecha acto administrativo curso: 2006-08-14
Número acto administrativo curso: 2001030
Programa académico: Maestría en Matemáticas (UNAL)

Curso especializado de extensión

Los ítems de producción con la marca corresponden a productos avalados y validados para la última Convocatoria Nacional para el Reconocimiento y Medición de Grupos de Investigación, Desarrollo Tecnológico o de Innovación y para el Reconocimiento de Investigadores del SNCTeI
PRODUCCIÓN BIBLIOGRÁFICA

Artículos publicados
1.- Publicado en revista especializada: Stabilizers, NTP2 Groups with F-Generics, and Prc Fields
Francia, Journal of the Institute of Mathematics of Jussieu ISSN: 1474-7480, 2020 vol:19 fasc: 3 págs: 821 - 853, DOI:10.1017/S147474801800021X
Autores: ALF ONSHUUS NINO, SAMARIA MONTENEGRO GUZMAN, SIMON PIERRE SIGUE,
2.- Publicado en revista especializada: A characterization of strongly dependent ordered Abelian groups
, Revista Colombiana De Matemáticas ISSN: 0034-7426, 2018 vol:52 fasc: 2 págs: 139 - 159, DOI:
Autores: ALFRED DOLICH, JOHN RICHARD GOODRICK,
3.- Publicado en revista especializada: Bounding quantification in parametric expansions of Presburger arithmetic
, Archive for Mathematical Logic ISSN: 0933-5846, 2018 vol:57 fasc: págs: 577 - 591, DOI:
Autores: JOHN RICHARD GOODRICK,
4.- Publicado en revista especializada: Some remarks on inp-minimal and finite burden groups
, Archive for Mathematical Logic ISSN: 0933-5846, 2018 vol:59 fasc: págs: 1 - 8, DOI:10.1007/s00153-018-0634-3
Autores: JAN DOBROWOLSKI, JOHN RICHARD GOODRICK,
5.- Publicado en revista especializada: Hilbert spaces with generic predicates
Colombia, Revista Colombiana De Matemáticas ISSN: 0034-7426, 2018 vol:52 fasc: 1 págs: 107 - 130, DOI:
Autores: ANDRES VILLAVECES NINO, ALEXANDER JONATHAN BERENSTEIN OPSCHOLTENS,
6.- Publicado en revista especializada: Orbits of subsets of the monster model and geometric theories
Colombia, Annals of Pure and Applied Logic ISSN: 0168-0072, 2017 vol:168 fasc: 12 págs: 2152 - 2163, DOI:10.1016/j.apal.2017.06.005.
Autores: LUIS JAIME CORREDOR LONDONO, ENRIQUE CASANOVAS,
7.- Publicado en revista especializada: Supersimple structures with a dense independent subset
Suiza, Mathematical Logic Quarterly ISSN: 1521-3870, 2017 vol:63 fasc: 6 págs: 552 - 573, DOI:10.1002/malq.201500022
Autores: ALEXANDER JONATHAN BERENSTEIN OPSCHOLTENS, EVGUENI VASSILIEV, JUAN FELIPE CARMONA,
8.- Publicado en revista especializada: Decidability of Order-Based Modal Logics
Países Bajos, Journal of Computer and System Sciences ISSN: 0022-0000, 2017 vol:88 fasc: 1 págs: 53 - 74, DOI:10.1016/j.jcss.2017.03.012
Autores: XAVIER CAICEDO, JOSE LUIS RODRIGUEZ RICARDO,
9.- Publicado en revista especializada: Unimodularity unified
Colombia, Journal of Symbolic Logic ISSN: 0022-4812, 2017 vol:81 fasc: págs: 1 - 15, DOI: https://doi.org/10.1017/jsl.2016.60
Autores: DARIO ALEJANDRO GARCIA RICO, FRANK WAGNER,
10.- Publicado en revista especializada: Strong theories of ordered Abelian groups
, Fundamenta Mathematicae ISSN: 0016-2736, 2017 vol:236 fasc: 3 págs: 267 - 296, DOI:
Autores: JOHN RICHARD GOODRICK, ALFRED DOLICH,
11.- Publicado en revista especializada: Groups in NTP2
Israel, Israel Journal of Mathematics ISSN: 0021-2172, 2017 vol:217 fasc: 1 págs: 355 - 370, DOI:10.1007/s11856-017-1450-x
Autores: ALF ONSHUUS NINO,
12.- Publicado en revista especializada: Classifying torsion free groups in o-minimal expansions of real closed fields
Israel, Annals of Pure and Applied Logic ISSN: 0168-0072, 2016 vol:167 fasc: 12 págs: 1267 - 1297, DOI:dx.doi.org/10.1016/j.apal.2016.07.001
Autores: ALF ONSHUUS NINO, ELIANA LUCERO BARRIGA TURRIAGO,
13.- Publicado en revista especializada: Geometric Theories with a dense independent subset
Suiza, Selecta Mathematica, New Series ISSN: 1022-1824, 2016 vol:22 fasc: 1 págs: 191 - 225, DOI:10.1007/s00029-015-0190-1
Autores: ALEXANDER JONATHAN BERENSTEIN OPSCHOLTENS, EVGUENI VASSILIEV,
14.- Publicado en revista especializada: Dense codense predicates and the NTP2
Alemania, Mathematical Logic Quarterly ISSN: 1521-3870, 2016 vol:1 fasc: págs: 16 - 24, DOI:10.1002/malq.201400056
Autores: ALEXANDER JONATHAN BERENSTEIN OPSCHOLTENS,
15.- Publicado en revista especializada: Solvable Lie groups definable in o-minimal theories
Francia, Journal of the Institute of Mathematics of Jussieu ISSN: 1474-7480, 2016 vol:1 fasc: 1 págs: 1 - 12, DOI:10.1017/S1474748016000098
Autores: ALF ONSHUUS NINO,
16.- Publicado en revista especializada: Pseudofinite structures and simplicity
Inglaterra, Journal of Mathematical Logic ISSN: 0219-0613, 2015 vol:15 fasc: págs: 1 - 41, DOI:https://doi.org/10.1142/S0219061315500026
Autores: DARIO ALEJANDRO GARCIA RICO,
17.- Publicado en revista especializada: Metric entropy estimation using o-minimality theory
Brasil, ALEA-Latin American Journal of Probability and Mathematical Statistics ISSN: 1980-0436, 2015 vol:12 fasc: 2 págs: 955 - 970, DOI:
Autores: ALF ONSHUUS NINO, ADOLFO JOSE QUIROZ SALAZAR,
18.- Publicado en revista especializada: Generic trivializations of geometric theories
Alemania, Mathematical Logic Quarterly ISSN: 1521-3870, 2014 vol:60 fasc: 4 págs: 289 - 303, DOI:DOI: 10.1002/malq.201300030
Autores: ALEXANDER JONATHAN BERENSTEIN OPSCHOLTENS, EVGUENI VASSILIEV,
19.- Publicado en revista especializada: Consistent amalgamation of thorn forking
Países Bajos, Annals of Pure and Applied Logic ISSN: 0168-0072, 2014 vol:165 fasc: 2 págs: 502 - 519, DOI:10.1016/j.apal.2013.06.021
Autores: ALF ONSHUUS NINO, CHARLES STEINHORN,
20.- Publicado en revista especializada: Almost indiscernible sequences and convergence of canonical bases
Estados Unidos, Journal of Symbolic Logic ISSN: 0022-4812, 2014 vol:79 fasc: 2 págs: 440 - 484, DOI:http://dx.doi.org/10.1017/jsl.2013.38
Autores: ALEXANDER JONATHAN BERENSTEIN OPSCHOLTENS, ITAI BEN YAACOV, WARD HENSON,
21.- Publicado en revista especializada: Omitting uncountable types and the strength of [0,1]-valued logics
Países Bajos, Annals of Pure and Applied Logic ISSN: 0168-0072, 2014 vol:165 fasc: 6 págs: 1169 - 1200, DOI:10.1016/j.apal.2014.01.005
Autores: XAVIER CAICEDO,
22.- Publicado en revista especializada: Consistent amalgamation for p-forking
Colombia, Annals of Pure and Applied Logic ISSN: 0168-0072, 2014 vol:2 fasc: págs: 503 - 519, DOI:
Autores: ALF ONSHUUS NINO,
23.- Publicado en revista especializada: A finite model property for Gödel modal logics
Alemania, Lecture Notes in Computer Science ISSN: 0302-9743, 2013 vol:8071 fasc: N/A págs: 226 - 237, DOI:
Autores: XAVIER CAICEDO,
24.- Publicado en revista especializada: Additivity of the dp-rank
Estados Unidos, Transactions of the American Mathematical Society ISSN: 0002-9947, 2013 vol:365 fasc: 1 págs: 1 - 22, DOI:10.1090/S0002-9947-2013-05782-0
Autores: ALF ONSHUUS NINO,
25.- Publicado en revista especializada: Polish topometric groups
Estados Unidos, Transactions of the American Mathematical Society ISSN: 0002-9947, 2013 vol:365 fasc: 7 págs: 3877 - 3897 , DOI:http://dx.doi.org/10.1090/S0002-9947-2013-05773-X
Autores: ALEXANDER JONATHAN BERENSTEIN OPSCHOLTENS, ITAI BEN YAACOV,
26.- Publicado en revista especializada: Generic stability, forking, and þ-forking
Estados Unidos, Transactions of the American Mathematical Society ISSN: 0002-9947, 2013 vol:365 fasc: 1 págs: 1 - 22, DOI:
Autores: ALF ONSHUUS NINO, ALEXANDER UTZVIATSOV,
27.- Publicado en revista especializada: Bi-modal Godel logic over [0,1]-valued Kripke frames
Reino Unido, Journal of Logic and Computation ISSN: 0955-792X, 2012 vol:25 fasc: 1 págs: 37 - 55, DOI:10.1093/logcom/exs036
Autores: XAVIER CAICEDO,
28.- Publicado en revista especializada: Weakly one-based geometric theories
Estados Unidos, Journal of Symbolic Logic ISSN: 0022-4812, 2012 vol:77 fasc: 2 págs: 392 - 422, DOI:doi:10.2178/jsl/1333566629
Autores: ALEXANDER JONATHAN BERENSTEIN OPSCHOLTENS, EVGUENI VASSILIEV,
29.- Publicado en revista especializada: A GENERATING SET FOR THE AUTOMORPHISM GROUP OF A GRAPH PRODUCT OF ABELIAN GROUPS
Estados Unidos, International Journal of Algebra and Computation ISSN: 0218-1967, 2012 vol:22 fasc: 1 págs: 1 - 21 , DOI:10.1142/S0218196711006698
Autores: LUIS JAIME CORREDOR LONDONO,
30.- Publicado en revista especializada: Corrigendum: Embedded o-minimal
Inglaterra, Bulletin of the London Mathematical Society ISSN: 1469-2120, 2012 vol:44 fasc: 3 págs: 615 - 616, DOI:
Autores: ALF ONSHUUS NINO,
31.- Publicado en revista especializada: The algebraic numbers definable in various exponential fields
Inglaterra, Journal of the Institute of Mathematics of Jussieu ISSN: 1474-7480, 2012 vol:11 fasc: 4 págs: 825 - 834, DOI:
Autores: ALF ONSHUUS NINO,
32.- Publicado en revista especializada: Reflexive representability and stable metrics
Alemania, Mathematische Zeitschrift ISSN: 0025-5874, 2011 vol:267 fasc: 1-2 págs: 129 - 138, DOI:10.1007/s00209-009-0612-x
Autores: ALEXANDER JONATHAN BERENSTEIN OPSCHOLTENS, ITAI BEN YAACOV, STEFANO FERRI,
33.- Publicado en revista especializada: Model-theoretic independence in the Banach lattices (mu)
Israel, Israel Journal of Mathematics ISSN: 0021-2172, 2011 vol:183 fasc: 1 págs: 285 - 320, DOI:DOI: 10.1007/s11856-011-0050-4
Autores: ALEXANDER JONATHAN BERENSTEIN OPSCHOLTENS, ITAI BEN YAACOV, WARD HENSON,
34.- Publicado en revista especializada: Stable domination and weight
Países Bajos, Annals of Pure and Applied Logic ISSN: 0168-0072, 2011 vol:162 fasc: 7 págs: 544 - 560, DOI:
Autores: ALF ONSHUUS NINO, ALEXANDER UTZVIATSOV,
35.- Publicado en revista especializada: The independence property in generalized dense pairs of structures
Estados Unidos, Journal of Symbolic Logic ISSN: 0022-4812, 2011 vol:76 fasc: 2 págs: 391 - 404, DOI:doi:10.2178/jsl/1305810754
Autores: ALEXANDER JONATHAN BERENSTEIN OPSCHOLTENS, ALF ONSHUUS NINO,
36.- Publicado en revista especializada: Thorn orthogonality and domination in unstable theories.
Polonia, Fundamenta Mathematicae ISSN: 0016-2736, 2011 vol:214 fasc: 3 págs: 241 - 268, DOI:
Autores: ALF ONSHUUS NINO, ALEXANDER UTZVIATSOV,
37.- Publicado en revista especializada: The independence property in generalized dense pairs of structures
Colombia, Journal of Symbolic Logic ISSN: 0022-4812, 2011 vol:76 fasc: 2 págs: 391 - 404, DOI:
Autores: ALF ONSHUUS NINO, ALEXANDER JONATHAN BERENSTEIN OPSCHOLTENS,
38.- Publicado en revista especializada: Model theoretic stability and categoricity for complete metric spaces
Israel, Israel Journal of Mathematics ISSN: 0021-2172, 2011 vol:182 fasc: 1 págs: 157 - 198, DOI:
Autores: ALEXANDER USVYATSOV, S SHELAH,
39.- Publicado en revista especializada: Dp-minimality: basic facts and examples
Estados Unidos, Notre Dame Journal of Formal Logic ISSN: 0029-4527, 2011 vol:52 fasc: 3 págs: 267 - 288, DOI:
Autores: ALFRED DOLICH, JOHN RICHARD GOODRICK, DAVID LIPPEL,
40.- Publicado en revista especializada: On dp-minimality, strong dependence and weight
Estados Unidos, Journal of Symbolic Logic ISSN: 0022-4812, 2011 vol:76 fasc: 3 págs: 737 - 758, DOI:
Autores: ALF ONSHUUS NINO, ALEXANDER UTZVIATSOV,
41.- Publicado en revista especializada: Groupoids, covers and 3-uniqueness in stable theories
Estados Unidos, Journal of Symbolic Logic ISSN: 0022-4812, 2010 vol:75 fasc: 3 págs: 905 - 929, DOI:
Autores: JOHN RICHARD GOODRICK, ALEXEI KOLESNIKOV,
42.- Publicado en revista especializada: On lovely pairs of geometric structures
Estados Unidos, Annals of Pure and Applied Logic ISSN: 0168-0072, 2010 vol:161 fasc: 7 págs: 866 - 878, DOI:doi:10.1016/j.apal.2009.10.004
Autores: ALEXANDER JONATHAN BERENSTEIN OPSCHOLTENS, EVGUENI VASSILIEV,
43.- Publicado en revista especializada: A monotonicity theorem for dp-minimal densely ordered groups
Estados Unidos, Journal of Symbolic Logic ISSN: 0022-4812, 2010 vol:75 fasc: 1 págs: 221 - 238, DOI:
Autores: JOHN RICHARD GOODRICK,
44.- Publicado en revista especializada: Continuous first order logic and local stability
Estados Unidos, Transactions of the American Mathematical Society ISSN: 0002-9947, 2010 vol:362 fasc: 10 págs: 5213 - 5259, DOI:
Autores: ALEXANDER USVYATSOV, BEN YAACOV I,
45.- Publicado en revista especializada: Definable Structures in o-minimal theories : one dimensional types
Israel, Israel Journal of Mathematics ISSN: 0021-2172, 2010 vol:179 fasc: 1 págs: 363 - 379, DOI:
Autores: ALF ONSHUUS NINO, YAACOV PETERZIL,
46.- Publicado en revista especializada: Unstable structures definable in o-minimal theories
Suiza, Selecta Mathematica, New Series ISSN: 1022-1824, 2010 vol:16 fasc: 1 págs: 121 - 143, DOI:
Autores: ALF ONSHUUS NINO,
47.- Publicado en revista especializada: Embedded o-minimal structures
Reino Unido, Bulletin of the London Mathematical Society ISSN: 0024-6093, 2010 vol:42 fasc: 1 págs: 64 - 74, DOI:
Autores: ALF ONSHUUS NINO,
48.- Publicado en revista especializada: Stable types in rosy theories
Estados Unidos, Journal of Symbolic Logic ISSN: 0022-4812, 2010 vol:75 fasc: 4 págs: 1211 - 1230, DOI:
Autores: ALF ONSHUUS NINO,
49.- Publicado en revista especializada: Definable one dimensional structures in o-minimal theories
Israel, Israel Journal of Mathematics ISSN: 0021-2172, 2010 vol:179 fasc: 1 págs: 297 - 361, DOI:
Autores: ALF ONSHUUS NINO, YAACOV PETERZIL,
50.- Publicado en revista especializada: On linearly ordered structures of finite rank.
Singapur, Journal of Mathematical Logic ISSN: 0219-0613, 2009 vol:9 fasc: 2 págs: 201 - 239, DOI:10.1142/S0219061309000896
Autores: ALF ONSHUUS NINO, CHARLES STEINHORN,
51.- Publicado en revista especializada: On perturbations of Hilbert spaces and probability algebras with a generic automorphism
Inglaterra, Journal of Logic and Analysis ISSN: 1759-9008, 2009 vol:1 fasc: 1 págs: 1 - 18, DOI:http://dx.doi.org/10.4115/jla.v1i0.23
Autores: ALEXANDER JONATHAN BERENSTEIN OPSCHOLTENS, ITAI BEN YAACOV,
52.- Publicado en revista especializada: Hilbert spaces expanded with a unitary operator
Alemania, Mathematical Logic Quarterly ISSN: 0942-5616, 2009 vol: 55 fasc: 1 págs: 37 - 50, DOI:DOI: 10.1002/malq.200710076
Autores: ALEXANDER JONATHAN BERENSTEIN OPSCHOLTENS, CAMILO ARGOTY,
53.- Publicado en revista especializada: On generically stable types in dependent theories.
Estados Unidos, Journal of Symbolic Logic ISSN: 0022-4812, 2009 vol:74 fasc: 1 págs: 216 - 250, DOI:
Autores: ALEXANDER USVYATSOV,
54.- Publicado en revista especializada: Generic separable metric structures
Estados Unidos, Topology and its Applications ISSN: 0166-8641, 2008 vol:155 fasc: 14 págs: 1607 - 1617, DOI:
Autores: ALEXANDER USVYATSOV,
55.- Publicado en revista especializada: Definable groups and compact p-adic Lie groups
Inglaterra, Journal Of The London Mathematical Society-Second Series ISSN: 0024-6107, 2008 vol:78 fasc: 2 págs: 233 - 247, DOI:
Autores: ALF ONSHUUS NINO, ANNAD PILLAY,
56.- Publicado en revista especializada: Logical operations and invariance
Países Bajos, Journal of Philosophical Logic ISSN: 0022-3611, 2007 vol:36 fasc: 1 págs: 33 - 60, DOI:
Autores: ENRIQUE CASANOVAS RUIZ,
57.- Publicado en revista especializada: Hilbert spaces with generic groups of automorphisms
Alemania, Archive for Mathematical Logic ISSN: 0933-5846, 2007 vol:46 fasc: 4 págs: 289 - 299, DOI:10.1007/s00153-007-0044-4
Autores: ALEXANDER JONATHAN BERENSTEIN OPSCHOLTENS,
58.- Publicado en revista especializada: Characterizing Rosy Theories
Estados Unidos, Journal of Symbolic Logic ISSN: 0022-4812, 2007 vol:72 fasc: 3 págs: 919 - 940, DOI:
Autores: ALF ONSHUUS NINO, CLIFTON EALY,
59.- Publicado en revista especializada: Simplicity simplified
Colombia, Revista Colombiana De Matemáticas ISSN: 0034-7426, 2007 vol:41 fasc: 1 págs: 263 - 277, DOI:
Autores: ENRIQUE CASANOVAS RUIZ,
60.- Publicado en revista especializada: On $d$-finiteness in continuous structures
Polonia, Fundamenta Mathematicae ISSN: 0016-2736, 2007 vol:194 fasc: 1 págs: 67 - 88, DOI:
Autores: ALEXANDER USVYATSOV, BEN YAACOV I,
61.- Publicado en revista especializada: Thorn independence in the field of real numbers with a small multiplicative group
Estados Unidos, Annals of Pure and Applied Logic ISSN: 0168-0072, 2007 vol:150 fasc: 1 págs: 1 - 18, DOI:
Autores: ALEXANDER JONATHAN BERENSTEIN OPSCHOLTENS,
62.- Publicado en revista especializada: A note on stable sets and groups and theories with NIP.
Inglaterra, Mathematical Logic Quarterly ISSN: 0942-5616, 2007 vol:53 fasc: 3 págs: 295 - 300, DOI:
Autores: ALF ONSHUUS NINO, YAACOV PETERZIL,
63.- Publicado en revista especializada: Invariant Version of Cardinality Quantifiers in Superstable Theories
Estados Unidos, Notre Dame Journal of Formal Logic ISSN: 0029-4527, 2006 vol:47 fasc: 3 págs: 343 - 351, DOI:doi:10.1305/ndjfl/1163775441
Autores: ALEXANDER JONATHAN BERENSTEIN OPSCHOLTENS, ZIV SHAMI,
64.- Publicado en revista especializada: Definable subgroups of measure algebras
Estados Unidos, Mathematical Logic Quarterly ISSN: 0942-5616, 2006 vol:52 fasc: 4 págs: 367 - 374, DOI:
Autores: ALEXANDER JONATHAN BERENSTEIN OPSCHOLTENS,
65.- Publicado en revista especializada: Banach spaces and groups-order properties and universal models
Israel, Israel Journal of Mathematics ISSN: 0021-2172, 2006 vol:152 fasc: 1 págs: 245 - 270, DOI:
Autores: ALEXANDER USVYATSOV, S SHELAH,
66.- Publicado en revista especializada: Properties and Consequences of Thorn-Independence
Estados Unidos, Journal of Symbolic Logic ISSN: 0022-4812, 2006 vol:71 fasc: 1 págs: 1 - 21, DOI:
Autores: ALF ONSHUUS NINO,
67.- Publicado en revista especializada: Characterizing Rosy Theories
Estados Unidos, ISSN: , 2006 vol: fasc: págs: - , DOI:
Autores: ALF ONSHUUS NINO, CLIFTON EALY,
68.- Publicado en revista especializada: $\vert T\vert \sp +$-resplendent models and the Lascar group.
Alemania, Mathematical Logic Quarterly ISSN: 0942-5616, 2005 vol:51 fasc: 6 págs: 626 - 631, DOI:
Autores: ENRIQUE CASANOVAS RUIZ,
69.- Publicado en revista especializada: Definable types over Banach spaces
Estados Unidos, Notre Dame Journal of Formal Logic ISSN: 0029-4527, 2005 vol:46 fasc: págs: 19 - 50, DOI:
Autores: JOSE IOVINO,
70.- Publicado en revista especializada: Definable groups and compact p-adic Lie groups
Reino Unido, Journal Of The London Mathematical Society-Second Series ISSN: 1469-7750, 2005 vol:78 fasc: 1 págs: 233 - 247, DOI:10.1112/jlms/jdn018
Autores: ALF ONSHUUS NINO, ANAND PILLAY,
71.- Publicado en revista especializada: Cats, the downward Löwenheim-Skolem-Tarski theorem and the disjoint amalgamation property
Colombia, Boletín De Matemáticas ISSN: 0120-0380, 2005 vol:XII fasc: 1 págs: 19 - 28, DOI:
Autores: PEDRO HERNAN ZAMBRANO RAMIREZ,
72.- Publicado en revista especializada: Weak forms of elimination of imaginaries
Alemania, Mathematical Logic Quarterly ISSN: 0942-5616, 2004 vol:50 fasc: 2 págs: 126 - 140, DOI:
Autores: ENRIQUE CASANOVAS RUIZ, RAFAEL FARRE,
73.- Publicado en revista especializada: Dividing in the algebra of compact operators
Estados Unidos, Journal of Symbolic Logic ISSN: 0022-4812, 2004 vol:69 fasc: 3 págs: 817 - 829, DOI:
Autores: ALEXANDER JONATHAN BERENSTEIN OPSCHOLTENS,
74.- Publicado en revista especializada: Imaginaries in Hilbert space
Estados Unidos, Archive for Mathematical Logic ISSN: 1432-0665, 2004 vol:43 fasc: 4 págs: 459 - 466, DOI:
Autores: ALEXANDER JONATHAN BERENSTEIN OPSCHOLTENS, ITAI BEN YAACOV,
75.- Publicado en revista especializada: Simple stable homogeneous expansions of Hilbert spaces
Estados Unidos, Annals of Pure and Applied Logic ISSN: 0168-0072, 2004 vol:128 fasc: 1-3 págs: 75 - 101, DOI:
Autores: ALEXANDER JONATHAN BERENSTEIN OPSCHOLTENS, STEVEN BUECHLER,
76.- Publicado en revista especializada: The free roots of the complete graph
Estados Unidos, Proceedings of the American Mathematical Society ISSN: 0002-9939, 2004 vol:132 fasc: 5 págs: 1543 - 1548, DOI:
Autores: ENRIQUE CASANOVAS RUIZ, FRAN WAIGNER,
77.- Publicado en revista especializada: Simple stable homogeneous groups
Estados Unidos, Journal of Symbolic Logic ISSN: 0022-4812, 2003 vol:68 fasc: 4 págs: 1145 - 1162, DOI:
Autores: ALEXANDER JONATHAN BERENSTEIN OPSCHOLTENS,
78.- Publicado en revista especializada: Some remarks on indiscernible sequences
Alemania, Mathematical Logic Quarterly ISSN: 0942-5616, 2003 vol:49 fasc: 5 págs: 475 - 478, DOI:
Autores: ENRIQUE CASANOVAS RUIZ,
79.- Publicado en revista especializada: Parabolic 2-local subgroups in groups of finite Morley rank of even type
Colombia, Journal of Algebra ISSN: 0021-8693, 2003 vol:269 fasc: 1 págs: 250 - 262, DOI:
Autores: LUIS JAIME CORREDOR LONDONO, GREGORY CHERLIN, ALEXANDER BOROVIK, AHMET TUNA ALTINEL,
80.- Publicado en revista especializada: (*)-Groups and pseudo-bad groups
Colombia, Revista Colombiana De Matemáticas ISSN: 0034-7426, 2003 vol:37 fasc: 1 págs: 51 - 63, DOI:
Autores: LUIS JAIME CORREDOR LONDONO,
81.- Revisión (Survey): th-Forking, Algebraic Independence and Examples of Rosy Theories
Estados Unidos, Journal of Symbolic Logic (enviado) ISSN: 0, 2003 vol: fasc: págs: - , DOI:
Autores: ALF ONSHUUS NINO,
82.- Publicado en revista especializada: Dividing and chain conditions
Alemania, Archive for Mathematical Logic ISSN: 0933-5846, 2003 vol:42 fasc: págs: 815 - 819, DOI:
Autores: ENRIQUE CASANOVAS RUIZ,
83.- Publicado en revista especializada: A primer of simple theories
Estados Unidos, Archive for Mathematical Logic ISSN: 1432-0665, 2002 vol:41 fasc: págs: 541 - 580, DOI:
Autores: JOSE IOVINO, RAMI GROSSBERG, OLIVIER LESSMANN,
84.- Publicado en revista especializada: Teoremas análogos de grupos finitos en Grupos de rango de Morley finito
Colombia, Revista Colombiana De Matemáticas ISSN: 0034-7426, 2002 vol:36 fasc: 1 págs: 1 - 18, DOI:
Autores: LUIS JAIME CORREDOR LONDONO, FABIO ORTIZ,
85.- Publicado en revista especializada: On local supersimplicity and related concepts
Estados Unidos, Journal of Symbolic Logic ISSN: 0022-4812, 2002 vol:67 fasc: págs: 744 - 758, DOI:
Autores: ENRIQUE CASANOVAS RUIZ, FRANK WAGNER,
86.- Publicado en revista especializada: Stable theories with a new predicate
Estados Unidos, Journal of Symbolic Logic ISSN: 0022-4812, 2001 vol:66 fasc: págs: 1127 - 1140, DOI:
Autores: ENRIQUE CASANOVAS RUIZ, MARTIN ZIEGLER,
87.- Publicado en revista especializada: On the maximality of logics with approximations
Estados Unidos, Journal of Symbolic Logic ISSN: 0022-4812, 2001 vol:66 fasc: págs: 1909 - 1918, DOI:
Autores: JOSE IOVINO,
88.- Publicado en revista especializada: Fusion of 2-elements in groups of Finite Morley Rank
Estados Unidos, Journal of Symbolic Logic ISSN: 0022-4812, 2001 vol:66 fasc: 2 págs: 722 - 729, DOI:
Autores: LUIS JAIME CORREDOR LONDONO,
89.- Publicado en revista especializada: De Łos al presente: un teorema aún central en Teoría de la Clasificación.
Colombia, Boletín De Matemáticas ISSN: 0120-0380, 1997 vol:IV fasc: págs: 1 - 18, DOI:
Autores: ANDRES VILLAVECES NINO,

Libros publicados

Capítulos de libro publicados
1.- Capítulo de libro : Maximality of Continuous Logic
Estados Unidos, 2017, Beyond First Order Model Theory, ISBN: 978-149875401-9, Vol. , págs:105 - 130, Ed. CRC Press
Autores: XAVIER CAICEDO,
2.- Capítulo de libro : Lindström´s theorem for positive logic, a topological view
Alemania, 2015, Logic Without Borders, ISBN: 978-1-61451-772-6, Vol. , págs:73 - 90, Ed. Walter de Gruyter Inc
Autores: XAVIER CAICEDO,
3.- Capítulo de libro : Model Theory
Colombia, 2013, Encyclopedia Of Sciences And Religions, ISBN: 9781402082641, Vol. , págs:1331 - 1334, Ed. Springer
Autores: XAVIER CAICEDO,
4.- Otro capítulo de libro publicado : Model Theory for metric structures
Reino Unido, 2008, Model Theory With Applications To Algebra And Analysis, ISBN: 9780521694841, Vol. 2, págs:315 - 427, Ed. Cambridge University Press
Autores: ALEXANDER JONATHAN BERENSTEIN OPSCHOLTENS,
5.- Otro capítulo de libro publicado : Model Theory for Metric Structures
Estados Unidos, 2006, Model theory with Applications to Algebra and Analysis, ISBN: 9780521694, Vol. 2, págs:315 - 427, Ed. Cambrigde University Press
Autores: ALEXANDER USVYATSOV, BEN YAACOV I,

Documentos de trabajo

Otra publicación divulgativa
1.- Otra : MINICOURSE ON MODEL THEORY OF PSEUDOFINITE STRUCTURES
, 2018, , , vol. ,págs: , - Darío García, Ed.
Autores: DARIO ALEJANDRO GARCIA RICO,
2.- Otra : Some Fraïssé Constructions on Hilbert Spaces and Probability Spaces
Estados Unidos, 2006, , , vol. ,págs: 1, - , Ed.
Autores: ANDRES VILLAVECES NINO, ALEXANDER BERENSTEIN,
3.- Otra : Teoría de la medida
Colombia, 2005, , , vol. ,págs: 1, - , Ed.
Autores: PEDRO HERNAN ZAMBRANO RAMIREZ, LEONARDO RENDON ARBELAEZ,

Otros artículos publicados

Otros Libros publicados
1.- Otro libro publicado : Analysis And Logic
Estados Unidos,2003, ISBN: 0521648610 vol: 1 págs: 267, Ed. Cambridge University Press
Autores: JOSE IOVINO, C WARD HENSON, ALEXANDER KECHRIS, EDWARD ODELL,

Traducciones
1.- Artículo : El amalgama primordial de Hrushovski
2005, Revista: ISSN , Libro: ISBN , Medio de divulgación: Electrónico
Idioma del documento original: Alemán, Idioma de la traducción: Español
Edición: , Serie: , Autor del documento original: Martin Ziegler
Autores: ANDRES VILLAVECES NINO,
2.- Otra : obras de lógica de K. Godel
1989, Revista: ISSN , Libro: ISBN , Medio de divulgación: Papel
Idioma del documento original: Inglés, Idioma de la traducción: Español
Edición: 0, Serie: , Autor del documento original: Kurt Godel
Autores: ENRIQUE CASANOVAS RUIZ,

Notas científicas

PRODUCCIÓN TÉCNICA Y TECNOLÓGICA

Cartas, mapas o similares

Conceptos técnicos

Diseños industriales

Esquemas de trazados de circuito integrado

Informes técnicos

Innovaciones en Procesos y Procedimientos

Innovaciones generadas en la Gestión Empresarial

Nuevas variedades animal

Poblaciones mejoradas de razas pecuarias

Nuevas variedades vegetal

Nuevos registros científicos

Plantas piloto

Productos nutracéuticos

Otros productos tecnológicos

Prototipos

Regulaciones y Normas

Protocolos de vigilancia epidemiológica

Reglamentos técnicos

Guias de práctica clínica

Proyectos de ley

Signos distintivos


Softwares

Empresas de base tecnológica

APROPIACIÓN SOCIAL Y CIRCULACIÓN DEL CONOCIMIENTO

Consultorías científico-tecnológicas

Ediciones

Eventos Científicos
1.- Congreso : Encuentro en teoría de modelos: Workshop on Model Theory and Dynamics
VILLA DE LEYVA, desde 2017-07-15 - hasta 2017-07-19
Ámbito: Internacional, Tipos de participación: Organizador , Ponente Magistral

Instituciones asociadas
  • Nombre de la institución: Departamento Administrativo de Ciencia, Tecnología e Innovación - Colciencias Tipo de vinculación Patrocinadora
2.- Congreso : Neostability Theory
Oaxaca, desde 2015-07-12 - hasta 2015-07-17
Ámbito: Internacional, Tipos de participación: Organizador

Instituciones asociadas
  • Nombre de la institución: CONACYT Tipo de vinculación Patrocinadora
3.- Encuentro : tercer encuentro nacional de matemáticas y estadística
IBAGUÉ, desde 2013-03-24 - hasta 2013-03-26
Ámbito: Nacional, Tipos de participación: Ponente Magistral

Instituciones asociadas
  • Nombre de la institución: UNIVERSIDAD DEL TOLIMA Tipo de vinculación Patrocinadora
4.- Simposio : XV Simposio Latinoamericano de Lógica Matemática
BOGOTÁ, D.C., desde 2012-06-04 - hasta 2012-06-08
Ámbito: Internacional, Tipos de participación: Organizador , Ponente Magistral

Instituciones asociadas
  • Nombre de la institución: UNIVERSIDAD DE LOS ANDES Tipo de vinculación Patrocinadora
  • Nombre de la institución: UNIVERSIDAD NACIONAL DE COLOMBIA Tipo de vinculación Patrocinadora
5.- Encuentro : Neostability theory
Banff, desde 2012-01-29 - hasta 2012-02-03
Ámbito: Internacional, Tipos de participación: Organizador

Instituciones asociadas
  • Nombre de la institución: UNIVERSIDAD DE LOS ANDES Tipo de vinculación Patrocinadora
  • Nombre de la institución: Banff international research center Tipo de vinculación Patrocinadora
6.- Encuentro : Joint Mathematics Meetings, 2011
New Orleans, desde 2011-01-06 - hasta 2011-01-09
Ámbito: Internacional, Tipos de participación: Ponente Magistral

Instituciones asociadas
  • Nombre de la institución: American Mathematical Society Tipo de vinculación Patrocinadora
7.- Congreso : Congreso Nacional de Matemáticas, Coordinador Área de Lógica
CALI, desde 2009-08-03 - hasta 2009-08-06
Ámbito: Nacional, Tipos de participación: Organizador

Instituciones asociadas
  • Nombre de la institución: UNIVERSIDAD DE LOS ANDES Tipo de vinculación Patrocinadora
8.- Congreso : Logic Colloquium 2009
Sofia, desde 2009-07-31 - hasta 2009-08-05
Ámbito: Internacional, Tipos de participación: Ponente

Instituciones asociadas
  • Nombre de la institución: University of Sofia Tipo de vinculación Patrocinadora
9.- Taller : Stability theoretical methods in unstable theories
Banff, desde 2009-02-08 - hasta 2009-02-13
Ámbito: Internacional, Tipos de participación: Organizador

Instituciones asociadas
  • Nombre de la institución: UNIVERSIDAD DE LOS ANDES Tipo de vinculación Patrocinadora
10.- Taller : Taller en o-minimalidad
VILLA DE LEYVA, desde 2007-03-28 - hasta 2007-04-02
Ámbito: Internacional, Tipos de participación: Organizador
11.- Congreso : ASL Annual meeting
Gainesville, desde 2007-03-10 - hasta 2007-03-13
Ámbito: Internacional, Tipos de participación: Ponente Magistral

Instituciones asociadas
  • Nombre de la institución: University of Florida Tipo de vinculación Patrocinadora
12.- Taller : Taller en Criptografía: Number theory and cryptography
BOGOTÁ, D.C., desde 2006-09-20 - hasta 2006-09-26
Ámbito: Nacional, Tipos de participación: Organizador

Instituciones asociadas
  • Nombre de la institución: UNIVERSIDAD DE LOS ANDES Tipo de vinculación Patrocinadora
13.- Taller : Taller de teoría de Modelosy Álgebra
BOGOTÁ, D.C., desde 2004-01-01 - hasta
Ámbito: Nacional, Tipos de participación: Organizador

Instituciones asociadas
  • Nombre de la institución: UNIVERSIDAD DE LOS ANDES Tipo de vinculación Patrocinadora
14.- Taller : Taller de Teoría de Modelos y Álgebra
BOGOTÁ, D.C., desde 2004-01-01 - hasta
Ámbito: Nacional, Tipos de participación: Organizador

Instituciones asociadas
  • Nombre de la institución: UNIVERSIDAD DE LOS ANDES Tipo de vinculación Patrocinadora
15.- Seminario : Seminario en teoría de Modelos
BOGOTÁ, D.C., desde 2003-01-01 - hasta
Ámbito: Nacional, Tipos de participación: Organizador

Instituciones asociadas
  • Nombre de la institución: UNIVERSIDAD DE LOS ANDES Tipo de vinculación Patrocinadora

Informes de investigación

Nuevas secuencias genéticas

Redes de Conocimiento Especializado

Generaciónes de contenido de audio

Generación de Contenido Impreso
1.- Cartilla : Un matemático por accidente
2013-08-27, Ambito: Nacional, Medio de circulación: Periodico
Lugar de publicación: El Espectador, Sitio web: http://www.elespectador.com/entretenimiento/unchatcon/matematico-accidente-articulo-442654
Autores: ALF ONSHUUS NINO,

Generación de Contenido Multimedia
1.- Comentario : Observaciones sobre la medición de la investigación en Colombia
2013, Colombia, Idioma: Español
Medio de divulgación: Electrónico, Sitio web: http://lasillavacia.com/elblogueo/blog/observaciones-sobre-la-medicion-de-la-investigacion-en-colombia
Emisora: La Silla Vacía, Instituciones participantes:
Autores: ALF ONSHUUS NINO,

Generación de Contenido Virtual

Estrategias de Comunicación del Conocimiento

Estrategias Pedagógicas para el fomento a la CTI

Espacios de Participación Ciudadana

Participación Ciudadana en Proyectos de CTI

Producción en arte, arquitectura y diseño
Obras o productos
Industrias creativas y culturales
Eventos Artísticos
Talleres de Creación

ACTIVIDADES DE FORMACIÓN

Asesorías al Programa Ondas

Curso de Corta Duración Dictados
1.- Especialización : Model theory of pseudofinite structures
Irán, 2016, Idioma: Inglés, Medio de divulgación: Internet
Sitio web: http://www1.maths.leeds.ac.uk/~pmtdg/Teaching/Psf-Iran/Notes-psf-structures-IPM.pdf, Participación como Docente, Duración (semanas): 2, Finalidad:
Lugar: Institute for Research in Fundamental Sciences - IPM, Institución financiadora: Institute for research in fundamental science
Autores: DARIO ALEJANDRO GARCIA RICO,
2.- Especialización : Taller en Teoría de Números en Criptografía
Colombia, 2006, Idioma: Inglés, Medio de divulgación:
Sitio web: , Participación como Organizador, Duración (semanas): , Finalidad: 2
Lugar: Bogotá D.C., Institución financiadora: UNIVERSIDAD DE LOS ANDES
Autores: ALF ONSHUUS NINO, RONALD VAN LUIJK,
3.- Especialización : Teoría Algebráica de Números
Colombia, 2003, Idioma: Español, Medio de divulgación:
Sitio web: , Participación como Docente, Duración (semanas): 16, Finalidad: Matemáticas
Lugar: Universidad de los Andes, Institución financiadora: UNIVERSIDAD DE LOS ANDES
Autores: ALF ONSHUUS NINO,

Trabajos dirigidos/turorías
1.- Trabajos de grado de pregrado : On Applications of Category Theory to Programming Languages
Desde 7 2018 hasta Diciembre 2018, Tipo de orientación: Tutor principal
Nombre del estudiante: Victor Jose de Jesus Salazar Ruiz, Programa académico: Pregrado En Matemáticas
Número de páginas: 35, Valoración: Aprobada, Institución: UNIVERSIDAD DE LOS ANDES
Autores: LUIS JAIME CORREDOR LONDONO,
2.- Trabajo de grado de maestría o especialidad clínica : Omitting types and w-Categoricity for linear Kripke Sheaves
Desde 1 2017 hasta Julio 2017, Tipo de orientación: Tutor principal
Nombre del estudiante: Kevin Davila, Programa académico: Matemáticas
Número de páginas: 0, Valoración: Aprobada, Institución: UNIVERSIDAD DE LOS ANDES
Autores: XAVIER CAICEDO,
3.- Trabajos de grado de pregrado : El problema del subespacio invariante
Desde 1 2017 hasta Mayo 2017, Tipo de orientación: Tutor principal
Nombre del estudiante: Gloria Buriticá Borda, Programa académico: Matemáticas
Número de páginas: 72, Valoración: Aprobada, Institución: UNIVERSIDAD DE LOS ANDES
Autores: ALEXANDER JONATHAN BERENSTEIN OPSCHOLTENS,
4.- Trabajos de grado de pregrado : La universalidad del espacio de Urysohn y su grupo de isometrías.
Desde 1 2017 hasta Mayo 2017, Tipo de orientación: Tutor principal
Nombre del estudiante: Nicolás Cuervo Ovalle, Programa académico: Matemáticas
Número de páginas: 38, Valoración: Aprobada, Institución: UNIVERSIDAD DE LOS ANDES
Autores: ALEXANDER JONATHAN BERENSTEIN OPSCHOLTENS,
5.- Trabajo de grado de maestría o especialidad clínica : Uniform continity in definable groups
Desde 1 2017 hasta Septiembre 2018, Tipo de orientación: Tutor principal
Nombre del estudiante: Luis Carlos Suarez, Programa académico: Maestría en Matemáticas
Número de páginas: 96, Valoración: Aprobada, Institución: UNIVERSIDAD DE LOS ANDES
Autores: ALF ONSHUUS NINO,
6.- Trabajos de grado de pregrado : Automorfismos de límites de Fraisse con clases de conjugación densas
Desde 8 2016 hasta Mayo 2017, Tipo de orientación: Tutor principal
Nombre del estudiante: Jorge Ferro, Programa académico: Matemáticas
Número de páginas: 40, Valoración: Aprobada, Institución: UNIVERSIDAD DE LOS ANDES
Autores: ALEXANDER JONATHAN BERENSTEIN OPSCHOLTENS,
7.- Trabajo de grado de maestría o especialidad clínica : Definable groups in models of Presburger Arithmetic
Desde 2 2016 hasta Agosto 2016, Tipo de orientación: Tutor principal
Nombre del estudiante: Mariana Vicaría, Programa académico: Maestría en Matemáticas
Número de páginas: 136, Valoración: Aprobada, Institución: UNIVERSIDAD DE LOS ANDES
Autores: ALF ONSHUUS NINO,
8.- Trabajos de grado de pregrado : A la búsqueda de una óptima caracterización para matroides infinitas
Desde 1 2016 hasta Diciembre 2016, Tipo de orientación: Tutor principal
Nombre del estudiante: David Jaramillo, Programa académico: Matemáticas
Número de páginas: 45, Valoración: Aprobada, Institución: UNIVERSIDAD DE LOS ANDES
Autores: ALF ONSHUUS NINO,
9.- Trabajos de grado de pregrado : El teorema de categoricidad de Morley y la categoricidad de campos algebraicamente cerrados 0 con pseudo-exponenciación
Desde 1 2015 hasta Junio 2015, Tipo de orientación: Tutor principal
Nombre del estudiante: David Rincón, Programa académico: Matemáticas
Número de páginas: 50, Valoración: Aprobada, Institución: UNIVERSIDAD DE LOS ANDES
Autores: XAVIER CAICEDO,
10.- Tesis de doctorado : Semialgebraic groups over real closed fields
Desde 1 2015 hasta Mayo 2017, Tipo de orientación: Tutor principal
Nombre del estudiante: Eliana Barriga, Programa académico: Doctorado en Matemáticas
Número de páginas: 96, Valoración: Aprobada, Institución: UNIVERSIDAD DE LOS ANDES
Autores: ALF ONSHUUS NINO, YAACOV PETERZIL,
11.- Trabajos de grado de pregrado : Acciones de Z y Z × Z en el grupo de transformaciones que preservan medida de un espacio de probabilidad.
Desde 8 2014 hasta Diciembre 2014, Tipo de orientación: Tutor principal
Nombre del estudiante: Daniel de Roux, Programa académico: Matemáticas
Número de páginas: 54, Valoración: Aprobada, Institución: UNIVERSIDAD DE LOS ANDES
Autores: ALEXANDER JONATHAN BERENSTEIN OPSCHOLTENS,
12.- Trabajos de grado de pregrado : Límites inversos de estructuras compactas
Desde 1 2014 hasta Diciembre 2014, Tipo de orientación: Tutor principal
Nombre del estudiante: Santiago Pinzón, Programa académico: Carrera de Matemáticas
Número de páginas: 52, Valoración: Aprobada, Institución: Facultad de Ciencias, Universidad de los Andes
Autores: XAVIER CAICEDO,
13.- Trabajo de grado de maestría o especialidad clínica : Completaciones y especializaciones de geometrías de Zariski
Desde 1 2014 hasta Enero 2016, Tipo de orientación: Tutor principal
Nombre del estudiante: Santiago Pinzón, Programa académico: Magíster En Matemáticas
Número de páginas: 55, Valoración: Aprobada, Institución: UNIVERSIDAD DE LOS ANDES
Autores: ALF ONSHUUS NINO,
14.- Trabajos de grado de pregrado : Curvas elípticas sobre campos finitos y aplicaciones en criptografía
Desde 7 2013 hasta Diciembre 2013, Tipo de orientación: Tutor principal
Nombre del estudiante: Alejandro Salcedo bernal, Programa académico: Pregrado En Matemáticas
Número de páginas: 40, Valoración: Aprobada, Institución: UNIVERSIDAD DE LOS ANDES
Autores: LUIS JAIME CORREDOR LONDONO,
15.- Tesis de doctorado : O-asymptotic classes and pseudofinite dimensions
Desde 1 2013 hasta Noviembre 2014, Tipo de orientación: Tutor principal
Nombre del estudiante: Dario Alejandro García Rico, Programa académico: Doctorado en Matemáticas
Número de páginas: 101, Valoración: Aprobada, Institución: UNIVERSIDAD DE LOS ANDES
Autores: ALF ONSHUUS NINO, DARIO ALEJANDRO GARCIA RICO,
16.- Trabajo de grado de maestría o especialidad clínica : Semialgebraic groups over real closed fields
Desde 1 2013 hasta Junio 2017, Tipo de orientación: Tutor principal
Nombre del estudiante: Eliana Barriga, Programa académico: Doctorado en Matemáticas
Número de páginas: 96, Valoración: Aprobada, Institución: UNIVERSIDAD DE LOS ANDES
Autores: YAACOV PETERZIL, ALF ONSHUUS NINO,
17.- Trabajos de grado de pregrado : Logics strognly capturing PTIME on classes of structures
Desde 1 2013 hasta Diciembre 2013, Tipo de orientación: Tutor principal
Nombre del estudiante: Nicolas Peña, Programa académico: Carrera de Matemáticas
Número de páginas: 0, Valoración: Aprobada, Institución: UNIVERSIDAD DE LOS ANDES
Autores: XAVIER CAICEDO,
18.- Tesis de doctorado : Generalizaciones de Teorías Monobasadas
Desde 1 2013 hasta Mayo 2015, Tipo de orientación: Tutor principal
Nombre del estudiante: Juan Felipe Carmona Gonzalez, Programa académico: Doctorado en Matemáticas
Número de páginas: 79, Valoración: Aprobada, Institución: UNIVERSIDAD DE LOS ANDES
Autores: ALEXANDER JONATHAN BERENSTEIN OPSCHOLTENS,
19.- Trabajo de grado de maestría o especialidad clínica : Hipergrafos prohibidos y orden de crecimiento de las hiperaristas
Desde 1 2012 hasta Julio 2013, Tipo de orientación: Tutor principal
Nombre del estudiante: Wilmar Reinero Bolaños Chavez, Programa académico: Maestría en Matemáticas
Número de páginas: 0, Valoración: Aprobada, Institución: UNIVERSIDAD DE LOS ANDES
Autores: ALF ONSHUUS NINO,
20.- Trabajos de grado de pregrado : Towards a proof of Catalan's conjecture
Desde 1 2012 hasta Mayo 2013, Tipo de orientación: Tutor principal
Nombre del estudiante: Juan Sebastian Auli Botero, Programa académico: Matemáticas
Número de páginas: 0, Valoración: Aprobada, Institución: UNIVERSIDAD DE LOS ANDES
Autores: ALF ONSHUUS NINO,
21.- Trabajo de grado de maestría o especialidad clínica : Topometric ample generics of the isometry groups of some Lp spaces
Desde 1 2011 hasta 2013, Tipo de orientación: Tutor principal
Nombre del estudiante: Juan Camilo Fiallo, Programa académico: Maestría en Matemáticas
Número de páginas: 0, Valoración: Aprobada, Institución: UNIVERSIDAD DE LOS ANDES
Autores: ALEXANDER JONATHAN BERENSTEIN OPSCHOLTENS,
22.- Trabajos de grado de pregrado : Insights into infon logic
Desde 1 2011 hasta Septiembre 2011, Tipo de orientación: Tutor principal
Nombre del estudiante: Carlos Mauricio Cotrini Jimenez, Programa académico: Pregrado En Matemáticas
Número de páginas: 0, Valoración: Aprobada, Institución: UNIVERSIDAD DE LOS ANDES
Autores: LUIS JAIME CORREDOR LONDONO,
23.- Trabajo de grado de maestría o especialidad clínica : Subhipergrafos prohibidos y orden de crecimiento de las hiperaristas
Desde 1 2011 hasta Diciembre 2013, Tipo de orientación: Tutor principal
Nombre del estudiante: Wilmar Reinerio Bolaños Chavez, Programa académico: Magíster En Matemáticas
Número de páginas: 37, Valoración: Aprobada, Institución: UNIVERSIDAD DE LOS ANDES
Autores: ALF ONSHUUS NINO,
24.- Trabajo de grado de maestría o especialidad clínica : Cohomología o-minimal de grupos de pequeña dimensión
Desde 1 2011 hasta Enero 2012, Tipo de orientación: Tutor principal
Nombre del estudiante: Eliana Lucero Barriga, Programa académico: Maestría en Matemáticas
Número de páginas: 0, Valoración: Aprobada, Institución: UNIVERSIDAD DE LOS ANDES
Autores: ALF ONSHUUS NINO,
25.- Trabajo de grado de maestría o especialidad clínica : Tipos genéricamente estables, bifurcación y thorn-bifurcación
Desde 3 2010 hasta , Tipo de orientación: Tutor principal
Nombre del estudiante: Garcia Rico Darío Alejandro, Programa académico: Magíster En Matemáticas
Número de páginas: 0, Valoración: Aprobada, Institución: UNIVERSIDAD DE LOS ANDES
Autores: ALF ONSHUUS NINO,
26.- Trabajo de grado de maestría o especialidad clínica : Cohologia o-minimal de grupos de pequeña dimension
Desde 1 2010 hasta Diciembre 2012, Tipo de orientación: Tutor principal
Nombre del estudiante: Eliana Barriga, Programa académico: Magíster En Matemáticas
Número de páginas: 72, Valoración: Aprobada, Institución: UNIVERSIDAD DE LOS ANDES
Autores: ALF ONSHUUS NINO,
27.- Trabajos de grado de pregrado : Ultrapotencias de espacios 1_P
Desde 1 2010 hasta Marzo 2011, Tipo de orientación: Tutor principal
Nombre del estudiante: Juan Sebastian Jaramillo, Programa académico: Pregrado En Matemáticas
Número de páginas: 0, Valoración: Aprobada, Institución: UNIVERSIDAD DE LOS ANDES
Autores: ALEXANDER JONATHAN BERENSTEIN OPSCHOLTENS,
28.- Trabajo de grado de maestría o especialidad clínica : Caracterizaciones primer órden de geometría tropical
Desde 1 2010 hasta Agosto 2011, Tipo de orientación: Tutor principal
Nombre del estudiante: Nicolas Suescun Gomez, Programa académico: Maestría en Matemáticas
Número de páginas: 0, Valoración: Aprobada, Institución: UNIVERSIDAD DE LOS ANDES
Autores: ALF ONSHUUS NINO,
29.- Trabajo de grado de maestría o especialidad clínica : Corrimientos de Bernoulli, transformaciones periódicas y teoremas de clasificación
Desde 1 2010 hasta 2011, Tipo de orientación: Tutor principal
Nombre del estudiante: Arley Fernando Torres Galindo, Programa académico: Maestría en Matemáticas
Número de páginas: 0, Valoración: Aprobada, Institución: UNIVERSIDAD DE LOS ANDES
Autores: ALEXANDER JONATHAN BERENSTEIN OPSCHOLTENS,
30.- Trabajos de grado de pregrado : Teoría ergódica y la función de Gauss
Desde 1 2010 hasta Agosto 2011, Tipo de orientación: Tutor principal
Nombre del estudiante: Martín Andrade Restrepo, Programa académico: Pregrado En Matemáticas
Número de páginas: 0, Valoración: Aprobada, Institución: UNIVERSIDAD DE LOS ANDES
Autores: ALEXANDER JONATHAN BERENSTEIN OPSCHOLTENS,
31.- Trabajos de grado de pregrado : Propiedades definibles en primer orden de la geometría tropical
Desde 1 2010 hasta Julio 2011, Tipo de orientación: Tutor principal
Nombre del estudiante: Santiago Camacho Ahumada, Programa académico: Matemáticas
Número de páginas: 0, Valoración: Aprobada, Institución: UNIVERSIDAD DE LOS ANDES
Autores: ALF ONSHUUS NINO,
32.- Trabajo de grado de maestría o especialidad clínica : Tipos genéricamente estables, bifurcación y thorn-bifurcación
Desde 12 2009 hasta Diciembre 2009, Tipo de orientación: Tutor principal
Nombre del estudiante: Darío Alejandro García, Programa académico: Maestría en Matemáticas
Número de páginas: 0, Valoración: Aprobada, Institución: UNIVERSIDAD DE LOS ANDES
Autores: ALF ONSHUUS NINO,
33.- Trabajo de grado de maestría o especialidad clínica : Grupos geométricos modulares
Desde 9 2009 hasta Septiembre 2009, Tipo de orientación: Tutor principal
Nombre del estudiante: Cely Garcia Jorge Enrique, Programa académico: Magíster en matemáticas
Número de páginas: 0, Valoración: Aprobada, Institución: UNIVERSIDAD DE LOS ANDES
Autores: ALEXANDER JONATHAN BERENSTEIN OPSCHOLTENS,
34.- Trabajos de grado de pregrado : Reciprocidad cuadrática en grupos finitos
Desde 7 2009 hasta Julio 2009, Tipo de orientación: Tutor principal
Nombre del estudiante: Mariana Laverde, Programa académico: Matemáticas
Número de páginas: 0, Valoración: Aprobada, Institución: UNIVERSIDAD DE LOS ANDES
Autores: ALF ONSHUUS NINO,
35.- Trabajos de grado de pregrado : Famlias genéricas de automorfismos de espacios de Lebesgue y de Hilbert
Desde 1 2009 hasta Julio 2010, Tipo de orientación: Tutor principal
Nombre del estudiante: Juan Camilo Fiallo, Programa académico: Pregrado En Matemáticas
Número de páginas: 0, Valoración: Aprobada, Institución: UNIVERSIDAD DE LOS ANDES
Autores: ALEXANDER JONATHAN BERENSTEIN OPSCHOLTENS,
36.- Tesis de doctorado : Model Theory of representations of operator algebras
Desde 1 2009 hasta Diciembre 2015, Tipo de orientación: Tutor principal
Nombre del estudiante: Camilo Enrique Argoty Pulido, Programa académico: matemáticas
Número de páginas: 125, Valoración: Aprobada, Institución: UNIVERSIDAD NACIONAL DE COLOMBIA
Autores: ALEXANDER JONATHAN BERENSTEIN OPSCHOLTENS, ANDRES VILLAVECES NINO,
37.- Trabajos de grado de pregrado : Ext groups in the category of abelian groups
Desde 12 2008 hasta , Tipo de orientación: Coturor/asesor
Nombre del estudiante: Eliana Duarte, Programa académico: Matemáticas
Número de páginas: 0, Valoración: Aprobada, Institución: UNIVERSIDAD DE LOS ANDES
Autores: ALF ONSHUUS NINO,
38.- Trabajos de grado de pregrado : Soluciones racionales a ecuaciones polinomiales: una aproximación al principio de Hasse
Desde 12 2008 hasta Diciembre 2008, Tipo de orientación: Tutor principal
Nombre del estudiante: Juan Ignacio Restrepo, Programa académico: Matemáticas
Número de páginas: 0, Valoración: Aprobada, Institución: UNIVERSIDAD DE LOS ANDES
Autores: ALF ONSHUUS NINO,
39.- Trabajo de grado de maestría o especialidad clínica : Dimensión de Vapnik-Chervonenkis en estructuras o-minimales y pares densos
Desde 9 2008 hasta , Tipo de orientación: Tutor principal
Nombre del estudiante: Castillo Guzmán Julián Roberto, Programa académico: Magíster En Matemáticas
Número de páginas: 0, Valoración: Aprobada, Institución: UNIVERSIDAD DE LOS ANDES
Autores: ALF ONSHUUS NINO,
40.- Tesis de doctorado : About the Lascar Group
Desde 2 2008 hasta , Tipo de orientación: Tutor principal
Nombre del estudiante: Rodrigo Peláez, Programa académico: Department of Logic
Número de páginas: , Valoración: , Institución: UNIVERSIDAD DE BARCELONA
Autores: ENRIQUE CASANOVAS RUIZ,
41.- Trabajo de grado de maestría o especialidad clínica : Matemática Tropical
Desde 1 2008 hasta , Tipo de orientación: Tutor principal
Nombre del estudiante: Santiago Barrera, Programa académico: Magíster En Matemáticas
Número de páginas: 0, Valoración: Aprobada, Institución: UNIVERSIDAD DE LOS ANDES
Autores: ALF ONSHUUS NINO, SANTIAGO BARRERA,
42.- Trabajo de grado de maestría o especialidad clínica : Aspectos combinatorios de las subdivisiones matroidales
Desde 7 2007 hasta , Tipo de orientación: Tutor principal
Nombre del estudiante: Edgar Felipe Rincón, Programa académico: Maestría en Matemáticas
Número de páginas: 0, Valoración: Aprobada, Institución: UNIVERSIDAD DE LOS ANDES
Autores: ALF ONSHUUS NINO,
43.- Trabajo de grado de maestría o especialidad clínica : Rational tetrahedra
Desde 1 2007 hasta Enero 2007, Tipo de orientación: Tutor principal
Nombre del estudiante: Enrique Acosta, Programa académico: Magíster En Matemáticas
Número de páginas: 0, Valoración: Aprobada, Institución: UNIVERSIDAD DE LOS ANDES
Autores: ALF ONSHUUS NINO, ENRIQUE ACOSTA,
44.- Trabajo de grado de maestría o especialidad clínica : Applications of spectral theory to the study of the model theory of Hilbert spaces expanded with unitary operators
Desde 1 2007 hasta 2007, Tipo de orientación: Tutor principal
Nombre del estudiante: Camilo Argoty, Programa académico: Magíster en matemáticas
Número de páginas: 0, Valoración: Aprobada, Institución: UNIVERSIDAD DE LOS ANDES
Autores: ALEXANDER JONATHAN BERENSTEIN OPSCHOLTENS, CAMILO ARGOTY,
45.- Trabajos de grado de pregrado : Codigos binarios y bases de Grobner
Desde 1 2006 hasta , Tipo de orientación: Tutor principal
Nombre del estudiante: Andrea Novoa, Programa académico: Matemáticas
Número de páginas: 0, Valoración: Aprobada, Institución: UNIVERSIDAD DE LOS ANDES
Autores: ALF ONSHUUS NINO, ANDREA NOVOA,
46.- Trabajos de grado de pregrado : Una Visión Modelo Teórica de un Teorema de Weil
Desde 1 2006 hasta 2006, Tipo de orientación: Tutor principal
Nombre del estudiante: Jorge Cely, Programa académico: Matemáticas
Número de páginas: 0, Valoración: Aprobada, Institución: UNIVERSIDAD DE LOS ANDES
Autores: ALF ONSHUUS NINO, JORGE CELY,
47.- Trabajos de grado de pregrado : Interpretación de Grupos en Teoría de Modelos Homogénea
Desde 1 2005 hasta 2005, Tipo de orientación:
Nombre del estudiante: Juan Diego Caycedo Casallas, Programa académico: Carrera de Matemáticas
Número de páginas: , Valoración: , Institución: UNIVERSIDAD NACIONAL DE COLOMBIA SEDE BOGOTA
Autores: ANDRES VILLAVECES NINO,

ACTIVIDADES COMO EVALUADOR

Jurado/Comisiones evaluadoras de trabajo de grado
1.- Maestría : Completaciones y Especializaciones de Geometrías de Zariski
Colombia, 2016, Idioma: Español, Medio de divulgación: Papel
Sitio web: , Nombre del orientado: Santiago Iván Pinzón Palacios
Programa académico: Maestría en Matemáticas, Institución: UNIVERSIDAD DE LOS ANDES.
Autores: DARIO ALEJANDRO GARCIA RICO,
2.- Doctorado : On Games on Non-Well Founded Sets and Stationary Sets
Finlandia, 2007, Idioma: Inglés, Medio de divulgación:
Sitio web: , Nombre del orientado: Matti Pauna
Programa académico: Ph. D. in Mathematics, Institución: University of Helsinki.
Autores: ANDRES VILLAVECES NINO, JOUKO VAANANEN,
3.- Maestría : Módelos Genéricos y Ultrapotencias
Colombia, 2004, Idioma: Español, Medio de divulgación:
Sitio web: , Nombre del orientado: Andrés Forero Cuervo
Programa académico: Matemáticas, Institución: UNIVERSIDAD DE LOS ANDES.
Autores: ALF ONSHUUS NINO, XAVIER CAICEDO,
4.- Pregrado : Puntos racionales en curvas elípticas y el teorema de Mordell
Colombia, 2002, Idioma: Español, Medio de divulgación:
Sitio web: , Nombre del orientado: María Carrizosa Acosta
Programa académico: Matemáticas, Institución: UNIVERSIDAD DE LOS ANDES.
Autores: ALF ONSHUUS NINO, XAVIER CAICEDO,

Participación en comités de evaluación
1.- Acreditación de programas : Consejo Nacional de Acreditación
Colombia, 2017, Sitio web:
Medio de divulgación: Papel, Institución: UNIVERSIDAD DE ANTIOQUIA
Autores: ALF ONSHUUS NINO,

Demás trabajos
1.- Demás trabajos : MINICOURSE ON MODEL THEORY OF PSEUDOFINITE STRUCTURES
Francia, 2018, Idioma: Inglés, Medio de divulgación: Internet
Autores: DARIO ALEJANDRO GARCIA RICO,
2.- Demás trabajos : Model theory of pseudofinite structures
Reino Unido, 2016, Idioma: Inglés, Medio de divulgación: Internet
Autores: DARIO ALEJANDRO GARCIA RICO,
3.- Demás trabajos : Grafos aleatorios y sus aplicaciones
Colombia, 2016, Idioma: Español, Medio de divulgación: Papel
Autores: DARIO ALEJANDRO GARCIA RICO,
4.- Demás trabajos : Construcciones de Hrushovski y clases no elementales
Colombia, 2005, Idioma: Español, Medio de divulgación: Internet
Autores: PEDRO HERNAN ZAMBRANO RAMIREZ,

Proyectos
1.- Investigación y desarrollo: Teoría de modelos de estructuras pseudofinitas.
2018/6 - Actual
2.- Investigación y desarrollo: Model theory of finite and pseudofinite structures
2016/6 - Actual
3.- Investigación y desarrollo: Teoría de modelos y dinámicas topológicas
2016/5 - Actual
4.- Investigación y desarrollo: Propiedades asintóticas de grafos y sus aplicaciones en computación y redes
2016/3 - 2017/12
5.- Investigación y desarrollo: El teorema de definibilidad de Beth en un contexto algebraico
2013/7 - 2014/6
6.- Investigación y desarrollo: Cohomologia de grupos no compactos en pequeñas dimensiones en estructuras o-minimales
2013/7 - 2014/7
7.- Extensión y responsabilidad social CTI: ANALISIS EN TEORIAS VC
2013/1 - 2016/1
8.- Investigación y desarrollo: Campos Zilber y Model Theory; Groups, Geometry and Combinatorics.
2012/12 - 2013/10
9.- Investigación y desarrollo: Teoría de Modelos de las lógicas [0,1]-valuadas
2012/1 - 2013/5
10.- Investigación y desarrollo: The Shoder - Bernstein property. Amalgamation properties in simple theories. Dimension in dependent theories.
2011/2 - 2014/2
11.- Investigación y desarrollo: Metodos de estabilidad en clases no estables
2011/1 - 2014/Sin mes
12.- Investigación y desarrollo: Grupos ordenados definibles en teorías o-minimales
2011/1 - 2012/8
13.- Investigación y desarrollo: Teoría de Modelos y Aplicaciones
2009/1 - 2020/12
14.- Investigación, desarrollo e innovación: DESARROLLO DE INVESTIGADORES EN TEORIA DE MODELOS
2006/1 - 2010/Sin mes
15.- Investigación y desarrollo: RELACIÓN ENTRE CAMPOS ESTABLES Y CAMPOS PSEUDO-ALGEBRAICAMENTE CERRADOS
2003/1 - 2014/12
16.- Investigación y desarrollo: Relación entre campos estables y campos pseudo-algebráicamente cerrados
2003/1 - Actual
17.- Investigación y desarrollo: Aspectos algorítmicos de la coloracion de grafos y sus aplicaciones
2002/1 - Actual
18.- Extensión y responsabilidad social CTI: Estabilidad en Clases Elementales Abstractas
2000/1 - 2003/Sin mes