Path: ...!news.mixmin.net!proxad.net!feeder1-2.proxad.net!usenet-fr.net!news.gegeweb.eu!gegeweb.org!pasdenom.info!from-devjntp
Message-ID: <WVNhNEaI6WNqwmLVdN1XzePOZZ0@jntp>
JNTP-Route: news2.nemoweb.net
JNTP-DataType: Article
Subject: Re: Replacement of Cardinality
References: <hsRF8g6ZiIZRPFaWbZaL2jR1IiU@jntp> <e51a19c8-9f22-43ec-a382-b93019b4ce1d@att.net> <Aj67svgBqlC6ubyAZ01SM3EN5mc@jntp>
 <9ef8dd8a-69be-44e2-bcf6-ea9c1fb30e21@att.net> <LHtSphVaxvF9i9lsFtvEfbB4PS8@jntp>
 <92189533-0c1f-4532-816f-564651cc8bf7@att.net> <zzRMVwrDvZCAHeIta8vMnBBxp8E@jntp>
 <c4bbc4d3-26b3-4e53-9c82-87c8396d155d@att.net> <UxK9-w52mbKHJ77U1V4M6I24HeY@jntp>
 <c8abcebe-b826-45de-8507-71521bf2d6a7@att.net>
Newsgroups: sci.logic,sci.math
JNTP-HashClient: Xk_40OOUDREXJ4fryJNWNZ4lT0o
JNTP-ThreadID: KFm3f7lT2HjaTSiMfnv5xqZoSBw
JNTP-Uri: http://news2.nemoweb.net/?DataID=WVNhNEaI6WNqwmLVdN1XzePOZZ0@jntp
User-Agent: Nemo/0.999a
JNTP-OriginServer: news2.nemoweb.net
Date: Tue, 20 Aug 24 12:53:27 +0000
Organization: Nemoweb
JNTP-Browser: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/127.0.0.0 Safari/537.36
Injection-Info: news2.nemoweb.net; posting-host="82b75c1d0a83e677ff646b52485f72f8b23749df"; logging-data="2024-08-20T12:53:27Z/8993715"; 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: 2337
Lines: 24

Le 19/08/2024 à 18:58, Jim Burns a écrit :
> On 8/19/2024 7:40 AM, WM wrote:

>> Dark unit fractions have a smallest element.
> 
> Darkᵂᴹ unit.fractions are positive. Correct?

Yes, all unit fractions are positive.

>> No smaller unit fractions is existing
> 
> Is that smallest darkᵂᴹ unit.fraction not a unit.fraction?
> Is it not positive?

It is both positive and a unit fraction.
> 
> Each positive point,  thus,
>   that smallest darkᵂᴹ unit.fraction
> is not a lower.bound,  thus,
>   has smaller unit.fractions, visibleᵂᴹ ones.

No. The function NUF(x) grows by 1 at every unit fraction. It starts from 
0.

Regards, WM