Previous |  Up |  Next

Article

Keywords:
alternative set theory; set-definable; homology theory; simplex; complex; Sd-IS of groups
Summary:
The isomorphism between our homology functor and these of Vietoris and Čech is proved. Introductory result on dimension is proved.
References:
[A] Alexandrov P.S.: Combinatorial Topology (in Russian). Moskva (1947).
[C] McCord M.C.: Non-standard analysis and homology. Fund. Math. 74 (1972), 21-28. MR 0300270 | Zbl 0233.55005
[D] Dowker C.H.: Homology groups of relations. Ann. Math 56 (1952), 84-95. MR 0048030 | Zbl 0046.40402
[E-S] Eilenberg S., Steenrod N.: Foundations of Algebraic Topology. Princeton Press (1952). MR 0050886 | Zbl 0047.41402
[G] Garavaglia S.: Homology with equationally compact coefficients. Fund. Math. 100 (1978), 89-95. MR 0494066 | Zbl 0377.55006
[G1] Guričan J.: Homology theory in the alternative set theory I. Algebraic preliminaries. Comment. Math. Univ. Carolinae 32 (1991), 75-93. MR 1118291
[G2] Guričan J.: Homology theory in the AST II. Basic concepts, Eilenberg-Steenrod's axioms. Comment. Math. Univ. Carolinae 33 (1992), 353-372. MR 1189667 | Zbl 0761.55004
[H-W] Hilton P.J., Wylie S.: Homology Theory. Cambridge University Press Cambridge (1960). MR 0115161 | Zbl 0091.36306
[S-V] Sochor A., Vopěnka P.: Endomorphic universes and their standard extensions. Comment. Math. Univ. Carolinae 20 (1979), 605-629. MR 0555178
[S-W] Sgall J., Witzany J.: Dimension of indiscernibility equivalences. Comment. Math. Univ. Carolinae 28 (1987), 537-547. MR 0912582 | Zbl 0629.03034
[V1] Vopěnka P.: Mathematics in the Alternative Set Theory. Teubner-Texte Leipzig (1979). MR 0581368
[V2] Vopěnka P.: Introduction to Mathematics in the Alternative Set Theory (in Slovak). ALFA Bratislava (1989).
[W] Wattenberg F.: Non-standard analysis and the Theory of shape. Fund. Math. 98 (1978), 41-60. MR 0528354
[Ž1] Živaljevič R.T.: Infinitesimals, microsimplexes and elementary homology theory. AMM 7 (1986), 540-544. MR 0856293
[Ž2] Živaljevič R.T.: On a cohomology theory based on hyperfinite sums of microsimplexes. Pacific J. Math. (1987), 1 201-208. MR 0883385
Partner of
EuDML logo