Skip to main content
ToucanIan's user avatar
ToucanIan's user avatar
ToucanIan's user avatar
ToucanIan
  • Member for 2 years, 11 months
  • Last seen more than a month ago
4 votes
2 answers
114 views

Defining arbitrary join on the set of complete ideals of a Heyting Algebra

3 votes
1 answer
101 views

Correct constructive proof of $0 \leq x < 1/n$, $\forall n \in \mathbb{N} \implies x = 0$.

2 votes
1 answer
136 views

How do working constructivists get by with out the zero product property?

2 votes
1 answer
162 views

Class functions in constructive set theory

2 votes
2 answers
494 views

Impredicative Definitions (CZF)

2 votes
0 answers
146 views

Modern Type Theory vs. Martin Löf Type Theory

2 votes
1 answer
34 views

Proving a proposition by inhabiting a type

1 vote
1 answer
76 views

Indiscernability of identicals (HoTT)

1 vote
1 answer
100 views

Homotopy Type Theory Path Lifting Property

1 vote
1 answer
98 views

Order Properties of Constructive Reals (Bishop)

1 vote
1 answer
134 views

Constructive IVT: Question about initial step

0 votes
1 answer
44 views

Property involving Maximum and Absolute Value function

0 votes
1 answer
140 views

Transport property