Definability degrees for classes in the alternative set theory
Degrees of dependence in the theory of semisets.
Die Nichtaxiomatisierbarkeit der unendlichwertigen Mengenlehre.
Dimension of indiscernibility equivalences
Dimensional compactness in biequivalence vector spaces
The notion of dimensionally compact class in a biequivalence vector space is introduced. Similarly as the notion of compactness with respect to a -equivalence reflects our nonability to grasp any infinite set under sharp distinction of its elements, the notion of dimensional compactness is related to the fact that we are not able to measure out any infinite set of independent parameters. A fairly natural Galois connection between equivalences on an infinite set and classes of set functions ...