Re: universe set?

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.