Skip to main content
MathOverflow
aws's user avatar
aws's user avatar
aws's user avatar
aws
  • Member for 11 years, 11 months
  • Last seen this week
Profile Activity

50 Answers

Score Activity Newest
36 votes

Is there a constructive proof of Cantor–Bernstein–Schroeder theorem ?

27 votes
Accepted

Does an existence of large cardinals have implications in number theory or combinatorics?

20 votes
Accepted

Does $\forall x \forall y\ (x \in y) \lor \lnot (x \in y)$ imply excluded middle?

19 votes

Consistency strength of HoTT

15 votes
Accepted

A Model where Dedekind Reals and Cauchy Reals are Different

11 votes
Accepted

Decimal expansion definition of real numbers, constructively

9 votes
Accepted

Brouwer's theorem for the Cauchy reals

9 votes

Is there a semantics for intuitionistic logic that is meta-theoretically "self-hosting"?

9 votes
Accepted

In cubical type theory, can we insist that "constant" compositions are the identity?

8 votes
Accepted

A weak form of countable choice

8 votes

In the category of sets epimorphisms are surjective - Constructive Proof?

8 votes
Accepted

Where is the end of universe?

8 votes

"Rice (like) Theorem" for primitive recursive functions?

8 votes
Accepted

Bishop's paradox of the countability of sequences

8 votes
Accepted

For which Sheaf topoi is Brouwer's fan theorem true?

8 votes

(When) do filtered colimits exist in the effective topos?

7 votes
Accepted

Small complete categories in HoTT+LEM

7 votes
Accepted

Intuition behind Kleene's “second algebra” $\mathcal{K}_2$

7 votes

Precise relationship between elementary and Grothendieck toposes?

7 votes
Accepted

Does the small object argument need replacement?

6 votes
Accepted

Does second-order Heyting arithmetic have the disjunction and existence properties?

6 votes
Accepted

Equivalence of real numbers in terms of Dedekind cuts and Cauchy nets of rational numbers

6 votes
Accepted

Non smallness of the set of anafunctors without AC?

6 votes

Stable unions without stable images

6 votes
Accepted

Is there any forcing free proof for hard independence results?

6 votes

How hard is Heyting satisfiability, i.e. the constructive version of SAT? In particular, is 2-HSAT NL-complete or is it harder?

6 votes
Accepted

Archimedean ordered fields without maxima and minima in constructive mathematics

5 votes

When can a function defined on $[a, b] \cup [b, c]$ be constructively extended to a function defined on $[a, c]$?

5 votes

Ordinal realizability vs the constructible universe

5 votes
Accepted

Is every set smaller than a regular cardinal, constructively?

1
2