John Richard Goodrick

Home / Professors / John Richard Goodrick
John Richard Goodrick

John Richard Goodrick

jr.goodrick427 @uniandes.edu.co

Office: H-310

Extension: 5216

Profile
Courses
Products
Projects

Profile

I am a researcher in the field of model theory (a branch of mathematical logic). I am interested in stable theories, "neostability theory," and applications to combinatorics.

Recent Courses

  • 2021

    • CÁLCULO DIFERENCIAL

      First period
      Bachelor Level

      MATEMÁTICA ESTRUCTURAL

      First period
      Bachelor Level
View more

Recent Products

Goodrick J. (2022)
Definable sets in dp-minimal ordered Abelian groups
RIMS Kokyuroku (ISSN 1880-2818)
Article
Goodrick J, Dolich A. (2022)
Tame Topology over Definable Uniform Structures
Notre Dame Journal of Formal Logic (ISSN 0029-4527)
Article
Read More
View more

Recent Projects

  • 2011
    • Project 1: The Schröder-Bernstein property Project 2: Amalgamation properties in simple theories Project 3: Dimension in dependent theories

      Duration: 36 months

      PR.3.2010.1516.jr.goodrick427

View more

Courses

  • 2021

    • CÁLCULO DIFERENCIAL

      First period
      Bachelor Level

      MATEMÁTICA ESTRUCTURAL

      First period
      Bachelor Level
  • 2020

    • ALGEBRA LINEAL 1

      First period
      Bachelor Level

      ALGEBRA ABSTRACTA 1

      First period
      Bachelor Level

    • INTRO TEORÍA DE LA COMPUTACIÓN

      Second period
      Bachelor Level

      ALGEBRA LINEAL 1 (INGLÉS)

      Second period
      Bachelor Level

    • ALGEBRA LINEAL 1

      Second period
      Bachelor Level
  • 2019

    • MATEMATICA ESTRUCTURAL

      First period
      Bachelor Level

      CALCULO DIFERENCIAL

      Second period
      Bachelor Level

    • MATEMATICA ESTRUCTURAL

      Second period
      Bachelor Level

      ALGEBRA LINEAL 1

      First period
      Bachelor Level

    • CALCULO DIFERENCIAL

      First period
      Bachelor Level
  • 2018

    • CALCULO INTEGRAL-PROBABILIDAD

      First period
      Bachelor Level

      LOGICA MATEMATICA

      First period
      Master Level

    • LOGICA 2

      First period
      Bachelor Level

      ALGEBRA LINEAL 1

      Second period
      Bachelor Level

    • APRENDIZAJE DE MÁQUINAS

      Second period
      Bachelor Level
  • 2017

    • MATEMATICA ESTRUCTURAL

      First period
      Bachelor Level

      CALCULO INTEGRAL-ECUAC.DIFEREN

      First period
      Bachelor Level
  • 2016

    • MATEMATICA ESTRUCTURAL

      First period
      Bachelor Level

      LOGICA MATEMATICA

      First period
      Master Level

    • CALCULO INTEGRAL-ECUAC.DIFEREN

      First period
      Bachelor Level

      CALCULO INTEGRAL-ECUAC.DIFEREN

      Second period
      Bachelor Level

    • MATEMATICA ESTRUCTURAL

      Second period
      Bachelor Level

      LOGICA 2

      First period
      Bachelor Level
  • 2015

    • CALCULO INTEGRAL-ECUAC.DIFEREN

      First period
      Bachelor Level

      ESTRUCTURAS O-MINIMALES

      First period
      Master Level

    • ESTRUCTURAS O-MINIMALES

      First period
      Bachelor Level

      MATEMATICA ESTRUCTURAL

      Second period
      Bachelor Level

    • CALCULO INTEGRAL-ECUAC.DIFEREN

      Second period
      Bachelor Level
  • 2014

    • MATEMATICA ESTRUCTURAL

      First period
      Bachelor Level

      CALCULO INTEGRAL-ECUAC.DIFEREN

      First period
      Bachelor Level

    • MATEMATICA ESTRUCTURAL

      Second period
      Bachelor Level

      CALCULO INTEGRAL-ECUAC.DIFEREN

      Second period
      Bachelor Level
  • 2013

    • CALCULO DIFEREN (HON)

      Second period
      Bachelor Level

      MATEMATICA ESTRUCTURAL

      First period
      Bachelor Level

    • CALCULO DIFERENCIAL

      Second period
      Bachelor Level

      CALCULO VECTORIAL

      First period
      Bachelor Level

