Groups | Search | Server Info | Login | Register

Groups > sci.logic > #253960

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-06-04 20:39 -0400
Organization A noiseless patient Spider
Message-ID <597bb9d5-5e15-d2f6-426d-8c2f68515d8e@att.net> (permalink)
References (13 earlier) <d559cc76-593b-4c84-a4ca-e83c2acc2e1en@googlegroups.com> <64b96b70-c670-0e16-f917-95c663c95a36@att.net> <c3ddc370-f619-4825-a62a-20ecfeaac644n@googlegroups.com> <ca516a7b-0726-72d4-7d55-0317ffc175e3@att.net> <839be6ce-13c6-47b2-9de3-fb09b0a3e9c8n@googlegroups.com>

Show all headers | View raw

On 6/3/2023 10:01 AM, WM wrote:
> Jim Burns schrieb am Samstag,
> 3. Juni 2023 um 11:11:02 UTC+2:

>> Therefore,
>> the core is empty.
>
> Don't "prove" using invalid axioms.

Which of these axioms are you
calling invalid?

| 0 is a thing.

| 0 is not an ordered pair.

| if x and y are things, then
| ordered pair ⟨x,y⟩ is a thing.

| ⟨x,y⟩ = ⟨u,v⟩  iff
| x = u and y = v

| {y|P(y)} is a set.
| Sets are not things.
| Things are not sets.

| if x is a thing, then
| x ∈ {y|P(y)}  iff  P(x)

| set A = set B  iff
| for each thing x,  x ∈ A iff x ∈ B

These other claims aren't axioms.
They inform you what I mean by
i⁺⁺ ⟨0,...,n⟩ ⟨0,...⟩ ⟨...,⅟1⟩

You don't need to have an opinion about
whether I mean what I mean.

i⁺⁺ := ⟨i,0⟩

n ∈ ⟨0,...⟩  :⇔
⁺⁺ing 1×1 2-ended ⟨0,...,n⟩ from 0 to n
exists

u ∈ ⟨...,⅟1⟩  :⇔
exists n ∈ ⟨1,...⟩ such that n⋅u = 1

>> Therefore,
>> the core is empty.
>
> Don't "prove" using invalid axioms.

⟨...,⅟1⟩ is 1×1 1-ended.

For each ⅟n ∈ ⟨...,⅟1⟩
⟨...,⅟n⁺⁺⟩, ⟨⅟n,...,⅟1⟩ exist.

{core} ⊆ ⟨...,⅟1⟩

for each ⅟n ∈ ⟨...,⅟1⟩
{core} ⊆ ⟨...,⅟n⁺⁺⟩
⟨...,⅟n⁺⁺⟩ ∌ ⅟n
{core} ∌ ⅟n

{core} = ∅

> Show an x that has
> not ℵ₀ unit fractions smaller than x
> in common with every x
> that you can define.

I have narrowed down what you're saying to
either
you want me to prove you're correct
or
you want to be told
| for each ⅟n ∈ ⟨...,⅟1⟩
| {core} ⊆ ⟨...,⅟n⁺⁺⟩
| ⟨...,⅟n⁺⁺⟩ ∌ ⅟n
| {core} ∌ ⅟n

I can do the second.
You're on your own for the first.

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

csiph-web