[A] Alexandrov P.S.: Combinatorial Topology (in Russian). Moskva (1947).
[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[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