Joseph Van Name's user avatar
Joseph Van Name's user avatar
Joseph Van Name's user avatar
Joseph Van Name
  • Member for 12 years
  • Last seen this week
  • Circassia
76 votes
13 answers
8k views

What computational problems would be good proof-of-work problems for cryptocurrency mining?

13 votes
1 answer
1k views

Are there discontinuities in the large cardinal hierarchy?

25 votes
1 answer
1k views

Are sums of sequences decidable?

15 votes
2 answers
884 views

Does there exist a supercompactness theorem?

8 votes
2 answers
884 views

Large cardinal near inconsistencies

8 votes
5 answers
840 views

Which topological properties are preserved under taking box products?

2 votes
1 answer
835 views

When are the join-irreducibles in a complete lattice join-dense?

10 votes
1 answer
726 views

Does there exist an uncountable partition of a Polish space so that the union of any collection of blocks is Borel?

14 votes
1 answer
716 views

Where does this strengthening of I1 stand?

8 votes
1 answer
676 views

Is there an abstract theory of club sets and stationary sets?

3 votes
2 answers
657 views

An inequality for the spectral radius of block matrices

10 votes
2 answers
592 views

Examples of transfinite towers

4 votes
0 answers
589 views

What solutions to useful computational problems could be rewarded through cryptocurrency smart contracts?

5 votes
0 answers
588 views

Do the ternary braid groups arise in algebraic topology?

3 votes
0 answers
587 views

Braided lobsters

7 votes
1 answer
586 views

Reversible varieties

15 votes
1 answer
582 views

Does there exist an uncountable separable metric space $X$ such that every subset of $X$ is a Borel set?

7 votes
1 answer
579 views

How long can it take to generate a $\sigma$-algebra?

5 votes
4 answers
573 views

Why do some linear cellular automata over $Z_{2}$ on the torus have small order?

10 votes
3 answers
546 views

Can one force there to be an elementary embedding $j:V_{\lambda}\rightarrow V_{\lambda}$ for some inaccessible $\lambda$?

4 votes
2 answers
526 views

Proving results about complete Boolean algebras in ZFC using Boolean valued models

14 votes
3 answers
479 views

Does an ultrapower of an Aronszajn tree have an $\omega_{1}$-branch?

9 votes
3 answers
478 views

Is the product of ultrafilters cancellative?

7 votes
2 answers
455 views

Integration on Compact Semirings

2 votes
1 answer
411 views

Is every zero-dimensional space with no infinite clopen partition pseudocompact?

12 votes
1 answer
384 views

How long can a cycle of antichains in a finite partial order be?

8 votes
1 answer
382 views

Are there any unitary matrices which satisfy the Yang-Baxter equation which are universal for quantum computation?

7 votes
1 answer
359 views

Is there a simple combinatorial characterization for when a direct limit of ultrapowers of $V$ is well-founded?

8 votes
1 answer
349 views

How long does the slow inefficient algorithm for computing the product in classical Laver tables take?

6 votes
1 answer
347 views

Are there first order theories of interest to an algebraist or at least a model theorist of large cardinal consistency strength?

1
2 3 4 5 6