Goodrick J. (2022)
Definable sets in dp-minimal ordered Abelian groups
RIMS Kokyuroku (ISSN 1880-2818)
Artículo
John Richard Goodrick
John Richard Goodrick
jr.goodrick427 @uniandes.edu.co
Oficina: H-310
Extensión: 5216
Información básica
Soy investigador en los campos de la teoría de modelos y la lógica matemática. Me interesan temas de esetabilidad (de teorías de primer orden) y generalizaciones, y aplicaciones a la combinatoria.
Cursos
- 2021
CÁLCULO DIFERENCIAL
Primer Periodo
Pregrado
MATEMÁTICA ESTRUCTURAL
Primer Periodo
Pregrado
Productos
Goodrick J, Dolich A. (2022)
Tame Topology over Definable Uniform Structures
Notre Dame Journal of Formal Logic (ISSN 0029-4527)
Artículo
Proyectos
- 2011
- Project 1: The Schröder-Bernstein property Project 2: Amalgamation properties in simple theories Project 3: Dimension in dependent theories
Duración: 36 meses
PR.3.2010.1516.jr.goodrick427
Cursos
- 2021
CÁLCULO DIFERENCIAL
Primer Periodo
Pregrado
MATEMÁTICA ESTRUCTURAL
Primer Periodo
Pregrado
- 2020
- 2019
- 2018
- 2017
- 2016
- 2015
- 2014
- 2013
Productos
Goodrick J. (2022)
Definable sets in dp-minimal ordered Abelian groups
RIMS Kokyuroku (ISSN 1880-2818)
Artículo
Goodrick J, Dolich A. (2022)
Tame Topology over Definable Uniform Structures
Notre Dame Journal of Formal Logic (ISSN 0029-4527)
Artículo
Bogart T, Goodrick J, Woods K. (2021)
Periodic behavior in families of numerical and affine semigroups via parametric Presburger arithmetic
Semigroup Forum (ISSN 0037-1912)
Artículo
Bogart T, Goodrick J, Woods K. (2020)
A PARAMETRIC VERSION OF LLL AND SOME CONSEQUENCES: PARAMETRIC SHORTEST AND CLOSEST VECTOR PROBLEMS
SIAM Journal on Discrete Mathematics (ISSN 0895-4801)
Artículo
Cardenal D .(2020). Medical Image Diagnosis Using Model Ensembles of Convolutional Neural Networks.
Medical Image Diagnosis Using Model Ensembles of Convolutional Neural Networks
Tesis
Bogart T, Goodrick J, Woods K. (2019)
Parametric Presburger arithmetic: complexity of counting and quantifier elimination
Mathematical Logic Quarterly (ISSN 09425616)
Artículo
Goodrick J, Dobrowolski J. (2019)
Some remarks on inp-minimal and finite burden groups
Archive for Mathematical Logic (ISSN 0933-5846)
Artículo
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
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
Goodrick J, Dolich A. (2017)
Strong theories of ordered Abelian groups
Fundamenta Mathematicae (ISSN 0016-2736)
Artículo
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
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
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
Goodrick J, Kolesnikov A, Byunghan Kim. (2013)
Amalgamation functors and boundary properties in simple theories
Israel Journal of Mathematics (ISSN 0021-2172)
Artículo
Goodrick J, Byunghan Kim, Kolesnikov A. (2013)
Homology groups of types in model theory and the computation of H2 (P)
Journal of Symbolic Logic (ISSN 0022-4812)
Artículo
Goodrick J, Michael C. Laskowski. (2012)
THE SCHRODER-BERNSTEIN PROPERTY FOR WEAKLY MINIMAL THEORIES
Israel Journal of Mathematics (ISSN 0021-2172)
Artículo
Dolich A, Goodrick J, Lippel D. (2011)
Dp-Minimality: Basic Facts and Examples
Notre Dame Journal of Formal Logic (ISSN 0029-4527)
Artículo
Goodrick J. (2010)
A MONOTONICITY THEOREM FOR DP-MINIMAL DENSELY ORDERED GROUPS
Journal of Symbolic Logic (ISSN 0022-4812)
Artículo
Goodrick J, Kolesnikov A. (2010)
GROUPOIDS, COVERS. AND 3-UNIQUENESS IN STABLE THEORIES
Journal of Symbolic Logic (ISSN 0022-4812)
Artículo
Proyectos
- 2011
- Project 1: The Schröder-Bernstein property Project 2: Amalgamation properties in simple theories Project 3: Dimension in dependent theories
Duración: 36 meses
PR.3.2010.1516.jr.goodrick427
Sitio Web
Para consultar mi sitio web: Aquí