aws

Member for 11 years, 11 months
Last seen this week

Summary

Reputation

4,378

4.4k
3.3k
2.3k

2021
2022
2023
2024

Top tag

lo.logic

Next privilege

5,000 Rep.

Approve tag wiki edits

Badges

19

18

Newest

Nice Answer

Next badge

0/1

Excavator

Impact

~43k

people reached

0

posts edited

2

helpful flags

100

votes cast

Answers

View all 50 answers

36

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

Mar 3, 2013

27

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

May 3, 2013

20

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

Aug 2, 2020

19

Consistency strength of HoTT

Aug 22

15

A Model where Dedekind Reals and Cauchy Reals are Different

Apr 24, 2013

Questions

14

Existence property for ordered fields

Aug 2, 2013

7

How does nullification of $K(\mathbb{Z}, 2)$ compare to 1-truncation?

Jun 7, 2023

5

Turing degrees of lim infs of computable functions

Nov 14

Tags

View all 46 tags

lo.logic

181

Score

22

posts

constructive-mathematics

149

Score

23

posts

set-theory

146

Score

13

posts

ct.category-theory

78

Score

13

posts

computability-theory

62

Score

10

posts

Reputation

+25

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

+10

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

+10

The field structure on the locale of real numbers

+10

Turing degrees of lim infs of computable functions

Badges

View all badges

This user doesn’t have any gold badges yet.

19

silver badges

Constituent

× 2

Apr 6, 2021
Enthusiast

Feb 18, 2013
Good Answer

× 2

Jan 17, 2020

18

bronze badges

constructive-mathematics

Feb 9
lo.logic

May 22
Citizen Patrol

Aug 20, 2018

Accounts

View all 9 accounts

4,378
19
18

3,226
16
14

Proof Assistants

311
1
3

151

101

Active bounties (0)

This user has no active bounties

Votes cast

100

upvotes

29

question votes

71

answer votes