Products

Goodrick J. (2022)
Definable sets in dp-minimal ordered Abelian groups
RIMS Kokyuroku (ISSN 1880-2818)
Article
Goodrick J, Dolich A. (2022)
Tame Topology over Definable Uniform Structures
Notre Dame Journal of Formal Logic (ISSN 0029-4527)
Article
Read more
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)
Article
Read more
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)
Article
Read more
Cardenal D .(2020). Medical Image Diagnosis Using Model Ensembles of Convolutional Neural Networks.
Medical Image Diagnosis Using Model Ensembles of Convolutional Neural Networks
Thesis
Read more
Bogart T, Goodrick J, Woods K. (2019)
Parametric Presburger arithmetic: complexity of counting and quantifier elimination
Mathematical Logic Quarterly (ISSN 09425616)
Article
Read more
Goodrick J, Dobrowolski J. (2019)
Some remarks on inp-minimal and finite burden groups
Archive for Mathematical Logic (ISSN 0933-5846)
Article
Read more
Goodrick J, Dolich A. (2018)
A characterization of strongly dependent ordered abelian groups
Revista Colombiana de Matemáticas (ISSN 0034-7426)
Article
Read more
Goodrick J. (2018)
Bounding quantification in parametric expansions of Presburger arithmetic
Archive for Mathematical Logic (ISSN 0933-5846)
Article
Read more
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)
Article
Read more
Bogart T, Goodrick J, Woods K. (2017)
Parametric Presburger Arithmetic: Logic, combinatorics, and quasi-polynomial behavior
Discrete Analysis (ISSN 2397-3129)
Article
Read more
Goodrick J, Dolich A. (2017)
Strong theories of ordered Abelian groups
Fundamenta Mathematicae (ISSN 0016-2736)
Article
Read more
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)
Inbook
Goodrick J, Byunghan Kim, Kolesnikov A. (2015)
Type-amalgamation properties and polygroupoids in stable theories
Journal of Mathematical Logic (ISSN 0219-0613)
Article
Read more
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)
Inbook
Read more
Goodrick J, Michael C. Laskowski. (2014)
The Schröder-Bernstein property for a-saturated models
Proceedings of the American Mathematical Society (ISSN 0002-9939)
Article
Read more
Goodrick J, Kolesnikov A, Byunghan Kim. (2013)
Amalgamation functors and boundary properties in simple theories
Israel Journal of Mathematics (ISSN 0021-2172)
Article
Read more
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)
Article
Read more
Goodrick J, Michael C. Laskowski. (2012)
THE SCHRODER-BERNSTEIN PROPERTY FOR WEAKLY MINIMAL THEORIES
Israel Journal of Mathematics (ISSN 0021-2172)
Article
Read more
Dolich A, Goodrick J, Lippel D. (2011)
Dp-Minimality: Basic Facts and Examples
Notre Dame Journal of Formal Logic (ISSN 0029-4527)
Article
Read more
Goodrick J. (2010)
A MONOTONICITY THEOREM FOR DP-MINIMAL DENSELY ORDERED GROUPS
Journal of Symbolic Logic (ISSN 0022-4812)
Article
Read more
Goodrick J, Kolesnikov A. (2010)
GROUPOIDS, COVERS. AND 3-UNIQUENESS IN STABLE THEORIES
Journal of Symbolic Logic (ISSN 0022-4812)
Article
Read more

Projects

  • 2011
    • Project 1: The Schröder-Bernstein property Project 2: Amalgamation properties in simple theories Project 3: Dimension in dependent theories

      Duration: 36 months

      PR.3.2010.1516.jr.goodrick427