Path: ...!Xl.tags.giganews.com!local-1.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Tue, 18 Jun 2024 21:29:53 +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>
From: Ross Finlayson <ross.a.finlayson@gmail.com>
Date: Tue, 18 Jun 2024 14:29:54 -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: <v4s1g1$1c60j$1@dont-email.me>
Content-Type: text/plain; charset=iso-8859-15; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <VRydndG3-Z7MYez7nZ2dnZfqnPSdnZ2d@giganews.com>
Lines: 24
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-MElqhQSAaYS0qk3T5Q+HpemcRHBoQOif1HtOjQVYeCdgD0xha89fVoz2bfN5IXtFRZ5dUQ4U02tKvMt!QFIAWIbXgoJXTCeX0qhk6zvxnX3ecTEcMuO/VHIvY5oHd63vqMXwkreHXGEOLqYBxJOWGolpHBVK!sg==
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: 1903

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".