Path: ...!local-2.nntp.ord.giganews.com!Xl.tags.giganews.com!local-3.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Thu, 26 Dec 2024 19:31:48 +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>
 <6wKdncQ4Ibe0YOz7nZ2dnZfqnPSdnZ2d@giganews.com>
From: Ross Finlayson <ross.a.finlayson@gmail.com>
Date: Thu, 26 Dec 2024 11:31:50 -0800
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: <6wKdncQ4Ibe0YOz7nZ2dnZfqnPSdnZ2d@giganews.com>
Content-Type: text/plain; charset=iso-8859-15; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <XJ2cnZixBdC5MvD6nZ2dnZfqnPYAAAAA@giganews.com>
Lines: 42
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-PB9rdmzEWYR0kbVMr1UJnVX2Z7uj4kJo8hrSQ0dC3uEVqx3ifskR29+LhDzwWCE2UJ0SOhYzG7Ea5KH!ePJ9v0gqL6aFWAVMq6V6LNps5Ln5eTecw2SGWk/0MBvi0nKnZ+TBynFbWPeEuyYVhlUHLBLij8lY
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: 2558

On 06/18/2024 02:33 PM, Ross Finlayson wrote:
> 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.
>
>
>