Joel David Hamkins
|
Registered User
|
I am a professor at the City University of New York, at the
College of Staten Island and the CUNY Graduate Center,
living in midtown Manhattan. My main research interest lies
in mathematical logic, particularly set theory, focusing on
the mathematics and philosophy of the infinite. A principal
concern has been the interaction of forcing and large
cardinals, two central concepts in set theory. I have
worked in group theory and its interaction with set theory
in the automorphism tower problem, and in computability
theory, particularly the infinitary theory of infinite time
Turing machines. Recently, I am preoccupied with the
set-theoretic multiverse, engaging with the emerging field
known as the philosophy of set theory.
|
| 38 |
Questions |
69
61
votes
41
answers
13k
views
22
57
votes
5
answers
5k
views
23
46
votes
8
answers
3k
views
15
45
votes
3
answers
3k
views
7
40
votes
10
answers
5k
views
16
38
votes
2
answers
2k
views
14
32
votes
5
answers
3k
views
14
32
votes
3
answers
2k
views
13
31
votes
4
answers
2k
views
6
27
votes
7
answers
1k
views
|
4996
|
Votes |
4645 |
351 |
|
191
|
Tags |
|
set-theory× 391 lo.logic× 335 forcing× 66 model-theory× 62 computability-theory× 62 gn.general-topology× 61 large-cardinals× 40 computational-complexity× 40 soft-question× 39 order-theory× 38 |
axiom-of-choice× 36 measure-theory× 30 co.combinatorics× 30 gr.group-theory× 28 nt.number-theory× 27 reference-request× 26 ct.category-theory× 26 math-philosophy× 24 big-list× 24 graph-theory× 23 |
computer-science× 22 boolean-algebras× 18 descriptive-set-theory× 17 ultrafilters× 16 ra.rings-and-algebras× 15 proof-theory× 15 real-analysis× 14 pr.probability× 14 lattices× 14 foundations× 14 |
big-picture× 14 posets× 11 nonstandard-analysis× 11 metamathematics× 11 ca.analysis-and-odes× 11 ho.history-overview× 10 terminology× 9 arithmetic× 9 peano-axioms× 8 ordinal-numbers× 8 |
game-theory× 8 fa.functional-analysis× 8 examples× 8 mg.metric-geometry× 7 it.information-theory× 7 geometry× 7 formal-languages× 7 algorithms× 7 ag.algebraic-geometry× 7 ultrapowers× 6 |
|
542
|
Badges |

