MathOverflow
Johan's user avatar
Johan's user avatar
Johan's user avatar
Johan
  • Member for 4 years, 5 months
  • Last seen this week
Profile Activity
Stats
491
reputation
2k
reached
1
answer
9
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
7
bronze badges
Top tags
View all tags
1
Score
9
Posts
90
Posts %
1
Score
8
Posts
80
Posts %
1
Score
6
Posts
60
Posts %
1
Score
2
Posts
20
Posts %
1
Score
2
Posts
20
Posts %
0
Score
3
Posts
30
Posts %
Top posts
All Questions Answers
Score Newest
question
8
Formalisation of intuitive concepts in the language leading to mathematical progress
Jun 28, 2022
question
8
Elementary countable submodels in Gödel's universe
Jan 11
question
7
Capturing the $\omega_1^{\mathrm{CK}}$-th stage of Gödel's constructible hierarchy
Jun 13, 2019
question
5
Terminology for ordinals whose constructible level is the least one satisfying some formula
Apr 21
question
3
Set-theoretic hierarchy using the uniqueness quantification
Feb 2, 2022
question
2
When is a $\Sigma_n$ Skolem hull a proper submodel?
Jun 25, 2021
question
2
End elementary extension in infinitary logic of some $L_\alpha$ producing a $L_\beta$
May 18
question
1
End-extension in Gödel's constructible universe
Aug 18, 2019
question
1
Recursively inaccessible ordinals and non locally countable ordinals
Jan 17
answer
1
Terminology for ordinals whose constructible level is the least one satisfying some formula
May 15
Top network posts
View all network posts
13
I feel like my mathematical competence is fading
11
Robot Roulette: High stakes robot gambling
10
How to reconcile desire to succeed in academia/willingness to prioritize research with ethical concerns about fair work practices?
10
What should I do ideally to recharge during a PhD?
9
Photo Competition 2021-11-15: Landscapes

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.