159

Answers
votes newest views recent
2
Subquotients in ZF
12
Lawvere’s fixed point theorem and the Recursion Theorem
7
On the large cardinals foundations of categories
31
Is rigour just a ritual that most mathematicians wish to get rid of if they could?
2
Definition of subobject classifier in presheaves
3
Useful tricks in experimental mathematics
7
Can Inequivalent Topologies Have Same Sheaves/Cohomology?
14
A Model where Dedekind Reals and Cauchy Reals are Different
4
Connection between codata and greatest fixed points
4
Is there any nontrivial monad on the category of graphs?
13
What can be expressed in and proved with the internal logic of a topos?
4
Question on Godel completeness theorem
4
Connections between topos theory and topology
8
Was the early calculus inconsistent?
6
Existence of a Sub-Category of the Category of Topological Spaces
7
New research on coding in reverse mathematics?
12
Is there a constructive proof of Cantor–Bernstein–Schroeder theorem ?
7
Why is there a formula for symbolic differentiation (chain and product rules) but not for symbolic integration?
11
Axiom of Choice and Continuous function
8
Understanding Troelstra’s Uniformity Principle in Constructive Mathematics
15
Mathematicians whose works were criticized by contemporaries but became widely accepted later
1
Is there a natural measurable structure on the $\sigma$-algebra of a measurable space?
6
The egg and the chicken
6
Ring with three binary operations
5
Finding a vertex equidistant from two given vertices in a digraph
4
Is an ultrafinitist Hilbert’s program doomed?
4
What logic is modelled by generalized boolean algebra?
13
Category and the axiom of choice
2
Compactness of the Hilbert cube without the Axiom of Choice
14
Usage of set theory in undergraduate studies
1 2 3 4 5 6 next