Stats
228,461
reputation
2.5m
reached
5,031
answers
163
questions
Loading…
About
Academic-turned-teacher (but still doing research as a hobby), interested in mathematical logic - specifically, computability theory and reverse mathematics, set theory, and abstract model theory. I'm also interested in other Nifty Things, in mathematics and elsewhere.
Since the SE system only allows temporary bounties, I am here informally "perma-bountying" the following ten questions, each for 1000 points:
Geometry and topology:
Model theory:
Descriptive set theory:
Set theory:
Computability theory:
Badges
View all badges
21
gold badges
-
first-order-logicNov 30, 2020
-
model-theoryMar 12, 2020
-
set-theoryJun 15, 2017
304
silver badges
-
incompletenessFeb 22, 2020
-
real-numbersOct 13, 2020
-
peano-axiomsApr 3, 2022
550
bronze badges
-
decidabilityApr 5, 2022
-
second-order-logicApr 23, 2021
-
nonstandard-modelsFeb 12, 2021
Top tags
View all tags
5,768
Score
1,649
Posts
32
Posts %
3,968
Score
1,001
Posts
19
Posts %
2,127
Score
537
Posts
10
Posts %
2,107
Score
587
Posts
11
Posts %
1,406
Score
461
Posts
9
Posts %
1,319
Score
340
Posts
7
Posts %
Top Meta posts
8
9
Top network posts
View all network posts