Skip to main content
Mathematics
8bc3 457f's user avatar
8bc3 457f's user avatar
8bc3 457f's user avatar
8bc3 457f
  • Member for 3 years, 5 months
  • Last seen more than a week ago
Profile Activity

Stats

508
reputation
2k
reached
21
answers
7
questions
Communities
View all

About

Just me.

Badges

View all badges
This user doesn’t have any gold badges yet.
3
silver badges
14
bronze badges

Top tags

View all tags
6
Score
4
Posts
14
Posts %
4
Score
4
Posts
14
Posts %
4
Score
3
Posts
11
Posts %
3
Score
7
Posts
25
Posts %
1
Score
3
Posts
11
Posts %
1
Score
2
Posts
7
Posts %

Top posts

View all questions and answers
answer
4
Does there exist a set $\{ \Omega\mid \aleph_0<{\rm card}(\Omega)<2^{\aleph_0} \}$?
Mar 9, 2023
question
3
Literature about the "Spaltungssatz"
Aug 8, 2022
question
3
Transfer between different signatures of the same logic
Jan 2, 2023
answer
3
Need help understanding $\alpha$-equivalence.
Oct 22, 2022
question
2
Embeddings of finite boolean algebras
Feb 24, 2023
question
1
Bound solutions of polynomial equation
Oct 4, 2022
question
1
Which logic has $K$ as modal companion?
Nov 3, 2022
answer
1
Literature about the "Spaltungssatz"
Aug 11, 2022
answer
1
In measure theory, what is an example of a set of not well-defined area in unit square in $\mathbb{R}^2$?
Aug 14, 2022
answer
1
I can't have a confidence of my this lambda calculus of $~\left(\lambda x ~.~ (x~z) \right)~$
Aug 18, 2022

Top network posts

View all network posts
18
Looking for a fantasy book of a bright city of glass
6
Inductive vs. recursive definitions