Skip to main content
MathOverflow
blk's user avatar
blk's user avatar
blk's user avatar
blk
  • Member for 1 year, 4 months
  • Last seen more than a week ago
Profile Activity
Stats
351
reputation
4k
reached
2
answers
3
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
8
bronze badges
Top tags
View all tags
4
Score
2
Posts
40
Posts %
3
Score
1
Posts
20
Posts %
3
Score
1
Posts
20
Posts %
1
Score
1
Posts
20
Posts %
1
Score
1
Posts
20
Posts %
0
Score
2
Posts
40
Posts %
Top posts
question
15
Exponentials of truth values
May 28
question
3
Left shift of transfinite sequences
Sep 26
answer
3
Banach and Knaster-Tarski fixed point theorems -- are they related?
May 28
question
1
How can implications in Gödel logic be understood as assumptions?
Aug 11, 2023
answer
1
Teaching suggestions for Kleene fixed point theorem
Jun 26
Top network posts
View all network posts
7
$\Delta_n^0$-complete sets in the arithmetical hierarchy
7
Why/when do we ever need transfinite loop variants?
5
Does every ordinal have a well-defined "next" limit ordinal?