Skip to main content
Mathematics
Fernando Chu's user avatar
Fernando Chu's user avatar
Fernando Chu's user avatar
Fernando Chu
  • Member for 6 years, 4 months
  • Last seen this week
Profile Activity
Stats
2,806
reputation
20k
reached
54
answers
97
questions
Communities
View all
About

Homo exercens.

Badges
View all badges
This user doesn’t have any gold badges yet.
10
silver badges
22
bronze badges
Top tags
View all tags
30
Score
13
Posts
9
Posts %
23
Score
26
Posts
17
Posts %
21
Score
16
Posts
11
Posts %
18
Score
21
Posts
14
Posts %
16
Score
38
Posts
25
Posts %
11
Score
10
Posts
7
Posts %
Top posts
View all questions and answers
answer
12
Purely categorical definition of Hausdorff space
Dec 24, 2021
answer
11
Set of rapidly increasing functions is uncountable?
Oct 19, 2019
question
11
Necessity of the use of reals in the metric definition
Jun 3, 2021
question
10
Maximal ideal theorem in Heyting Algebras implies choice
Sep 12, 2023
question
5
For any pair of definable sets of the same cardinality, is there a definable bijection between them?
Sep 13, 2018
answer
5
Questions Pertaining to Fundamental Mathematical Knowledge and Set Theory
May 2
answer
5
Set Theory Equivalence clarification
Nov 26, 2019
answer
5
Cyclic group of order $4$
Oct 25, 2023
question
4
Is every infinite compact space with no isolated points uncountable?
Dec 26, 2018
question
4
Does every metrizable space have a complete metric?
Sep 21, 2023
Top network posts
View all network posts
19
How does Overleaf render LaTeX online?
17
Create my own method for DataFrames (python)
6
What are the typechecking differences between records and iterated sigma types in Agda?
6
Proving that negative axioms don't break canonicity
5
Element is in first half of the list, Haskell