Jack Howard Silver, Mathematiker und Philosoph, verbrachte seine Karriere damit, die Grenzen der Mengenlehre und die Struktur großer Kardinalzahlen zu analysieren. Seine Arbeit an der University of California, Berkeley, lieferte wesentliche Werkzeuge zum Verständnis des konstruierbaren Universums L und beeinflusste, wie Logiker das Problem der singulären Kardinalzahlen und die Konsistenz verschiedener mathematischer Modelle angehen.
Akademische Grundlagen und Forschung
Geboren 1942 in Missoula, Montana, promovierte Silver 1966 an der University of California, Berkeley. Sein Doktorvater war Robert Vaught. Im folgenden Jahr trat er dort in den Lehrkörper ein und blieb seiner akademischen Laufbahn an dieser Institution treu. Zwischen 1970 und 1972 war er Inhaber eines Alfred P. Sloan Research Fellowship.
Beiträge zur Mengenlehre
Silver identifizierte 0# in seiner Dissertation von 1966, ein Konzept, das später in Frank R. Drakes Lehrbuch Set Theory: An Introduction to Large Cardinals detailliert beschrieben wurde. In seiner Arbeit von 1975 „On the Singular Cardinals Problem“ bewies er, dass für eine singuläre Kardinalzahl mit überabzählbarer Kofinalität die verallgemeinerte Kontinuumshypothese 2κ = κ+ impliziert. Dieser Beweis stellte die vorherrschende Ansicht infrage, dass Forcing-Argumente zur Negation des Theorems innerhalb von ZFC führen könnten. Um seine Forschung zu erleichtern, führte er den Begriff der Meisterbedingung ein, die als technisches Instrument für Forcing-Beweise mit großen Kardinalzahlen diente.
Methodische Innovationen
Seine Forschung erweiterte sich um den Silver-Kollaps, eine Variante des Levy-Kollaps, den er nutzte, um die Konsistenz der Chang-Vermutung zu beweisen. Er zeigte, dass man unter der Annahme der Konsistenz einer superkompakten Kardinalzahl ein Modell konstruieren kann, in dem 2κ = κ++ für eine messbare Kardinalzahl κ gilt. Durch die Entwicklung von Silver-Maschinen erbrachte er einen Beweis für Jensens Covering-Lemma, der ohne Feinstruktur auskam. Darüber hinaus entdeckte er Silver-Ununterscheidbarkeiten und verallgemeinerte den Begriff eines Kurepa-Baums, ein Konzept, das als Silvers Prinzip bekannt ist.
Zwanzig Fragen, acht Minuten auf der Uhr und ein Perzentil, gemessen an allen bisherigen Teilnehmern. Ohne Anmeldung.
IQ-Test starten →Kurzübersicht
- Geboren: 1942, Missoula - Verstorben: 22. Dezember 2016 - Ausbildung: Ph.D., University of California, Berkeley, 1966 - Fachgebiet: Mengenlehre und Logik - Wichtigste Entdeckung: 0# (zero sharp) - Bedeutendes Stipendium: Alfred P. Sloan Research Fellowship (1970–1972)
Häufig gestellte Fragen
### Was ist 0#?
0# (zero sharp) ist ein mathematisches Konzept, das von Jack Silver in seiner Dissertation von 1966 entdeckt wurde.
### Wo hat Jack Silver gearbeitet?
Er war an der University of California, Berkeley, tätig, wo er auch promovierte.
