Path: ...!Xl.tags.giganews.com!local-2.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Wed, 01 Jan 2025 23:50:33 +0000
Subject: Re: Replacement of Cardinality (ubiquitous ordinals, integer
 continuum, linear continuum, continuity)
Newsgroups: sci.logic,sci.math
References: <hsRF8g6ZiIZRPFaWbZaL2jR1IiU@jntp>
 <881fc1a1-2e55-4f13-8beb-94d1f941b5af@att.net>
 <vg44QVKbPSR4U0Tq71L-fg5yqgM@jntp>
 <85194aeb-1b24-4486-8bcc-4dcd43b4fd2f@att.net>
 <HVudnVg62uHETjv7nZ2dnZfqn_ednZ2d@giganews.com>
 <HVudnVo62uGFSDv7nZ2dnZfqn_ednZ2d@giganews.com>
 <tR-dnU_G9dTXSjv7nZ2dnZfqn_WdnZ2d@giganews.com>
 <2e188e21-4128-4c76-ba5d-473528262931@att.net>
 <NQednW9Dop2vbDr7nZ2dnZfqn_SdnZ2d@giganews.com>
 <NQednW5Dop3gbDr7nZ2dnZfqn_QAAAAA@giganews.com>
 <aD2dnamNTPVnGej6nZ2dnZfqn_SdnZ2d@giganews.com>
 <3df3c8f4-05b1-477b-8812-f49bd46fa764@att.net>
From: Ross Finlayson <ross.a.finlayson@gmail.com>
Date: Wed, 1 Jan 2025 15:50:35 -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: <3df3c8f4-05b1-477b-8812-f49bd46fa764@att.net>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Message-ID: <NuucnRcPvqJUSej6nZ2dnZfqnPadnZ2d@giganews.com>
Lines: 61
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-p5JNn++XQ5Ehheb7y5sbkshpq5d4aDZWCIBWJ53vOFPeeuJPPPfNHccUkhEL/FBnjQTuG15XAOtdeAR!ZvocepjzXbyQB3gJYzD4+HTWNDEgflWpVa5KCVqDLa7QoOn+UyaXCMz0gCKkWEMZAfrMRh8J93A=
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: 3605

On 01/01/2025 01:14 PM, Jim Burns wrote:
> On 1/1/2025 1:10 PM, Ross Finlayson wrote:
>> On 07/29/2024 12:46 PM, Ross Finlayson wrote:
>>> On 07/29/2024 12: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?
>
>>>> The "ubiquitous ordinals", sort of recalls Kronecker's
>>>> "G-d made the integers, the rest is the work of Man",
>
> I think Kronecker's integers are the finite ordinals.
> Are you saying that 'ubiquitous' means 'finite'?
>
>>>> So, "ubiquitous ordinals" is exactly what it says.
>
> It's surprising how unhelpful some answers can be.
>
>>> Or, you know, "infinity plus one".
>
> Consider the definition of a finite.cardinal as
> the cardinal #A of a set A
> smaller.by.one than sets fuller.by.one
> #A ∈ ⟦0,ℵ₀⦆  :⇔  (#A < #(A∪{a}) ⇐ A ≠ A∪{a})
>
> If,
> as might be expected,
> infinity.plus.one is different from simple.infinity,
> then,
> under that definition,
> infinity is finite.
>
>

It's "well-ordering the universe".

Yeah, I know, you don't have a universe in your theory,
as you say that there's no meta-theory your theory,
yet, what's that then, all one theory?

So, I imagine it's sort of like "Cohen's M's", M for model.


Well good luck then, this is one of the examples of
the many, many trails with novel sorts content that
are quite altogether different from the many, many
circles of the usual tit-for-tat-trolls.

It's like compression, and signal to noise, that
when all the Dumb-Em posts can be compressed to
about zero, or, just a starter for establishing
contradistinctory duals, here it's that there is
at least one signal for all our noise.


Warm regards then