11

Answers
votes newest views recent
2
The set-theoretic multiverse as a (bi)category
1
Given a Grothendieck topos, what does its localic groupoid look like?
10
History Question: AUTObiography of Mathematicians
5
What is the status of irrational numbers within finitism/ultrafinitism?
2
Which topological spaces admit a nonstandard metric?
4
How do I make the conceptual transition from multivariable calculus to differential forms?
2
Why is the concept of topos a “metamorphosis” of the concept of space?
1
Inconsistent theory with long contradiction
2
Set theory and Model Theory
1
Is PA consistent? do we know it?
5
Is there any formal foundation to ultrafinitism?