MathOverflow
Frode Alfson Bjørdal's user avatar
Frode Alfson Bjørdal's user avatar
Frode Alfson Bjørdal's user avatar
Frode Alfson Bjørdal
  • Member for 10 years, 9 months
  • Last seen this week
Profile Activity
Stats
3,064
reputation
48k
reached
6
answers
99
questions
Communities
View all
Badges
View all badges
1
gold badge
14
silver badges
33
bronze badges
Top tags
View all tags
6
Score
95
Posts
90
Posts %
3
Score
53
Posts
50
Posts %
3
Score
16
Posts
15
Posts %
3
Score
15
Posts
14
Posts %
0
Score
6
Posts
6
Posts %
0
Score
5
Posts
5
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
23
Is there a natural bijection from $\mathbb{N}$ to $\mathbb{Q}$?
Mar 21, 2015
question
22
"The boat is not longer than it is."
Jul 10, 2021
question
10
What was Gödel's Constitutional Problem? [closed]
Jun 17, 2016
question
9
A question on an ordinal for ZFC-
Jul 31, 2013
question
8
The Halting Problem and Church's Thesis
Aug 19, 2016
question
7
Is a computer program for correspondence theory available?
Mar 19, 2014
question
6
When do we get $CON(ZF)$ in transfinite progressions of consistency statements?
Mar 8, 2017
question
6
Does $WKL_0$ provide more comprehension than $RCA_0$?
Oct 5, 2015
question
6
Did Brouwer evade uncountability?
Jan 11, 2015
question
6
Ackermann set theory without extensionality?
Sep 9, 2022
Top Meta posts
4
0
4
Criteria for Top question?
Top network posts
View all network posts
100
How to rotate text inline?
26
How may I rotate a tikzpicture?
24
How can I get the Russian ruble sign?
17
How do I add \begin{definition} … \end{definition}?
12
How do I get filled black < and \leq?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.