Steve Jackson (matemático)

Stephen Craig Jackson es un teórico de conjuntos estadounidense de la Universidad del Norte de Texas . ^{[ 1 ]} Gran parte de su trabajo más notable ha involucrado las consecuencias descriptivas de la teoría de conjuntos del axioma de determinatividad . ^{[ 2 ]} En particular, es conocido por haber calculado los valores de todos los ordinales proyectivos (los supremos de las longitudes de todos los pre-buenos órdenes de los números reales en un nivel particular de la jerarquía proyectiva ) bajo el supuesto de que se cumple el axioma de determinatividad.

En los últimos años también ha realizado contribuciones a la teoría de las relaciones de equivalencia de Borel . Junto con Dan Mauldin resolvió el problema de la red de Steinhaus . ^{[ 3 ] [ 4 ]}

Jackson obtuvo su doctorado en 1983 en UCLA bajo la dirección de Donald A. Martin , con una disertación sobre Un cálculo de δ ¹ ₅ . En ella, demostró que, bajo el axioma de determinatividad,$${\displaystyle {\boldsymbol {\delta }}_{5}^{1}=\aleph _{\omega ^{\omega ^{\omega }}+1}}$$de este modo se resuelve el primer problema de Victoria Delfino, ^{[ 5 ]} uno de los problemas más conocidos de la combinatoria del axioma de determinación .

• Lista de artículos publicados por Steve Jackson
• Steve Jackson en el Proyecto de Genealogía Matemática