Article View: sci.logic
Article #466Re: A set cannot contain itself as a member
From: Michael Hand
Date: Wed, 07 Oct 1992 01:17
Date: Wed, 07 Oct 1992 01:17
15 lines
1121 bytes
1121 bytes
Marko Amnell writes: >The existence of non-well-founded sets can be made into an axiom, the >Anti Foundation Axiom (AFA). The resulting theory is very interesting >mathematically and has practical and theoretical applications. See > >Peter Aczel, _Non-Well-Founded Sets_. CSLI Lecture Notes 14, (1988). One interesting application is in Barwise & Etchemendy's (I think) *The Liar*. This book is worth reading. B-o} Michael _______________________________________________________________________ ----------------------------------------------------------------------- Michael Hand phone (409)845-5660, fax (409)845-0458 Dept of Philosophy, Texas A&M Univ, College Station TX 77843-4237 U.S.A.
Technical Details
Message-ID:
<1992Oct7.011705.18844@tamsun.tamu.edu>Path:
arc1-ca.pugleaf.net!sparky!uunet!cs.utexas.edu!tamsun.tamu.edu!tamuts!e343mhShow Full Headers
Complete Article Headers
Newsgroups: sci.logic Path: arc1-ca.pugleaf.net!sparky!uunet!cs.utexas.edu!tamsun.tamu.edu!tamuts!e343mh From: e343mh@tamuts.tamu.edu (Michael Hand) Subject: Re: A set cannot contain itself as a member Message-ID: <1992Oct7.011705.18844@tamsun.tamu.edu> Sender: news@tamsun.tamu.edu (Read News) Organization: Texas A&M University, College Station Date: Wed, 7 Oct 1992 01:17:05 GMT Lines: 15