Re: A set cannot contain itself as a member

Thread View: sci.logic

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Michael Hand Wed, 07 Oct 1992 01:17

#466

Author: Michael Hand
Date: Wed, 07 Oct 1992 01:17

15 lines
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.

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads