Deutsch English Français Italiano |
<6wKdncQ4Ibe0YOz7nZ2dnZfqnPSdnZ2d@giganews.com> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!Xl.tags.giganews.com!local-2.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail NNTP-Posting-Date: Tue, 18 Jun 2024 21:33:29 +0000 Subject: Re: universe set? Newsgroups: sci.math References: <v4rt6p$u3cd$1@dont-email.me> <v4rt9f$u3cd$3@dont-email.me> <v4s1g1$1c60j$1@dont-email.me> <VRydndG3-Z7MYez7nZ2dnZfqnPSdnZ2d@giganews.com> From: Ross Finlayson <ross.a.finlayson@gmail.com> Date: Tue, 18 Jun 2024 14:33:40 -0700 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.6.0 MIME-Version: 1.0 In-Reply-To: <VRydndG3-Z7MYez7nZ2dnZfqnPSdnZ2d@giganews.com> Content-Type: text/plain; charset=iso-8859-15; format=flowed Content-Transfer-Encoding: 7bit Message-ID: <6wKdncQ4Ibe0YOz7nZ2dnZfqnPSdnZ2d@giganews.com> Lines: 40 X-Usenet-Provider: http://www.giganews.com X-Trace: sv3-3cTVr19xO/PVw6xSd56nxuUKFkH4GlmZdBITnbuPHnAfTolOxnWg7DvXF1kDz+1feRo4duKBXw/kUyN!XN8B58YFe9kB9dAMHxTFEOzqrpZXVL2CPYsisZZFFLVg4HhXQZjW8sKUubBJaIfLOK6XxL/2h1MV!pA== X-Complaints-To: abuse@giganews.com X-DMCA-Notifications: http://www.giganews.com/info/dmca.html X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.3.40 Bytes: 2416 On 06/18/2024 02:29 PM, Ross Finlayson wrote: > On 06/18/2024 06:18 AM, FromTheRafters wrote: >> David Chmelik has brought this to us : >>> On Tue, 18 Jun 2024 12:05:45 -0000 (UTC), David Chmelik wrote: >>> >>>> Is the universe set called univrset? >>> >>> 'universet' >> >> Domain of Discourse. Usually a blackboard bold (or doublestruck) D is >> the symbol. > > See for exampler Forster's "Set Theory with a Universal Set". > > The idea that a universal set exists is called "Domain Principle" > or "Domainprinzip". > > The domain of discourse is a usual term. > > See for example Finsler and Boffa, Kunen inconsistency, > set of all sets, order type of ordinals, group of all groups, > infinite-dimensional space, "Continuum", sometimes just > "the world". > > https://www.youtube.com/watch?v=aHS0VKOM09U "Thomas Forster - Recent developments in Set Theory with a Universal Set" I don't vouch for this yet it's part of the study, about things like "New Foundations with Ur-Elements" or "New Foundations with Universes" and so on. Here's it's "Null Axiom Theory" or "Universal Axiom Theory", for example.