Steve Jackson (matematiker)

Steve Jackson (fullständigt namn: Stephen Craig Jackson ) är en amerikansk uppsättningsteoretiker vid University of North Texas . Mycket av hans mest anmärkningsvärda arbete har involverat de beskrivande set-teoretiska konsekvenserna av beslutsamhetens axiom . I synnerhet är han känd för att ha beräknat värdena för alla projektiva ordinaler (suprema av längderna för alla förordnande av de reella talen på en viss nivå i den projektiva hierarkin ) under antagandet att axiomet för bestämning gäller.

Under de senaste åren har han också bidragit till teorin om Borels ekvivalensrelationer . Med Dan Mauldin löste han Steinhaus gallerproblemet.

Jackson tog sin doktorsexamen 1983 vid UCLA under ledning av Donald A. Martin , med en avhandling om A Calculation of δ ¹ ₅ . I den bevisade han att under beslutsamhetens axiom,

$$\mathbf {\delta _{5}^{1}} =\aleph _{\omega ^{\omega ^{\omega }}+1}$$

därigenom lösa det första Victoria Delfino-problemet, ett av de ökända problemen med kombinatoriken i beslutsamhetsaxiomet .

externa länkar

• Lista över tidningar publicerade av Steve Jackson
• Steve Jackson vid Mathematics Genealogy Project