Mathematics in the alternative set theory petr vopenka. Petr vopenka born may 16, 1935 in prague is a czech mathematician. All examples from mathematical and real worlds are intentionally set out here. Neumann, 1920 all these improvements consist on restrictions, put on objects which can form a set. Alternative set theory ast may be suitable for the ones who try to capture objects or phenomenons with some kind of indefiniteness of a border. Randall holmes, elementary set theory with a universal set. Axiomatic set theory zermello and fraenkel, 1904 theory of classes v.
Pocket set theory is a theory motivated by the idea that these are the only infinities vopenka s alternative set theory also has this property, by the way. The vague concept \accessibility is used coherently within nite set theory whose separation axiom is restricted. Mathematics in the alternative set theory, teubner texte, leipzig, 1979, rusky preklad mir, 1983. Proceedings of the 1 st symposium mathematics in the alternative set theory. Logic and set theory i last student of eduard cech. 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. For example there exist semisets proper subclasses of sets in nct and it can be proved that a set has a standard finite cardinality iff it.
Nct can be considered as a theory of definable classes of bounded set theory by v. Adaptive simulated annealing and its application to protein folding. Various weak systems of set theory have been considered in the literature. Outside of set theory, proper classes usually only arise as the class of objects of some large category, which is almost never discrete. A logic of meaning and synonymy, with fritz hamm, pdf file. Nevertheless, some of its important fragments can be axiomatized3. Perhaps the most wellknown of them is kripkeplateks theory kp on which the theory of admissible sets is based. A preliminary version of the second greek edition of notes on set theory. In the early seventies, he established the alternative set theory i.
We present the axioms of alternative set theory ast in the language of second. In many aspects nct resembles the alternative set theory by p. Alternative theory definition of alternative theory by. The intuitionistic alternative set theory, annals of pure and applied logic 59 1993 141156.
This paper is compiled from articles of members of the prague seminar on set theory. Contemporary mathematics is based on cantors set theory, the main principles of which. The alternative set theory, as defined in vopenka and sochor, demonstrates how a set theory which avoids actually infinite sets can serve as a framework for much of classical mathematics. Topology in the alternative set theory and rough sets via.
Jan 01, 2018 mayberry also mentions vopenka alternative set theory semisets. As the reader probably knows, the primary notion of zf is. The alternative set theory is an attempt to establish a new set theory based on which we could then develop new mathematics. Vopenkas name is associated with many mathematical achievements, including vopenkas principle. Of course, all of the useful principles of the classical set theory are. A special kind of results in set theory, known in literature as generic absoluteness results, give mathematical substance to the perspective that the real challenge that the discovery of the forcing technique places to the set theorist, as well as to the philosopher of mathematics, goes beyond the idea that the right answer to questions such as. In the early seventies, he developed alternative set theory i. Alternative theory definition of alternative theory by the. Vopenkas new the specifically czech research field was the alternative set. In this article, making use of a set theoretical framework by vopenka 1979 alternative set theory which describes such structure, we attempt to shed light on an analogous sturucture in human and social phenomenon. Mathematics in the alternative set theory by petr vopenka. The res on, some ma mereology lesniewski, 1915 alternative set theory vopenka, 1970 penumbral set theory apostoli and kanada, 1999. In this paper, we will visit rough set theory and the alternative set theory ast and elaborate a few selected concepts of them using the means of higherorder fuzzy logic this is usually called fuzzy type theory.
Holmes 1998 revised and corrected version available online pdf. Dynamical alternative set theory, on the other hand, considers a changing point of view and a moving horizon. Since the mideighties he concerned himself with philosophical questions of mathematics. Pm, of nonstandard models m of peano arithmetic pa such that m, m. A developing set of notes i have used in teaching 220abc, the basic graduate course in mathematical logic at ucla. This paper defines a theory which can serve as an intuitionistic analogue of ast, and examines motivations for alternative formulations of classical ast from. An interest in the range of alternative set theories does not presuppose an. In the early 1970s, he established the alternative set theory. Integer programming with column generation, bp, in encyclopedia of optimization c.
Out of the axiomatic set theories, the zermelofraenkel set theory zf is now more popular. Rai, sanatan concave programming entry 00274 8484 first author. In a general sense, an alternative set theory is any of the alternative mathematical approaches. Pdf basic topological concepts and a construction of real. Alternative axiomatic set theories stanford encyclopedia. Abs algorithms for linear equations and linear least squares. This version, posted on august 5, 2014, includes the material covered in 220ab in 202014 and in 220c in spring 2011. Mathematics in the alternative set theory paris 1981. A weak set theory is one that does not include the axioms of powerset and replacement. Set theory and hierarchy theory a memorial tribute to a.
Alternative set theory is a theory of natural infinity. Computational complexity theory entry 00273 8383 first author. Alternative set theory encyclopedia of mathematics. Transactions of the american mathematical society volume 352, number 5, pages 20492075 s 0002994799023004 article electronically published on september 8. Describe events as subsets of a sample space the set of outcomes using characteristics or categories of the outcomes, or as unions, intersections, or complements of other events or, and, not. G godel, k the consistency of the axiom of choice and the generalized continuum hypothesis. A class is said to be a set iff it is an element as in the usual class theories over zfc. American mathematical society 201 charles street providence, rhode island 0290422 4014554000 or 8003214267 ams, american mathematical society, the tricolored ams logo, and advancing research, creating connections, are trademarks and services marks of the american mathematical society and registered in the u. Like cantor set theory, our theory is a nonformalized naive theory. Consequences of vop enkas principle over weak set theories.
Above all, it is the semisets that represent the phenomena which appear when. Petr vopenka simple english wikipedia, the free encyclopedia. As an example, we examine a problem of common knowledge in electronic mail game presented by rubinstein 1989. Static alternative set theory studies the phenomenon of natural infinity under a given fixed point of view.
Ams proceedings of the american mathematical society. The intuitionistic alternative set theory sciencedirect. The world would make much more sense, from a categorytheoretic point of view, if there were no such things as proper classes, a. While ast provides various notions for advanced mathematical studies, correspondence of them to that of conventional ones are not fully developed.
Specifically, alternative set theory or ast may refer to a particular set theory developed in the 1970s and 1980s by petr vopenka and his students. In the sphere of world mathematics literature, vopenkas name is associated with many firstclass mathematical achievements. Alternative axiomatic set theories stanford encyclopedia of. Alternative set theory has been created and, together with his colleagues at. Petr vopenka, petr hajek, set theory, nonstandard numbers, semiset. This paper presents basic topological concepts in ast, and shows their correspondence with those of. Moreover if the term set is used in a way that violates this assertion we would have to regard this use as based upon a di erent concept altogether. Petr vopenka 16 may 1935 20 march 2015 was a czech mathematician. Mathematics in the alternative set theory petr vopenka download bok. Alternative theory synonyms, alternative theory pronunciation, alternative theory translation, english dictionary definition of alternative theory.
Adaptive convexification in semiinfinite optimization. Pdf basic topological concepts and a construction of. Alternative mathematics without actual in nity toru tsujishita 2012. More alternative set theories had emerged, including those that didnt accept infinite sets.
Mayberry also mentions vopenka alternative set theory semisets. Lecture notes in logic 36 juliette kennedy, roman kossak eds. Sets are definite, sharply defined, unchangeable from the classical point of view. Troelstras history of constructivism in the 20th century is in. Charles university, faculty of mathematics and physics. We will show that the basic notions of rough set theory have already been included in ast. By \weak set theory we generally mean the following. It works with objects called classes that are further classified as sets and semisets. Lectures notes for an advanced course given in esslli 2010. For example there exist semisets proper subclasses of sets in nct and it can be proved that a set has a standard finite cardinality iff it does not contain any proper. Iris institutional research information system air.
877 577 1111 558 743 429 1335 834 1491 893 346 512 988 240 1112 1316 1487 366 785 1302 1658 386 622 247 62 1430 150 923 167 712 108 208 170 1103 322