Mathematics
0xd34df00d's user avatar
0xd34df00d's user avatar
0xd34df00d's user avatar
0xd34df00d
  • Member for 6 years, 7 months
  • Last seen this week
Profile Activity
Stats
1,771
reputation
27k
reached
6
answers
85
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
8
silver badges
16
bronze badges
Top tags
View all tags
3
Score
8
Posts
9
Posts %
2
Score
25
Posts
27
Posts %
1
Score
26
Posts
29
Posts %
1
Score
19
Posts
21
Posts %
1
Score
13
Posts
14
Posts %
1
Score
9
Posts
10
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
6
Proving $y = x + 1$ doesn't have a quantifier-free formula in $(\mathbb{Z}, =, <)$
Jun 10, 2018
question
5
Proving $\mathcal{P}(g \circ f) = \mathcal{P}(g) \circ \mathcal{P}(f)$ in a general topos
Mar 9
question
5
Prove linear functions that are not multiplications by a constant are unbounded on every interval
Mar 30, 2018
question
5
Every finite group is finitely presented, but how to do this effectively?
Jun 6, 2019
question
5
Proving finite group is commutative if there are representatives of its conjugacy classes that commute pairwise
Apr 23, 2020
question
3
Sum of nilpotent elements in a noncommutative ring
Jul 1, 2019
question
3
Proving the probability triple resulting from the extension theorem is complete [duplicate]
Nov 25, 2017
question
3
cokernels in $\mathbf{Ring}$ of the inclusion $\mathbb{Z} \hookrightarrow \mathbb{Q}$
Jul 6, 2019
question
3
Order relations on natural number objects in topoi, and symmetry
May 1
answer
3
problem with the expected value
Sep 9, 2017
Top network posts
View all network posts
18
if constexpr and requires-expression for ad-hoc concepts checking
13
Proving that merging two sorted lists produces a sorted list
7
Function composition and forall'ed types
6
Turning a hard error on incorrect template instantiation in SFINAE context into a soft error
6
User-defined vs automatic template deduction guides priorities

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.