We present a diagram surveying equivalence or strict implication for properties of different nature (algebraic, model theoretic, topological, etc.) read more
We present a diagram surveying equivalence or strict implication for properties of different nature (algebraic, model theoretic, topological, etc.) read more