Article Outline
Keywords
Classes, Sets and Semisets
Infinity
Axiomatic System of AST
Rational and Real Numbers
Infinitesimal Calculus
Topology
Basic Definitions
Motion
Utility Theory
Conclusion
See also
References
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Mlček J (1979) Valuation of structures. Comment Math Univ Carolinae 20:681–695
Mlček J (1985) Some automorphisms of natural numbers in AST. Comment Math Univ Carolinae 26:467–475
Sochor A (1992) Metamathematics of AST. From the logical point of view 1:61–75
Sochor A, Pudlák P (1984) Models of AST. J Symbolic Logic 49:570–585
Sochor A, Vopěnka P (1979) Endomorfic universes and their standard extensions. Comm Math Univ Carolinae 20:605–629
Sochor A, Vopěnka P (1981) Ultrafilters of sets. Comment Math Univ Carolinae 22:698–699
Trlifajová K, Vopěnka P (1985) Utility theory in AST. Comment Math Univ Carolinae 26:699–711
Čuda K (1986) The consistency of measurability of projective semisets. Comment Math Univ Carolinae 27:103–121
Čuda K, Sochor A, Vopěnka P, Zlatoš P (1989) Guide to AST. Proc. First Symp. Mathematics in AST, Assoc. Slovak Mathematicians and Physicists, Bratislava
Vopénka P (1979) Mathematics in AST. Teubner, Leipzig
Vopénka P (1989) Introduction to mathematics in AST. Alfa Bratislava, Bratislava
Vopénka P (1996) Calculus infinitesimalis-pars prima. Práh Praha, Praha
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag
About this entry
Cite this entry
Vopěnka, P., Trlifajová, K. (2008). Alternative Set Theory . In: Floudas, C., Pardalos, P. (eds) Encyclopedia of Optimization. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-74759-0_12
Download citation
DOI: https://doi.org/10.1007/978-0-387-74759-0_12
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-74758-3
Online ISBN: 978-0-387-74759-0
eBook Packages: Mathematics and StatisticsReference Module Computer Science and Engineering