Abstract
This paper is compiled from articles of members of the Prague seminar on set theory. The first section is P.Vopěnka’s lecture at the occasion of Bolzano’s commemoration, Topological Symposium 1981, Prague; the second one was published in [So 1] and the third section is a part of the appendix of [v’]. For the last section we selected from many papers a series of mathematical results reached in the alternative set theory and the articles in question are cited in that section.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bolzano, B.: 1851,‘Paradoxien des Unendlichen’, Leipzig.
Čuda, K.: 1980, ‘An elimination of infinitely small quantities and infinitely large numbers’, CMUC 21, 433–445.
Čuda, K. and P. Vopěnka: 1979,‘Real and imaginary classes in the alternative set theory’, CMUC 20, 639–653.
Mlček, J: 1979, ‘Approximations of ó-classes and p-classes’, CMUC 20, 669–679.
Mlček, J.: 1979, ‘Valuations of structures’, CMUC 20, 681–695.
Mlček, J.: 1981, ‘Monotonic valuations and valuations of triade of higher types’, CMUC 22, 377–398.
Pudlák,P. and A. Sochor: ‘Models of the alternative set theory’,to appear.
Resl, M.: 1979, ‘On models in the alternative set theory’, CMJC 20, 723–736.
Resl, M. and A. Sochor: 1981, ‘Provability in the alternative set theory I’, CMUC 22, 655–660.
Sochor, A.: 1979, ‘Metamathametics of the alternative set theory I’, CMUC 20, 697–722.
Sochor, A.: 1982, ‘Metamathematics of the alternative set theoryII’, CMUC 23, 55–79.
Sochor,A.: ‘Metamathematics of the alternative set theory III’, to appear.
Sochor, A.: 1979, ‘Some philosophical problems and the alternative set theory’, Teorie rozvaje vědy III, 105–120.
Sochor, A.: 1977, ‘Differential Calculus in the alternative set theory’, Lecture Notes in Math. vol.619, 273–284.
Sochor, A.: 1979, ‘Some remarks to the connection between the alternative set theory and nonstandard methods’, Proceedings of Frege-Conference, Jena, 458–467.
Sochor, A. and A. Vencovská: 1981, ‘Indiscernibles in the alternative set theory’, CMUC 22, 785–798.
Sochor, A. and P. Vopěnka: 1979, ‘Endomorphic universes and their standard extensions’, CMUC 20, 605–629.
Sochor, A. and P. Vopěnka: 1980, ‘Revealments’, CMUC 21, 97–118.
Sochor, A. and P. Vopěnka: 1981, ‘The axiom of reflection’, CMUC 22, 87–111.
Sochor, A. and P. Vopěnka: 1981, ‘Ultrafilters of sets’, CMUC 22, 689–699.
Vencovská, A.: 1979, ‘A method for constructing some endomorphic universes’, CMUC 20, 655–668.
Venkovská, A.: 1982, ‘Constructione of endomorphic universes and similarities’, CMUC 23, 557–577.
Vencovská, A.: ‘Independence of the axiom of choice in the alternative set theory’, to appear.
Vopěnka, P.: 1979, ‘Mathematics in the alternative set theory’, TEUBNER TEXTE, Leipzig.
Vopěnka, P.: ‘Mathematics in the alternative set theory’, Russian translation, to appear.
Vopěnka, P.: 1979, ‘The lattice of indiscernibility equivalences’, CMUC 20, 631–638.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1984 D. Reidel Publishing Company
About this chapter
Cite this chapter
Sochor, A. (1984). The Alternative Set Theory and its Approach to Cantor’s Set Theory. In: Skala, H.J., Termini, S., Trillas, E. (eds) Aspects of Vagueness. Theory and Decision Library, vol 39. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-6309-2_10
Download citation
DOI: https://doi.org/10.1007/978-94-009-6309-2_10
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-009-6311-5
Online ISBN: 978-94-009-6309-2
eBook Packages: Springer Book Archive