Mathematics
Profile Activity
Meta user
Network profile
301
reputation
1
8

ternary

Apparently, this user prefers to keep an air of mystery about them.

1
answer
9
questions
~921
people reached
  • Member for 2 years, 1 month
  • 39 profile views
  • Last seen Feb 7 at 1:13

Communities (9)

Top network posts

We respect a laser-like focus on one topic.

Top tags (13)

Score 1
Posts 7
Posts % 70
Score 1
Posts 2
Score 1
Posts 1
Score 0
Posts 5
Score 0
Posts 3
Score 0
Posts 2
View all tags →

Top posts (10)

All Questions Answers
Votes Newest
4 Results on forcing extensions for models of CZF Dec 31 '19
4 Type theoretical foundation of unbounded Zermelo set theory Jan 5 '20
4 self-contained vs. non-self-contained notions of realizability Jan 9 '20
4 Term existence property for CZF Jan 20 '20
1 intuitionistic probability theory Jan 24 '20
1 What's the strength of logic without $\neg\neg\exists x P(x) \implies \exists x P(x)$? Jan 23 '19
0 de Finetti probabilities and the repeatability of events Apr 14 '20
0 The price of constructivity Jan 23 '19
0 Constructive proof that only zero is less than one May 5 '19
0 Constructively founded set of axioms for real analysis Jan 13 '20

Badges (9)

Gold

—

Silver

1

Rarest

Bronze

8

Rarest