Path: ...!feeds.phibee-telecom.net!weretis.net!feeder8.news.weretis.net!pasdenom.info!from-devjntp
Message-ID: <GknMvtkLnWBwOVHuwhpOvuPVwIg@jntp>
JNTP-Route: news2.nemoweb.net
JNTP-DataType: Article
Subject: Re: Replacement of Cardinality
References: <hsRF8g6ZiIZRPFaWbZaL2jR1IiU@jntp> <kN73KZJabPuiasJJ0DR6UOOrMHE@jntp>
 <d47ad77b3f2bd0bc6280b8eca772b280f3a18dc8@i2pn2.org> <ivRRwss8WgoMTIfJa5g04TJmRxU@jntp>
 <db885c7c1e1a5bfdf60e90fa9882bfb73b4e6ce7@i2pn2.org> <eY2Memk56jLKsrTeR3kBDQQqfHI@jntp>
 <bdfbb725-7fc3-4e17-b09b-4d6191d301a5@att.net> <tvUGDEKZBjBIOn4R0HIJvG5es4k@jntp> <val92g$33pkn$1@dont-email.me>
 <val9hk$33mgs$1@dont-email.me>
Newsgroups: sci.logic,sci.math
JNTP-HashClient: WgmZmRtRxbNQCds9zweop-aGjZY
JNTP-ThreadID: KFm3f7lT2HjaTSiMfnv5xqZoSBw
JNTP-Uri: http://news2.nemoweb.net/?DataID=GknMvtkLnWBwOVHuwhpOvuPVwIg@jntp
User-Agent: Nemo/0.999a
JNTP-OriginServer: news2.nemoweb.net
Date: Tue, 27 Aug 24 19:57:39 +0000
Organization: Nemoweb
JNTP-Browser: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/128.0.0.0 Safari/537.36
Injection-Info: news2.nemoweb.net; posting-host="82b75c1d0a83e677ff646b52485f72f8b23749df"; logging-data="2024-08-27T19:57:39Z/9002870"; posting-account="217@news2.nemoweb.net"; mail-complaints-to="julien.arlandis@gmail.com"
JNTP-ProtocolVersion: 0.21.1
JNTP-Server: PhpNemoServer/0.94.5
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
X-JNTP-JsonNewsGateway: 0.96
From: WM <wolfgang.mueckenheim@tha.de>
Bytes: 2098
Lines: 14

Le 27/08/2024 à 21:31, Moebius a écrit :
>>>> On 8/25/2024 3:45 PM, WM wrote:
>>>
>>>>> This function exists because
>>>>> nothing contradicts its existence.
> 
> Right. But the values of the function NUF are:
> 
> 0 for all real arguments <= 0 and aleph_0 for all real arguments > 0.

Correction: For all ends of real intervals containing ℵo unit fractions. 
The interval (0, x) cannot contain ℵo unit fractions unless x is 
sufficiently large.

Regards, WM