Warning: mysqli::__construct(): (HY000/1203): User howardkn already has more than 'max_user_connections' active connections in D:\Inetpub\vhosts\howardknight.net\al.howardknight.net\includes\artfuncs.php on line 21
Failed to connect to MySQL: (1203) User howardkn already has more than 'max_user_connections' active connectionsPath: ...!Xl.tags.giganews.com!local-4.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail NNTP-Posting-Date: Tue, 30 Jul 2024 20:55:58 +0000 Subject: Re: Replacement of Cardinality (ubiquitous ordinals) Newsgroups: sci.logic,sci.math References: <881fc1a1-2e55-4f13-8beb-94d1f941b5af@att.net> <85194aeb-1b24-4486-8bcc-4dcd43b4fd2f@att.net> <2e188e21-4128-4c76-ba5d-473528262931@att.net> <7d074e06-497a-4c38-9b34-fcded370ec75@att.net> <305754ad-bf86-44e7-95a5-f6059b8869da@att.net> From: Ross Finlayson Date: Tue, 30 Jul 2024 13:56:08 -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: <305754ad-bf86-44e7-95a5-f6059b8869da@att.net> Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Message-ID: <78CcnZMbf6XDzjT7nZ2dnZfqn_udnZ2d@giganews.com> Lines: 156 X-Usenet-Provider: http://www.giganews.com X-Trace: sv3-KN0TYXBIV/EkQMXUXRv4OzRhrkOiyyNwAAHed5EsvG92aCA2BclGfxY0SoT71zk9wuK6iYza+Jf1Umt!IKQCWrSPU2/kbe1QWhChp2EJujn0ZZ8/QriNaHbqKsBI0taXfPhHpT2oqCzPV6VO4/666Z1ckLks!yw== 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: 7376 On 07/30/2024 11:18 AM, Jim Burns wrote: > On 7/29/2024 9:31 PM, Ross Finlayson wrote: >> On 07/29/2024 02:12 PM, Jim Burns wrote: >>> On 7/29/2024 3:44 PM, Ross Finlayson wrote: >>>> On 07/29/2024 05:32 AM, Jim Burns wrote: >>>>> On 7/28/2024 7:42 PM, Ross Finlayson wrote: > >>>>>> about ubiquitous ordinals >>>>> >>>>> What are ubiquitous ordinal? >>>> >>>> Well, you know that ORD, is, the order type of ordinals, >>>> and so it's an ordinal, of all the ordinals. > >>> Is a ubiquitous ordinal a finite ordinal? >>> I would appreciate a "yes" or a "no" in your response. > >> The ubiquitous ordinals are, for example, >> a theory where the primary elements are ordinals, >> for ordering theory, and numbering theory, >> which may be more fundamental, than set theory, >> with regards to a theory of one relation. > > Apparently, > what you mean by ubiquitous ordinals are ordinals, > without further qualification. > > Ordinals can be represented as sets, and are, > most often by the von Neumann scheme, λ = [0,λ)ᴼʳᵈ > > Apparently, > ubiquitous ordinals are > what are represented by the [0,λ)ᴼʳᵈ > > Ordinals are well.ordered. > The [0,λ)ᴼʳᵈ are well.ordered. > That is entirely non.accidental. > There isn't much reason to choose between > the von Neumann ordinal.representations and > the raw, unfiltered "ubiquitous" ordinals. > > The one advantage which > representations have over the ubiquitous(?) is that > they are are objects in a theory of sets which > we have great confidence isn't contradictory, > and that extends our great confidence to > the non.contradictoriness of theorems about ordinals. > > Unless we are considering their existence, > which is to say, their non.contradictoriness, > ordinals.of.unspecified.origin are well.ordered, > and that's an end to their description. > >>>> It's like the universe of set theory, >>> >>> Do you and I mean the same by "universe of set theory"? >>> >>> I am most familiar with theories of >>> well.founded sets without urelements. >>> >>> In the von Neumann hierarchy of hereditary well.founded sets >>> V[0] = {} >>> V[β+1] = 𝒫(V[β]) >>> V[γ] = ⋃[β<γ] V[β] >>> >>> V[ω] is the universe of hereditarily finite sets. >>> >>> For the first inaccessible ordinal κ >>> V[κ] is a model of ZF+Choice. >>> >>> For first inaccessible ordinal κ >>> [0,κ) holds an uncountable ordinal and >>> is closed under cardinal arithmetic. > >> There is no universe in ZFC, don't be saying otherwise. > > I will continue not.saying that > there is a universe _IN_ ZFC. > > There are universes _OF_ ZFC which are also called domains. > V[κ] is one of the domains of ZFC. > > None of the sets described by the theory is > the universal set, holding all sets IN the domain. > > > Not precisely to your point, but interesting: > Some of the sets IN ZFC satisfy all its axioms, > which make them also domains OF ZFC > > Compare that to the way in which > each end.segment of ℕ is also a model of ℕ > > Well, thanks for asking, I guess. Starting with the axioms of ZFC before getting to an actual axiom of infinity, then the embodiment of Russell's paradox is those finite sets you've found, all the sets that don't contain themselves, then you invoke the the restriction of comprehension of the axiom of infinity (you mean it doesn't say there's an infinite, it says there's not an extra-ordinary infinite?) those fulfilling Russell's retro-thesis for him. "Because it would immediately lead to a contradiction." If infinite end-segments are models of N, they're also models of co-finite with non-empty complements. I'm not sure you're aware of usual operations "direct sum" and "direct product", of sets, and as with regards to that the direct sum of infinitely many copies of a set like as modeled by finite natural integers, is a matter of definition and it sticks out that according to the usual definition, it's one way, and according to the usual imposed definition on the case of the infinite, it's the opposite. This is about the direct sum of the infinitely-many copies of N and whether it's empty or full, that the imposed definition is the other way than how it is for the finite sets. "Because it would immediately lead to a contradiction." So, these are examples, in ZF set theory, some that you know you have and have to remember to invoke or as result usual sorts fundamental theorems that are always assumed, and more examples that you don't know you have, about consequences of comprehension and the fact that it's natural that the infinite is extra-ordinary and then when there's an Integer Continuum then the model of words is on a substrate of "ubiquitous ordinals". Then, for talk about the universe and the constructible universe and V = L and with regards to whether V = L, according to Goedel it's not, that a gist of his incompleteness theorems, which of course follow his more naive though entirely ordinary completeness theorems, for which you can thank Frege. That V = L has there's a universe already and it constructs. Then, your talk of domains, like "the equivalence class of singletons the cardinal 1", and so on, and don't ask why they don't just call that a set, in as regards to whether cardinals are even sets at all, is another example that there's a theory where domains are primary and elements and it's called "domain theory". The idea that there's one theory for all this theory, has that otherwise there isn't and you're not talking about any of them.