Skip to main content
MathOverflow
saolof's user avatar
saolof's user avatar
saolof's user avatar
saolof
  • Member for 5 years, 2 months
  • Last seen this week
Profile Activity

Stats

2,159
reputation
92k
reached
9
answers
23
questions
Communities
View all

Badges

View all badges
This user doesn’t have any gold badges yet.
8
silver badges
23
bronze badges

Top tags

View all tags
11
Score
15
Posts
47
Posts %
11
Score
7
Posts
22
Posts %
10
Score
5
Posts
16
Posts %
7
Score
13
Posts
41
Posts %
7
Score
7
Posts
22
Posts %
7
Score
5
Posts
16
Posts %

Top posts

View all questions and answers
19
Are there any "simple" monoids with intermediate growth?
Mar 27, 2021
14
Why is the double negation of the axiom of choice rarely considered?
Oct 16, 2022
13
Is there a straightforward generalization of min(x,y) to positive-semidefinite Hermitian matrices?
Mar 9, 2021
13
Is the Petersen graph a "Cayley graph" of some more general group-like structure?
Apr 14, 2021
13
Why worry about the axiom of choice?
Sep 14, 2022
11
Is there a purely constructive presentation of the HK integral?
Mar 10, 2022
11
Is any choice axiom other than WISC inherited by Grothendieck topoi?
Sep 8, 2022
11
For which Sheaf topoi is Brouwer's fan theorem true?
Nov 24, 2022
10
Do compactly generated spaces have a more direct definition?
Mar 12, 2023
10
Example of a topos that violates countable choice
Nov 5, 2022

Top network posts

View all network posts
47
Creating an SQLAlchemy engine based on psycopg3
28
Does Julia have a ternary conditional operator?
18
Trying to find a way to construct Julia `generator`
14
Interleave bits efficiently
9
Quicksort and tail recursive optimization