Justin Tatch Moore (nacido en 1974) [1] es un teórico de conjuntos y lógico. Es profesor titular de matemáticas en la Universidad de Cornell .
Moore recibió su doctorado en 2000 de la Universidad de Toronto bajo la supervisión de Stevo Todorcevic . [1] [2] Fue profesor asistente de matemáticas en la Universidad Estatal de Boise . En el otoño de 2007, se unió a la facultad de la Universidad de Cornell .
Su principal área de investigación es la teoría de Ramsey de conjuntos infinitos. Es conocido por sus soluciones al problema de la base para órdenes lineales incontables y al problema del espacio L a partir de la topología general [3] y por su trabajo en la determinación de las consecuencias de relacionar el continuo con ciertos valores de la función aleph. [4] Moore, junto con su estudiante de doctorado Yash Lodha, produjo el primer contraejemplo sin torsión y presentado de forma finita al problema de von Neumann-Day , descrito originalmente por el matemático John von Neumann en 1929. Lodha presentó esta solución en el simposio de teoría de grupos geométricos y cohomológicos de la London Mathematical Society en agosto de 2013. [5]
Moore ganó el premio "Young Scholar's Competition" en 2006, en Viena, Austria. La competencia fue parte de los "Horizontes de la Verdad" que celebraban el centenario de Gödel en 2006. [6] Fue un orador invitado en la sesión de lógica del ICM , Hyderabad 2010, donde presentó su solución al problema de construir un espacio L. El espacio L se construyó sin asumir axiomas adicionales y combinando las funciones rho de Todorcevic con la teoría de números. [7] [8]
Moore es editor del Archivo de Lógica Matemática, donde se ocupa de artículos sobre teoría de conjuntos. [4] Fue uno de los organizadores del Programa Temático de otoño de 2012 sobre Forzamiento y sus Aplicaciones (Axiomas de Forzamiento y sus Aplicaciones) en el Instituto Fields . [9] En 2012, fue elegido miembro (Clase Inaugural de Miembros) de la Sociedad Matemática Estadounidense . [10]