Stats
248,339
reputation
3.0m
reached
5,313
answers
171
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 500 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
353
silver badges
-
incompletenessFeb 22, 2020
-
real-numbersOct 13, 2020
-
peano-axiomsApr 3, 2022
624
bronze badges
-
reverse-mathApr 30
-
decidabilityApr 5, 2022
-
second-order-logicApr 23, 2021
Top tags
View all tags
6,343
Score
1,738
Posts
32
Posts %
4,409
Score
1,073
Posts
20
Posts %
2,435
Score
656
Posts
12
Posts %
2,212
Score
549
Posts
10
Posts %
1,610
Score
503
Posts
9
Posts %
1,420
Score
351
Posts
6
Posts %
Top Meta posts
8
9
Top network posts
View all network posts