Hypersets

Jon Barwise1, Larry Moss1
1Department of Mathematics, Indiana University, Bloomington, USA

Tóm tắt

Từ khóa


Tài liệu tham khảo

Samson Abramsky, Topological aspects of non-well- founded sets, to appear.

Peter Aczel,Non-well-founded Sets, CSLI Lecture Notes, Chicago: University of Chicago Press (1988).

Jon Barwise,Admissible Sets and Structures, New York: Springer-Verlag (1975).

Jon Barwise (ed.),Handbook of Mathematical Logic, Amsterdam: North-Holland (1977).

Jon Barwise,The Situation in Logic, CSLI Lecture Notes, Chicago: University of Chicago Press (1989).

Jon Barwise, review of [12],Journal of Symbolic Logic 54 (June, 1989).

Jon Barwise, Consistency and logical consequence,Truth or Consequences, Dunn and Gupta, eds., Dordrecht: Kluwer Academic Publishers (1990).

Jon Barwise and John Etchemendy,The Liar: An Essay on Truth and Circularity, New York: Oxford University Press (1987).

Paul Bernays,Axiomatic Set Theory, Amsterdam: North- Holland (1958).

Paul Cohen,Set Theory and The Continuum Hypothesis, New York: W. A. Benjamin (1966).

Abraham A. Fraenkel, Yehoshua Bar-Hillel, and Azriel Levy,Foundations of Set Theory, Amsterdam: North-Holland (1973).

Barry Jacobs,Applied Database Logic I, Englewood Cliffs, NJ: Prentice-Hall (1985).

Mark Johnson,Attribute-Value Logic and the Theory of Grammar, CSLI Lecture Notes, Chicago: University of Chicago Press (1988).

H. Jerome Keisler,Elementary Calculus, Boston: Prindle, Weber and Schmidt (1976).

Kenneth Kunen,Set Theory: An Introduction to Independence Proofs, Amsterdam: North-Holland (1980).

James D. McCawley,Everything Linguists Want to Know about Logic but are Afraid to Ask, Chicago: University of Chicago Press (1981).

Michael W. Mislove, Lawrence S. Moss and Frank J. Oles, Non-well-founded sets modeled as ideal fixed points, to appear inInformation and Control.

William C. Rounds, Complex objects and morphisms I. A set-theoretic semantics,Situation Theory and its Applications II, to appear.

Joseph Shoenfield, Axioms of set theory, in [4], 322–344.