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, 1 month
  • Last seen this week
  • Circassia
4 votes

Examples of eventual counterexamples

4 votes
Accepted

An example of a $T_1$ space where all closed $G_\delta$ sets are zero-sets, but it isn't normal

4 votes

Connectedness of Invertible elements in a non- commutative C*- algebra

4 votes

Examples of common false beliefs in mathematics

4 votes

Why are so few operations with arity bigger than 2?

4 votes
Accepted

An example of a frame homomorphism which does not preserve Heyting implication

4 votes

Arguments against large cardinals

4 votes

Posets isomorphic to their endomorphism poset

4 votes

When is any convergence sequence is stationary?

4 votes

Are lattices quotients of their Dedekind-MacNeille completion?

4 votes

Non-principal prime ideals in infinite distributive lattices

4 votes
Accepted

Spaces for which separable is equivalent to second-countable

4 votes
Accepted

Paracompact zero-dimensional space without clopen partition refinement

4 votes
Accepted

Measure with `somewhere dense' support

4 votes

Measure with `somewhere dense' support

4 votes
Accepted

Is the associated order of a minimal $T_0$ space always total?

4 votes

A clear map of mathematical approaches to Artificial Intelligence

4 votes
Accepted

When can we find a net, defined on a totally ordered index set, converging to a non-isolated point in a compact Hausdorff space?

4 votes
Accepted

A stronger version of paracompactness

4 votes
Accepted

A question about regular closed sets

4 votes

Neural networks over gadgets other than $\mathbb{R}$

4 votes

$|\mathsf{RO}(X)|$ vs. $2^{d(X)}$ for $T_3$ spaces

4 votes
Accepted

Restriction to dense subset of functions whose graph is dense

4 votes
Accepted

Limit of zero sets of harmonic functions

4 votes
Accepted

Matrix determinant lemma for non-rank-one updates

4 votes

Is the set of $\kappa$-complete ultrafilters closed in $\beta X$?

4 votes
Accepted

Relation graph isomorphism to discrete logarithm

4 votes

Motivation for Laver's use of large cardinals to show finite combinatorial properties of Laver tables

4 votes

Constructive lattice completion

4 votes

Diffie Hellman cryptography based on graph isomorphism?

1
5 6
7
8 9
15