home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #23 / NN_1992_23.iso / spool / sci / logic / 1677 < prev    next >
Encoding:
Text File  |  1992-10-07  |  1.1 KB  |  31 lines
  1. Newsgroups: sci.logic
  2. Path: sparky!uunet!utcsri!torn!watserv2.uwaterloo.ca!watserv1!hodgson
  3. From: hodgson@dial.waterloo.edu (John A. B. Hodgson)
  4. Subject: Re: Ideals and filters
  5. In-Reply-To: ard@cs.bham.ac.uk's message of 7 Oct 92 09:45:20 GMT
  6. Message-ID: <HODGSON.92Oct7111901@dial.waterloo.edu>
  7. Sender: news@watserv1.uwaterloo.ca
  8. Organization: University of Waterloo, Waterloo, Ontario, Canada
  9. References: <BvqwFL.53H@cs.bham.ac.uk>
  10. Date: Wed, 7 Oct 1992 16:19:01 GMT
  11. Lines: 18
  12.  
  13. ard> Could someone explain to me what the following are:
  14.  
  15. ard> ideal, prime ideal, filter and ultrafilter;
  16.  
  17. ard> in the context of model theory, I think.  (I asked this about two
  18. ard> weeks ago but then I had to go away and all email addressed to me had
  19. ard> accidentally been deleted.)  Replies by7 email preferred.
  20.  
  21. ard> Antoni Diller
  22. ard> A.R.Diller@cs.bham.ac.uk
  23.  
  24. On a similar vein, what books expose logic using Boolean algebras and
  25. ideals/filters in the same way as does "Algebraic Logic" by P. Halmos?
  26. --
  27. Yours very sincerely,    | Department of Systems Design Engineering
  28.             | University of Waterloo
  29. John Hodgson,        | Waterloo, Ontario
  30. Graduate Student.    | Canada  N2L 4H2
  31.