John R. Steel

John R. Steel (* 30. Oktober 1948) ist ein US-amerikanischer mathematischer Logiker, der sich mit axiomatischer Mengenlehre beschäftigt.

John Steel promovierte 1977 bei John West Addison und Stephen G. Simpson an der University of California, Berkeley (Determinateness and Subsystems of Analysis). Er war in den 1990er Jahren Professor an der University of California, Los Angeles (UCLA) und ist heute emeritierter Professor an der University of California, Berkeley.

Steel befasst sich mit inneren Modellen der Mengenlehre und Determiniertheit. So bewies er mit Donald A. Martin projektive Determiniertheit unter Annahme eines Axioms der Existenz großer Kardinalzahlen (veröffentlicht 1989). Beide erhielten für diese Arbeit mit W. Hugh Woodin 1988 den Karp-Preis. Steele ist der Gödel-Lecturer 2012. Er erhielt 2015 mit Ronald Jensen die Hausdorff Medal der European Set Theory Society für ihre Arbeit K without the measurable.<ref>Hausdorff Medal 2015, ESTS</ref>

1990 war er Gastredner auf dem Internationalen Mathematikerkongress in Kyōto (Iteration trees).

Schriften

The Core Model Iterability Problem, Springer 1996
mit Ronald Jensen: K without the measurable, The Journal of Symbolic Logic, Band 78, 2013, S. 708–734

Weblinks

Homepage in Berkeley

Einzelnachweise

{{#ifeq: p | p | | {{#if: 1103857118n/88/83272227599761 | |

}} }}Vorlage:Hinweisbaustein{{#ifeq: p | p | | {{#if: 1103857118n/88/83272227599761 | |

}} }}{{#ifeq:||{{#if: | [[Kategorie:Wikipedia:GND fehlt {{#invoke:Str|left|{{{GNDCheck}}}|7}}]] }}{{#if: | {{#if: | | }} }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#ifeq: p | p | {{#if: 1103857118 | | {{#if: {{#statements:P227}} | | }} }} }}{{#ifeq: p | p | {{#if: 1103857118 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P227}} | | }} }} }} }}{{#ifeq: p | p | {{#if: n/88/83272 | | {{#if: {{#statements:P244}} | | }} }} }}{{#ifeq: p | p | {{#if: n/88/83272 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P244}} | | }} }} }} }}{{#ifeq: p | p | {{#if: 227599761 | | {{#if: {{#statements:P214}} | | }} }} }}{{#ifeq: p | p | {{#if: 227599761 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P214}} | | }} }} }} }}Vorlage:Wikidata-Registrierung

{{#if: Steel, John R. | {{#if: | {{#if: US-amerikanischer Logiker | {{#if: 30. Oktober 1948 | {{#if: | {{#if: | {{#if: |

Personendaten
NAME	Steel, John R. }}
ALTERNATIVNAMEN	}}
KURZBESCHREIBUNG	US-amerikanischer Logiker }}
GEBURTSDATUM	30. Oktober 1948 }}
GEBURTSORT	}}
STERBEDATUM	}}
STERBEORT	}}

Vorlage:Wikidata-Registrierung