Skip to main content
Dominic van der Zypen's user avatar
Dominic van der Zypen's user avatar
Dominic van der Zypen's user avatar
Dominic van der Zypen
  • Member for 14 years, 4 months
  • Last seen this week
4 votes

Which topological properties are preserved under taking box products?

4 votes

About the existence of a convergent sequence

4 votes

coloring infinite vertex transitive graph without large cliques

4 votes

Which mathematical definitions should be formalised in Lean?

4 votes
Accepted

Proof of the axiom of choice for finite sets in ZF

3 votes

Prominent non-mathematical work of mathematicians

3 votes

Which topological properties are preserved under taking box products?

3 votes

Knaster Tarski theorem, example needed

3 votes

Class of hypergraphs that are always the neighborhood hypergraph of some simple graph

3 votes

Non-principal prime ideals in infinite distributive lattices

3 votes
Accepted

$T_2$-spaces such that the lattices of open sets can be embedded into each other

3 votes

Does every set $X$ have a topology for which the only continuous self-surjection is the identity map?

3 votes
Accepted

Retractions and left-factoring morphisms

3 votes
Accepted

Average degree of neighbors in a simple graph (-> Friendship paradox)

2 votes
Accepted

Extending hyperconnected spaces

2 votes
Accepted

Implication between Erdös-Faber-Lovasz conjecture and Hadwiger's conjecture?

2 votes
Accepted

Is $[0,1]^\kappa$ an affine complete lattice?

2 votes
Accepted

Complete sets of incompatible totally ordered down-set in a partially ordered set

2 votes

Product of posets with Hausdorff interval topology

2 votes
Accepted

Tiling relation on the set of partitions

2 votes

scott continuity, sub additivity

2 votes
Accepted

Categorical product of graphs and chromatic number

2 votes
Accepted

Injective subset function

2 votes
Accepted

Does order-preserving equal continuous?

2 votes
Accepted

If $f : [-a,a] \rightarrow \mathbb{IR}$ is Scott continuous, why are $f^-$ and $f^+$ measurable?

2 votes

Class of hypergraphs that are always the neighborhood hypergraph of some simple graph

2 votes
Accepted

Graph with finite chromatic number but infinite total chromatic number

2 votes
Accepted

Set of ideals of the set of finite subsets of $\mathbb{N}$

2 votes

In the category of uniform spaces, is the completion of a quotient map also a quotient map?

2 votes

Knaster Tarski theorem, example needed