×

Hypersets. (English) Zbl 0756.03026

Several elegant solutions of problems in theoretical computer science, e.g. the constructions of natural models of the \(\lambda\)-calculus by M. von Rimscha [Arch. Math. Logik Grundlagenforsch. 20, 65–73 (1980; Zbl 0428.03045)], have brought to the attention of a larger audience the usefulness of alternatives to the axiom of foundation. A systematic study of such principles (generalizations of Mostowski’s collapse combined with various forms of extensionality) has been initiated by P. Hajek [Z. Math. Logik Grundlagen Math. 11, 103–115 (1965; Zbl 0171.26402)] and M. Boffa [ibid. 14, 329–334 (1968; Zbl 0169.30603)].
In the paper under review the authors give an introduction into one of these alternatives, the antifoundation axiom AFA in P. Aczel’s terminology [Non-well-founded sets. CSLI Lecture Notes, 14. Stanford, CA (1988; Zbl 0668.04001)]. The purpose of this paper is to convince the reader that AFA “is an interesting, mathematically and philosophically respectable alternative” to the axiom of foundation.

MSC:

03E65 Other set-theoretic hypotheses and axioms
03E75 Applications of set theory
03-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Samson Abramsky, Topological aspects of non-well- founded sets, to appear. · Zbl 1279.03073
[2] Peter Aczel,Non-well-founded Sets, CSLI Lecture Notes, Chicago: University of Chicago Press (1988). · Zbl 0668.04001
[3] Jon Barwise,Admissible Sets and Structures, New York: Springer-Verlag (1975). · Zbl 0316.02047
[4] Jon Barwise (ed.),Handbook of Mathematical Logic, Amsterdam: North-Holland (1977).
[5] Jon Barwise,The Situation in Logic, CSLI Lecture Notes, Chicago: University of Chicago Press (1989). · Zbl 0664.03003
[6] Jon Barwise, review of [12],Journal of Symbolic Logic 54 (June, 1989). · Zbl 0664.03003
[7] Jon Barwise, Consistency and logical consequence,Truth or Consequences, Dunn and Gupta, eds., Dordrecht: Kluwer Academic Publishers (1990). · Zbl 0919.03042
[8] Jon Barwise and John Etchemendy,The Liar: An Essay on Truth and Circularity, New York: Oxford University Press (1987). · Zbl 0678.03001
[9] Paul Bernays,Axiomatic Set Theory, Amsterdam: North- Holland (1958). · Zbl 0082.26301
[10] Paul Cohen,Set Theory and The Continuum Hypothesis, New York: W. A. Benjamin (1966). · Zbl 0182.01301
[11] Abraham A. Fraenkel, Yehoshua Bar-Hillel, and Azriel Levy,Foundations of Set Theory, Amsterdam: North-Holland (1973).
[12] Barry Jacobs,Applied Database Logic I, Englewood Cliffs, NJ: Prentice-Hall (1985).
[13] Mark Johnson,Attribute-Value Logic and the Theory of Grammar, CSLI Lecture Notes, Chicago: University of Chicago Press (1988).
[14] H. Jerome Keisler,Elementary Calculus, Boston: Prindle, Weber and Schmidt (1976). · Zbl 0325.26001
[15] Kenneth Kunen,Set Theory: An Introduction to Independence Proofs, Amsterdam: North-Holland (1980). · Zbl 0443.03021
[16] James D. McCawley,Everything Linguists Want to Know about Logic but are Afraid to Ask, Chicago: University of Chicago Press (1981).
[17] Michael W. Mislove, Lawrence S. Moss and Frank J. Oles, Non-well-founded sets modeled as ideal fixed points, to appear inInformation and Control. · Zbl 0723.03031
[18] William C. Rounds, Complex objects and morphisms I. A set-theoretic semantics,Situation Theory and its Applications II, to appear.
[19] Joseph Shoenfield, Axioms of set theory, in [4], 322–344.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.