Groups | Search | Server Info | Login | Register

Groups > sci.logic > #253220

Re: Some results about unit fractions

From Jim Burns <james.g.burns@att.net>
Newsgroups sci.logic
Subject Re: Some results about unit fractions
Date 2023-05-19 20:36 -0400
Organization A noiseless patient Spider
Message-ID <40ec5eb6-799a-db90-56e6-e75b90c8a259@att.net> (permalink)
References (13 earlier) <c13c3446-60c7-4a00-adc1-2a21e68efee4n@googlegroups.com> <844bbda2-a050-6624-1efa-f3fe8843ff2a@att.net> <6368303b-c51a-436c-83d4-616abdba7fa3n@googlegroups.com> <f5e2d1ef-af4a-ad95-2737-a7d2725d3297@att.net> <3b720ca7-7e41-46eb-b55a-1445ea695ca2n@googlegroups.com>

Show all headers | View raw

On 5/19/2023 2:36 PM, WM wrote:
> Jim Burns schrieb am Freitag,
> 19. Mai 2023 um 19:48:28 UTC+2:

>> I'll make some claims and
>> wait for you to tell me when you see
>> things popping out of existence.
>>
>> If x and y exist,
>> ordered pair ⟨x,y⟩ exists.
>>
>> ⟨x,y⟩ = ⟨u,v⟩
>> :⇔
>> x = u and y = v
>
> Only if they are not dark.

What you mean by "dark" --
judging by what you've said
at various times -- is that
x is _dark_
if
x is in A
A cannot match any proper subset
A has
subsets which _can_ match proper subsets
and x is not-in any of those subsets.

Dark(x)
:⇔?
∃A:( ∀S≠⊂A:|S|<|A|  ∧  A∋x  ∧
∃B ⊆ A: ¬∀S≠⊂B:|S|<|B|  ∧
∀C ⊆ A:( ¬∀S≠⊂C:|S|<|C| ⟹ C∌x ))

If that's what you mean by "dark",
then that's not a problem.
Everything x,y,u,v could conceivably
or inconceivably
refer to is not dark.

A description can exist of
something which not-exists.

> Most elements of infinite sets
> are dark:

No element of a 1×1 1-ended is dark.-

> ∀n ∈ ℕ_def:
> |ℕ \ {1, 2, 3, ..., n}| = ℵo =
> larger than the collection of
> definable numbers.

Each split of a 1×1 1-ended has
a 1×1 1-ended and a 1×1 2-ended part.

Each two 1×1 1-endeds can be matched
by
matching ends and
matching across splits.

All 1×1 1-ended are the same size.

Back to sci.logic | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-05 05:01 -0700
  Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-05 13:01 -0400
    Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-06 07:22 -0700
      Re: Some results about unit fractions JVR <jrennenkampff@googlemail.com> - 2023-05-06 07:56 -0700
        Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-06 13:22 -0700
      Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-06 13:02 -0400
        Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-06 13:18 -0700
          Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-06 23:41 -0400
            Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-07 07:17 -0700
              Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-07 23:50 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-08 06:06 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-08 10:04 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-08 14:59 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-08 13:59 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-08 21:02 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-09 05:45 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-09 11:46 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-09 13:53 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-10 08:47 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-10 06:07 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-10 13:58 -0400
              Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-08 10:10 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-08 10:13 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-08 10:19 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-08 15:32 -0400
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-08 13:13 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-08 14:02 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-08 13:57 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-08 13:54 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-08 14:24 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-09 05:49 -0700
                Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-05-09 12:41 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-09 14:03 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-09 17:09 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-10 06:05 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-10 09:19 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-10 13:05 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-10 13:21 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-11 04:37 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-11 09:51 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-12 05:31 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-11 14:00 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-12 05:31 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-12 15:37 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-13 06:22 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-13 14:30 -0400
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-13 11:41 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-13 23:24 -0400
                Re: Some results about unit fractions JVR <jrennenkampff@googlemail.com> - 2023-05-14 02:20 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-14 14:04 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-14 14:44 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-15 03:29 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-15 05:59 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-15 10:15 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-15 13:49 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-15 17:14 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-16 08:03 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-16 09:33 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-16 11:11 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-16 12:08 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-18 08:39 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-18 12:23 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-18 12:33 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-18 12:41 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-18 12:47 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-18 12:53 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-18 12:59 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-18 13:02 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-15 10:24 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-15 13:50 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-15 17:16 -0700
                Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-05-13 15:44 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-14 14:09 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-13 19:41 -0400
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-13 23:41 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-14 14:11 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-14 18:17 -0400
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-14 16:16 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-14 20:48 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-15 03:28 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-15 10:08 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-15 13:46 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-15 18:59 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-16 07:31 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-16 09:32 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-16 11:08 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-16 12:01 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-17 05:44 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-17 08:17 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-17 05:53 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-17 14:48 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-18 12:20 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-18 12:52 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-19 05:43 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-19 08:56 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-18 17:02 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-19 05:40 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-19 08:51 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-19 09:54 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-19 10:42 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-19 11:26 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-19 12:09 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-19 13:47 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-19 11:36 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-19 12:06 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-19 12:19 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-19 12:50 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-19 13:16 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-20 09:36 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-20 09:39 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-20 09:43 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-19 20:36 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-20 09:20 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-20 09:38 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-20 09:42 -0700
                Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-05-20 23:40 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-21 01:56 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-21 02:00 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-20 17:55 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-22 06:51 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-22 07:02 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-22 10:05 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-22 10:19 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-22 11:01 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-22 11:56 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-22 12:30 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-22 13:27 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-23 10:56 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-23 11:13 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-24 07:44 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-23 14:45 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-24 07:33 -0700
                Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-05-24 17:46 +0100
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-25 05:56 -0700
                Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-05-26 02:11 +0100
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-26 04:44 -0700
                Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-05-27 01:39 +0100
                Re: Some results about unit fractions JVR <jrennenkampff@googlemail.com> - 2023-05-26 23:51 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-27 10:19 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-27 10:58 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-27 13:22 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-25 06:41 -0700
                Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-05-26 02:00 +0100
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-26 04:44 -0700
                Re: Some results about unit fractions Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-05-27 01:47 +0100
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-27 10:14 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-27 10:59 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-27 13:26 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-24 13:32 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-25 06:00 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-25 13:32 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-25 13:18 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-25 17:54 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-26 04:50 -0700
                Re: Some results about unit fractions Python <python@invalid.org> - 2023-05-26 13:58 +0200
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-26 06:05 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-26 12:10 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-26 10:57 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-26 12:01 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-26 12:56 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-26 15:52 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-26 12:58 -0700
                Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-05-28 05:11 -0700
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-28 07:04 -0700
                Re: Some results about unit fractions Gus Gassmann <horand.gassmann@gmail.com> - 2023-05-28 18:47 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-26 14:36 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-26 12:47 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-26 16:25 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-27 13:44 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-28 05:37 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-28 07:00 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-26 15:31 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-26 12:51 -0700
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-26 17:45 -0400
                Re: Some results about unit fractions Jim Burns <james.g.burns@att.net> - 2023-05-18 17:57 -0400
                Re: Some results about unit fractions WM <askasker48@gmail.com> - 2023-05-19 05:29 -0700
                Re: Some results about unit fractions Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-05-19 08:43 -0700

csiph-web