The notion of dimensionally compact class in a biequivalence vector space is introduced. Similarly as the notion of compactness with respect to a $\pi $-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 $s$ and classes of set functions $s \rightarrow Q$ is investigated. Finally, a direct connection between compactness of a $\pi $-equivalence $R \subseteq s^2$ and dimensional compactness of the class $\bold C[R]$ of all continuous set functions from $\langle s,R \rangle $ to $\langle Q,\doteq \rangle $ is established.
@article{118539, author = {J. N\'ater and P. Pulmann and Pavol Zlato\v s}, title = {Dimensional compactness in biequivalence vector spaces}, journal = {Commentationes Mathematicae Universitatis Carolinae}, volume = {33}, year = {1992}, pages = {681-688}, zbl = {0784.46064}, mrnumber = {1240189}, language = {en}, url = {http://dml.mathdoc.fr/item/118539} }
Náter, J.; Pulmann, P.; Zlatoš, Pavol. Dimensional compactness in biequivalence vector spaces. Commentationes Mathematicae Universitatis Carolinae, Tome 33 (1992) pp. 681-688. http://gdmltest.u-ga.fr/item/118539/
Biequivalences and topology in the alternative set theory, Comment. Math. Univ. Carolinae 26 (1985), 525-552. (1985) | MR 0817825
Arithmetic of cuts and cuts of classes, Comment. Math. Univ. Carolinae 29 (1988), 435-456. (1988) | MR 0972828
Valuations of structures, Comment. Math. Univ. Carolinae 20 (1979), 681-696. (1979) | MR 0555183
Some structural and combinatorial properties of classes in the alternative set theory (in Czech), habilitation Faculty of Mathematics and Physics, Charles University Prague.
personal communication, .
Biequivalence vector spaces in the alternative set theory, Comment. Math. Univ. Carolinae 32 (1991), 517-544. (1991) | MR 1159799
Mathematics in the Alternative Set Theory, Teubner-Verlag Leipzig. | MR 0581368
The lattice of indiscernibility equivalences, Comment. Math. Univ. Carolinae 20 (1979), 631-638. (1979) | MR 0555179
Topological shapes, Proc. of the 1st Symposium on Mathematics in the Alternative Set Theory J. Mlček et al. Association of Slovak Mathematicians and Physicists Bratislava 95-120.