home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / sci / math / 10170 < prev    next >
Encoding:
Text File  |  1992-08-12  |  996 b   |  24 lines
  1. Newsgroups: sci.math
  2. Path: sparky!uunet!mcsun!sunic!sics.se!sics.se!torkel
  3. From: torkel@sics.se (Torkel Franzen)
  4. Subject: Re: Expansion of set theory
  5. In-Reply-To: boshuck@triples.math.mcgill.ca's message of Wed, 12 Aug 92 16:44:08 GMT
  6. Message-ID: <1992Aug12.182912.4659@sics.se>
  7. Sender: news@sics.se
  8. Organization: Swedish Institute of Computer Science, Kista
  9. References: <1992Aug7.002122.24601@access.usask.ca>
  10.     <1992Aug12.164408.10547@thunder.mcrcim.mcgill.edu>
  11. Date: Wed, 12 Aug 1992 18:29:12 GMT
  12. Lines: 10
  13.  
  14. In article <1992Aug12.164408.10547@thunder.mcrcim.mcgill.edu> boshuck@triples.
  15. math.mcgill.ca (William Boshuck) writes:
  16.  
  17.    >An intersting facet of all of this is that large cardinal axioms
  18.    >actually have a bearing on relatively small things, like Borel
  19.    >sets of real numbers, and sets of natural numbers in the definable
  20.    >hierarchy.
  21.  
  22.   And, it should be added, on the natural numbers themselves (in the form
  23. of theorems concerning the unsolvability of Diophantine equations).
  24.