Bogart T, Goodrick J, Woods K. (2019)
Parametric Presburger arithmetic: complexity of counting and quantifier elimination
Mathematical Logic Quarterly (ISSN 09425616)
John Richard Goodrick
John Richard Goodrick
PROFESOR ASOCIADO
Departamento de Matemáticas
jr.goodrick427@uniandes.edu.co
5216
H-310
Cursos
- 2019
MATEMATICA ESTRUCTURAL
Primer Periodo
Pregrado
CALCULO DIFERENCIAL
Segundo Periodo
Pregrado
Productos
Goodrick J, Dolich A. (2018)
A characterization of strongly dependent ordered Abelian groups
Revista Colombiana de Matemáticas (ISSN 0034-7426)
Artículo
Proyectos
- 2011
Project 1: The Schröder-Bernstein property Project 2: Amalgamation properties in simple theories Project 3: Dimension in dependent theories
Duration: 36 meses
PR.3.2010.1516.jr.goodrick427
Cursos
- 2019
MATEMATICA ESTRUCTURAL
Primer Periodo
Pregrado
CALCULO DIFERENCIAL
Segundo Periodo
Pregrado
MATEMATICA ESTRUCTURAL
Segundo Periodo
Pregrado
ALGEBRA LINEAL 1
Primer Periodo
Pregrado
CALCULO DIFERENCIAL
Primer Periodo
Pregrado
- 2018
CALCULO INTEGRAL-PROBABILIDAD
Primer Periodo
Pregrado
LOGICA MATEMATICA
Primer Periodo
Maestría
LOGICA 2
Primer Periodo
Pregrado
ALGEBRA LINEAL 1
Segundo Periodo
Pregrado
APRENDIZAJE DE MÁQUINAS
Segundo Periodo
Pregrado
- 2017
MATEMATICA ESTRUCTURAL
Primer Periodo
Pregrado
CALCULO INTEGRAL-ECUAC.DIFEREN
Primer Periodo
Pregrado
- 2016
MATEMATICA ESTRUCTURAL
Primer Periodo
Pregrado
LOGICA MATEMATICA
Primer Periodo
Maestría
CALCULO INTEGRAL-ECUAC.DIFEREN
Primer Periodo
Pregrado
CALCULO INTEGRAL-ECUAC.DIFEREN
Segundo Periodo
Pregrado
MATEMATICA ESTRUCTURAL
Segundo Periodo
Pregrado
LOGICA 2
Primer Periodo
Pregrado
- 2015
CALCULO INTEGRAL-ECUAC.DIFEREN
Primer Periodo
Pregrado
ESTRUCTURAS O-MINIMALES
Primer Periodo
Maestría
ESTRUCTURAS O-MINIMALES
Primer Periodo
Pregrado
MATEMATICA ESTRUCTURAL
Segundo Periodo
Pregrado
CALCULO INTEGRAL-ECUAC.DIFEREN
Segundo Periodo
Pregrado
- 2014
MATEMATICA ESTRUCTURAL
Primer Periodo
Pregrado
CALCULO INTEGRAL-ECUAC.DIFEREN
Primer Periodo
Pregrado
MATEMATICA ESTRUCTURAL
Segundo Periodo
Pregrado
CALCULO INTEGRAL-ECUAC.DIFEREN
Segundo Periodo
Pregrado
- 2013
CALCULO DIFEREN (HON)
Segundo Periodo
Pregrado
MATEMATICA ESTRUCTURAL
Primer Periodo
Pregrado
CALCULO DIFERENCIAL
Segundo Periodo
Pregrado
CALCULO VECTORIAL
Primer Periodo
Pregrado
- 2012
ALG. LINEAL 1 (INGLÉS)
Primer Periodo
Pregrado
ALGEBRA LINEAL 1
Segundo Periodo
Pregrado
CALCULO INTEGRAL-ECUAC.DIFEREN
Segundo Periodo
Pregrado
- 2011
LOGICA 1
Segundo Periodo
Pregrado
TEORIA DE MODELOS 1 (INGLES)
Primer Periodo
Maestría
ALGEBRA LINEAL 1 (EN INGLES)
Primer Periodo
Pregrado
ALG. LINEAL 1 (En ingles)
Segundo Periodo
Pregrado
Productos
Bogart T, Goodrick J, Woods K. (2019)
Parametric Presburger arithmetic: complexity of counting and quantifier elimination
Mathematical Logic Quarterly (ISSN 09425616)
Artículo
Leer Mas Goodrick J, Dolich A. (2018)
A characterization of strongly dependent ordered Abelian groups
Revista Colombiana de Matemáticas (ISSN 0034-7426)
Artículo
Goodrick J. (2018)
Bounding quantification in parametric expansions of Presburger arithmetic
Archive for Mathematical Logic (ISSN 0933-5846)
Artículo
Leer Mas Goodrick J, Dobrowolski J. (2018)
Some remarks on inp-minimal and finite burden groups
Archive for Mathematical Logic (ISSN 0933-5846)
Artículo
Goodrick J, Kolesnikov A, Byunghan Kim. (2017)
Homology groups of types in stable theories and the Hurewicz correspondence
Annals of Pure and Applied Logic (ISSN 0168-0072)
Artículo
Bogart T, Goodrick J, Woods K. (2017)
Parametric Presburger Arithmetic: Logic, Combinatorics, and Quasi-polynomial Behavior
Discrete Analysis (ISSN 2397-3129)
Artículo
Leer Mas Goodrick J, Dolich A. (2017)
Strong theories of ordered abelian groups
Fundamenta Mathematicae (ISSN 0016-2736)
Artículo
Leer Mas Goodrick J, Byunghan Kim, Kolesnikov A. (2015)
Characterization of the second homology group of a stationary type in a stable theory
Proceedings of the 13th Annual Asian Logic Conference (ISBN 9814675997)
Capítulo de Libro
Goodrick J, Byunghan Kim, Kolesnikov A. (2015)
Type-amalgamation properties and polygroupoids in stable theories
Journal of Mathematical Logic (ISSN 0219-0613)
Artículo
Leer Mas Goodrick J, Kolesnikov A, Byunghan Kim. (2014)
Amalgamation functors and homology groups in model theory
Proceedings of the International Congress of Mathematicians 2014 (ISBN 9788961058056)
Capítulo de Libro
Leer Mas Goodrick J, Michael C. Laskowski. (2014)
The Schröder-Bernstein property for a-saturated models
Proceedings of the American Mathematical Society (ISSN 0002-9939)
Artículo
Leer Mas Goodrick J, Kolesnikov A, Byunghan Kim. (2013)
Amalgamation functors and boundary properties for simple theories
Israel Journal of Mathematics (ISSN 0021-2172)
Artículo
Leer Mas Goodrick J, Byunghan Kim, Kolesnikov A. (2013)
HOMOLOGY GROUPS OF TYPES IN MODEL THEORY AND THE COMPUTATION OF H-2(p)
Journal of Symbolic Logic (ISSN 0022-4812)
Artículo
Leer Mas Goodrick J, Michael C. Laskowski. (2012)
THE SCHRODER-BERNSTEIN PROPERTY FOR WEAKLY MINIMAL THEORIES
Israel Journal of Mathematics (ISSN 0021-2172)
Artículo
Leer Mas Dolich A, Goodrick J, Lippel D. (2011)
Dp-Minimality: Basic Facts and Examples
Notre Dame Journal of Formal Logic (ISSN 0029-4527)
Artículo
Leer Mas Goodrick J. (2010)
A MONOTONICITY THEOREM FOR DP-MINIMAL DENSELY ORDERED GROUPS
Journal of Symbolic Logic (ISSN 0022-4812)
Artículo
Leer Mas Goodrick J, Kolesnikov A. (2010)
GROUPOIDS, COVERS. AND 3-UNIQUENESS IN STABLE THEORIES
Journal of Symbolic Logic (ISSN 0022-4812)
Artículo
Leer Mas Proyectos
- 2011
Project 1: The Schröder-Bernstein property Project 2: Amalgamation properties in simple theories Project 3: Dimension in dependent theories
Duration: 36 meses
PR.3.2010.1516.jr.goodrick427
Sitio Web
Para consultar mi sitio web: Aquí