Notifications
Categories Users Search
Help
Q&A Meta
Profile Activity
75%
+4 −0
Q&A Existence of a set of all sets

last activity 17 days ago by ‭Derek Elkins‭

Answer
66%
+2 −0
Q&A Computational hardness of the uniform halting problem

last activity about 1 month ago by ‭Derek Elkins‭

Answer
66%
+2 −0
Q&A Can we constructively find a third element of a set $X$ satisfying $X \cong X \times X$ given two distinct elements?

0 answers  ·  last activity 29 days ago by ‭Derek Elkins‭

Question constructive-logic type-theory
See all »

‭Derek Elkins‭ has cast 5 votes

Type of vote Count
Upvotes 4
Downvotes 1
on Question 4
on Answer 1