The isomorphism between our homology functor and these of Vietoris and Čech is proved. Introductory result on dimension is proved.
@article{118551, author = {Jaroslav Guri\v can}, title = {Homology theory in the AST III. Comparison with homology theories of \v Cech and Vietoris}, journal = {Commentationes Mathematicae Universitatis Carolinae}, volume = {34}, year = {1993}, pages = {11-22}, zbl = {0798.55005}, mrnumber = {1240199}, language = {en}, url = {http://dml.mathdoc.fr/item/118551} }
Guričan, Jaroslav. Homology theory in the AST III. Comparison with homology theories of Čech and Vietoris. Commentationes Mathematicae Universitatis Carolinae, Tome 34 (1993) pp. 11-22. http://gdmltest.u-ga.fr/item/118551/
Combinatorial Topology (in Russian), Moskva (1947). (1947)
Non-standard analysis and homology, Fund. Math. 74 (1972), 21-28. (1972) | MR 0300270 | Zbl 0233.55005
Homology groups of relations, Ann. Math 56 (1952), 84-95. (1952) | MR 0048030 | Zbl 0046.40402
Foundations of Algebraic Topology, Princeton Press (1952). (1952) | MR 0050886 | Zbl 0047.41402
Homology with equationally compact coefficients, Fund. Math. 100 (1978), 89-95. (1978) | MR 0494066 | Zbl 0377.55006
Homology theory in the alternative set theory I. Algebraic preliminaries., Comment. Math. Univ. Carolinae 32 (1991), 75-93. (1991) | MR 1118291
Homology theory in the AST II. Basic concepts, Eilenberg-Steenrod's axioms, Comment. Math. Univ. Carolinae 33 (1992), 353-372. (1992) | MR 1189667 | Zbl 0761.55004
Homology Theory, Cambridge University Press Cambridge (1960). (1960) | MR 0115161 | Zbl 0091.36306
Endomorphic universes and their standard extensions, Comment. Math. Univ. Carolinae 20 (1979), 605-629. (1979) | MR 0555178
Dimension of indiscernibility equivalences, Comment. Math. Univ. Carolinae 28 (1987), 537-547. (1987) | MR 0912582 | Zbl 0629.03034
Mathematics in the Alternative Set Theory, Teubner-Texte Leipzig (1979). (1979) | MR 0581368
Introduction to Mathematics in the Alternative Set Theory (in Slovak), ALFA Bratislava (1989). (1989)
Non-standard analysis and the Theory of shape, Fund. Math. 98 (1978), 41-60. (1978) | MR 0528354
Infinitesimals, microsimplexes and elementary homology theory, AMM 7 (1986), 540-544. (1986) | MR 0856293
On a cohomology theory based on hyperfinite sums of microsimplexes, Pacific J. Math. (1987), 1 201-208. (1987) | MR 0883385