Slim Fermats Last Theorem (FLT) only for Lean4? (Was: What are top ten books in set theory?)

From	Mild Shock <janburse@fastmail.fm>
Newsgroups	comp.theory, comp.ai.philosophy, comp.lang.prolog
Subject	Slim Fermats Last Theorem (FLT) only for Lean4? (Was: What are top ten books in set theory?)
Date	2025-11-19 11:14 +0100
Message-ID	<10fk5ao$aote$1@solani.org> (permalink)
References	(6 earlier) <10fiqd0$1rv37$1@dont-email.me> <10fir5a$83mj$2@solani.org> <10fites$1spea$1@dont-email.me> <10fk0d1$algj$1@solani.org> <10fk1te$amn7$2@solani.org>

Cross-posted to 3 groups.

Show all headers | View raw

Hi,

Is there a Slim Fermats Last Theorem (FLT) but
only for Lean4? There is a new proof:

We formalize a complete proof of the regular
case of Fermat's Last Theorem in the Lean4
theorem prover. Our formalization includes a
proof of Kummer's lemma, that is the main
obstruction to Fermat's Last Theorem for
regular primes. Rather than following the
modern proof of Kummer's lemma via class
field theory, we prove it by using Hilbert's
Theorems 90-94 in a way that is more
amenable to formalization.
https://arxiv.org/abs/2410.01466v3

Is this also available for Rocq or Isabelle/HOL.
In as far I feel with ChatGPTs invention of
a set theory book:

 > ai: The Incomparable Axioms — Koellner
(more philosophical, modern)

If we have to axiom systems A and B, it is
often easy to invoke proof theory and then
show A ⊆ B or B ⊆ A. Trouble might start if
we want to show A ⊈ B and B ⊈ A,

this traditional fell into the category of
model theory, but modern proof assistants might
be better off maybe. Such a proof could be
a pebble game, as in EF games,

or even some things that go beyond EF games.
Now for the question whether Rocq or Isabelle/HOL
has also a proof, the comparability of Axioms
is somehow aggravated, when different proof

systems have different foundations. What
we then need to compare is F+A with G+B,
where F and G are the varying foundations.
Who said that logic is easy and beautiful?

Bye

Mild Shock schrieb:
> Hi,
> 
> How it started, DeepSeek:
> 
> me: What are top ten books in set theory?
> ai: bla bla
> ai: Classic Set Theory: For Guided Independent Study by Derek C. Goldrei
> 
> How its going, ChatGPT:
> 
> me: What are top ten books in set theory?
> ai: bla bla
> ai: The Incomparable Axioms — Koellner (more philosophical, modern)
> 
> me: Nice try, I don't find "The Incomparable Axioms —
> Koellner", you halucinated that
> 
> ai: You’re right — I made a mistake. I hallucinated a
> book title. Sorry about that.
> 
> ai: Peter Koellner has written influential papers and
> a thesis/lecture notes, but there is no book titled
> The Incomparable Axioms by Koellner that I can find.
> 
> The Search for New Axioms
> https://dspace.mit.edu/bitstream/handle/1721.1/7989/53014647-MIT.pdf
> 
> LoL
> 
> Bye
> 
> Mild Shock schrieb:
>> Hi,
>>
>> Wikipedia only exists since 2001. How did people
>> learn Logic before the new millenium? Seems you
>> have been alive before 2001 already,
>>
>> when you are a software engineer since 1984. No
>> logic for Acyclic Ozelot before 2001. Did really
>> only bring Wikipedia, a secondary reference,
>>
>> logic to you. No primary sources of logic?
>>
>> Bye
>>
>> olcott schrieb:
>>>
>>> I Learned FOL from Wikipedia. 
>>  > I have been a software engineer since 1984.
>

Thread

Stop responding to Olcott by December 2025: who is in? Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-14 00:08 +0000
  Will keep posting this every day until someone answers truthfully olcott <polcott333@gmail.com> - 2025-11-13 18:36 -0600
    Re: Will keep posting this every day until someone answers truthfully Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-14 00:45 +0000
      Re: Will keep posting this every day until someone answers truthfully olcott <polcott333@gmail.com> - 2025-11-13 18:57 -0600
        Re: Will keep posting this every day until someone answers truthfully Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-14 02:32 +0000
          Re: Will keep posting this every day until someone answers truthfully olcott <polcott333@gmail.com> - 2025-11-13 20:38 -0600
            Re: Will keep posting this every day until someone answers truthfully Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-14 06:35 +0000
              Re: Will keep posting this every day until someone answers truthfully olcott <polcott333@gmail.com> - 2025-11-14 08:13 -0600
                Re: Will keep posting this every day until someone answers truthfully Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-14 18:01 +0000
                Re: Will keep posting this every day until someone answers truthfully olcott <polcott333@gmail.com> - 2025-11-14 12:19 -0600
                Re: Will keep posting this every day until someone answers truthfully Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-14 18:56 +0000
                Defending against libelous assessments of my work olcott <polcott333@gmail.com> - 2025-11-14 13:18 -0600
                Re: Defending against libelous assessments of my work Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-14 19:45 +0000
        Re: Will keep posting this every day until someone answers truthfully Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-19 04:42 +0000
      Re: Will keep posting this every day until someone answers truthfully olcott <polcott333@gmail.com> - 2025-11-13 20:39 -0600
        Re: Will keep posting this every day until someone answers truthfully Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-14 06:39 +0000
          Re: Will keep posting this every day until someone answers truthfully olcott <polcott333@gmail.com> - 2025-11-14 08:25 -0600
            Re: Will keep posting this every day until someone answers truthfully Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-14 18:22 +0000
              Re: Will keep posting this every day until someone answers truthfully olcott <polcott333@gmail.com> - 2025-11-14 12:31 -0600
                Re: Will keep posting this every day until someone answers truthfully Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-14 18:48 +0000
                Re: Will keep posting this every day until someone answers truthfully olcott <polcott333@gmail.com> - 2025-11-14 13:08 -0600
                Re: Will keep posting this every day until someone answers truthfully Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-14 19:54 +0000
                Re: Will keep posting this every day until someone answers truthfully olcott <polcott333@gmail.com> - 2025-11-14 14:17 -0600
                Re: Will keep posting this every day until someone answers truthfully Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-14 20:33 +0000
                Re: Will keep posting this every day until someone answers truthfully olcott <polcott333@gmail.com> - 2025-11-14 15:13 -0600
                Re: Will keep posting this every day until someone answers truthfully Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-14 21:28 +0000
                Re: Will keep posting this every day until someone answers truthfully olcott <polcott333@gmail.com> - 2025-11-14 15:33 -0600
                Re: Will keep posting this every day until someone answers truthfully Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-14 21:44 +0000
                Re: Will keep posting this every day until someone answers truthfully olcott <polcott333@gmail.com> - 2025-11-14 15:42 -0600
                Re: Will keep posting this every day until someone answers truthfully Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-14 21:46 +0000
                Re: Will keep posting this every day until someone answers truthfully olcott <polcott333@gmail.com> - 2025-11-14 16:10 -0600
                Re: Will keep posting this every day until someone answers truthfully Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-15 03:52 +0000
                Re: Will keep posting this every day until someone answers truthfully olcott <polcott333@gmail.com> - 2025-11-14 23:26 -0600
                Re: Will keep posting this every day until someone answers truthfully Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-15 06:42 +0000
                Re: Will keep posting this every day until someone answers truthfully olcott <polcott333@gmail.com> - 2025-11-15 10:23 -0600
                Re: Will keep posting this every day until someone answers truthfully Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-15 19:59 +0000
                Re: Will keep posting this every day until someone answers truthfully olcott <polcott333@gmail.com> - 2025-11-15 14:02 -0600
                Re: Will keep posting this every day until someone answers truthfully Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-15 20:19 +0000
                Re: Will keep posting this every day until someone answers truthfully olcott <polcott333@gmail.com> - 2025-11-15 14:38 -0600
                Re: Will keep posting this every day until someone answers truthfully olcott <polcott333@gmail.com> - 2025-11-14 16:02 -0600
                Re: Will keep posting this every day until someone answers truthfully Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-15 20:03 +0000
          Re: Will keep posting this every day until someone answers truthfully --- LLM olcott <polcott333@gmail.com> - 2025-11-14 08:36 -0600
            Re: Will keep posting this every day until someone answers truthfully --- LLM Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-14 18:25 +0000
              Defending against libelous assessments of my work olcott <polcott333@gmail.com> - 2025-11-14 12:35 -0600
                Re: Defending against libelous assessments of my work Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-14 18:51 +0000
                Re: Defending against libelous assessments of my work olcott <polcott333@gmail.com> - 2025-11-14 13:13 -0600
                Re: Defending against libelous assessments of my work Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-14 19:43 +0000
                Re: Defending against libelous assessments of my work Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-14 20:13 +0000
    Re: Will keep posting this every day until someone answers truthfully Bonita Montero <Bonita.Montero@gmail.com> - 2025-11-14 09:38 +0100
  Re: Stop responding to Olcott by December 2025: who is in? dbush <dbush.mobile@gmail.com> - 2025-11-13 20:53 -0500
  Re: Stop responding to Olcott by December 2025: who is in? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-13 18:00 -0800
  Re: Stop responding to Olcott by December 2025: who is in? Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-11-14 02:16 +0000
    Re: Stop responding to Olcott by December 2025: who is in? yeti <yeti@tilde.institute> - 2025-11-14 03:08 +0042
      Re: Stop responding to Olcott by December 2025: who is in? Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-11-14 03:52 +0000
        Re: Stop responding to Olcott by December 2025: who is in? wij <wyniijj5@gmail.com> - 2025-11-14 12:57 +0800
        Re: Stop responding to Olcott by December 2025: who is in? Ben Bacarisse <ben@bsb.me.uk> - 2025-11-16 01:06 +0000
          Re: Stop responding to Olcott by December 2025: who is in? --- Ben olcott <polcott333@gmail.com> - 2025-11-15 19:18 -0600
  Re: Stop responding to Olcott by December 2025: who is in? dart200 <user7160@newsgrouper.org.invalid> - 2025-11-13 21:03 -0800
  Re: Stop responding to Olcott by December 2025: who is in? Richard Heathfield <rjh@cpax.org.uk> - 2025-11-14 06:21 +0000
    Re: Stop responding to Olcott by December 2025: who is in? Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-11-14 17:41 +0000
  Re: Stop responding to Olcott by December 2025: who is in? André G. Isaak <agisaak@gm.invalid> - 2025-11-14 14:49 -0700
    Re: Stop responding to Olcott by December 2025: who is in? dart200 <user7160@newsgrouper.org.invalid> - 2025-11-14 14:59 -0800
      Re: Stop responding to Olcott by December 2025: who is in? olcott <polcott333@gmail.com> - 2025-11-14 17:20 -0600
        Re: Stop responding to Olcott by December 2025: who is in? Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-15 04:04 +0000
          Re: Stop responding to Olcott by December 2025: who is in? olcott <polcott333@gmail.com> - 2025-11-14 23:36 -0600
            Re: Stop responding to Olcott by December 2025: who is in? Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-15 15:27 +0000
              Kaz already admitted that the Sipser criteria have been met olcott <polcott333@gmail.com> - 2025-11-15 10:29 -0600
                Re: Kaz already admitted that the Sipser criteria have been met Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-15 20:04 +0000
                Re: Kaz already admitted that the Sipser criteria have been met olcott <polcott333@gmail.com> - 2025-11-15 14:16 -0600
                Re: Kaz already admitted that the Sipser criteria have been met Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-15 21:41 +0000
                Re: Kaz already admitted that the Sipser criteria have been met olcott <polcott333@gmail.com> - 2025-11-15 16:04 -0600
  Re: Stop responding to Olcott by December 2025: who is in? Ben Bacarisse <ben@bsb.me.uk> - 2025-11-16 01:10 +0000
    Re: Stop responding to Olcott by December 2025: who is in? --- not a rehash olcott <polcott333@gmail.com> - 2025-11-15 19:21 -0600
      Re: Stop responding to Olcott by December 2025: who is in? --- not a rehash Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-16 02:48 +0000
        Re: Stop responding to Olcott by December 2025: who is in? --- not a rehash olcott <polcott333@gmail.com> - 2025-11-15 20:55 -0600
          People that have a very shallow understanding of these things olcott <polcott333@gmail.com> - 2025-11-15 21:01 -0600
            Re: People that have a very shallow understanding of these things wij <wyniijj5@gmail.com> - 2025-11-16 12:10 +0800
              Re: People that have a very shallow understanding of these things olcott <polcott333@gmail.com> - 2025-11-15 22:41 -0600
            Re: People that have a very shallow understanding of these things olcott <polcott333@gmail.com> - 2025-11-15 23:13 -0600
              Re: People that have a very shallow understanding of these things Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-16 19:56 +0000
                Re: People that have a very shallow understanding of these things olcott <polcott333@gmail.com> - 2025-11-16 19:02 -0600
                Re: People that have a very shallow understanding of these things Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-17 02:21 +0000
                Re: People that have a very shallow understanding of these things olcott <polcott333@gmail.com> - 2025-11-16 21:47 -0600
                Re: People that have a very shallow understanding of these things olcott <polcott333@gmail.com> - 2025-11-16 21:49 -0600
                Re: People that have a very shallow understanding of these things Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-17 04:01 +0000
                Re: People that have a very shallow understanding of these things "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-16 18:35 -0800
            Re: People that have a very shallow understanding of these things Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-17 04:29 +0000
              Re: People that have a very shallow understanding of these things olcott <polcott333@gmail.com> - 2025-11-16 22:40 -0600
                Re: People that have a very shallow understanding of these things Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-17 05:03 +0000
              Re: People that have a very shallow understanding of these things olcott <polcott333@gmail.com> - 2025-11-16 22:47 -0600
              Re: People that have a very shallow understanding of these things olcott <polcott333@gmail.com> - 2025-11-16 22:48 -0600
          Re: Stop responding to Olcott by December 2025: who is in? --- not a rehash joes <noreply@example.org> - 2025-11-16 14:39 +0000
            Halt Deciders cannot report on the behavior of their caller olcott <polcott333@gmail.com> - 2025-11-16 10:12 -0600
        Kaz say that he is dumber than the Witch scene in Monty Python olcott <polcott333@gmail.com> - 2025-11-16 22:19 -0600
        Kaz PROVES that he is dumber than the Witch scene in Monty Python olcott <polcott333@gmail.com> - 2025-11-16 22:25 -0600
        Who agrees that Kaz is dumber than the Witch scene in Monty Python ? olcott <polcott333@gmail.com> - 2025-11-16 22:26 -0600
        People that have a very shallow understanding of these things olcott <polcott333@gmail.com> - 2025-11-17 07:12 -0600
          Re: People that have a very shallow understanding of these things Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-17 18:06 +0000
            Re: People that have a very shallow understanding of these things olcott <polcott333@gmail.com> - 2025-11-17 12:14 -0600
              Re: People that have a very shallow understanding of these things Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-17 22:47 +0000
            Re: People that have a very shallow understanding of these things Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-17 18:16 +0000
              Re: People that have a very shallow understanding of these things olcott <polcott333@gmail.com> - 2025-11-17 12:22 -0600
                Re: People that have a very shallow understanding of these things Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-17 22:49 +0000
              Re: People that have a very shallow understanding of these things Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-17 19:02 +0000
                Re: People that have a very shallow understanding of these things olcott <polcott333@gmail.com> - 2025-11-17 13:05 -0600
                Re: People that have a very shallow understanding of these things olcott <polcott333@gmail.com> - 2025-11-17 13:11 -0600
                Re: People that have a very shallow understanding of these things olcott <polcott333@gmail.com> - 2025-11-17 13:42 -0600
                Re: People that have a very shallow understanding of these things Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-17 21:28 +0000
                Re: People that have a very shallow understanding of these things Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-17 22:24 +0000
                Re: People that have a very shallow understanding of these things olcott <polcott333@gmail.com> - 2025-11-17 17:02 -0600
                Re: People that have a very shallow understanding of these things Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-17 23:49 +0000
                Re: People that have a very shallow understanding of these things olcott <polcott333@gmail.com> - 2025-11-17 19:52 -0600
                Re: People that have a very shallow understanding of these things Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-19 16:28 +0000
                Re: People that have a very shallow understanding of these things olcott <polcott333@gmail.com> - 2025-11-19 11:10 -0600
                Re: People that have a very shallow understanding of these things Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-19 17:40 +0000
                Re: People that have a very shallow understanding of these things Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-19 15:51 +0000
                Re: People that have a very shallow understanding of these things olcott <polcott333@gmail.com> - 2025-11-19 11:04 -0600
                Re: People that have a very shallow understanding of these things Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-19 18:23 +0000
        People that have a very shallow understanding of these things --- AKA Kaz olcott <polcott333@gmail.com> - 2025-11-17 09:47 -0600
          Re: People that have a very shallow understanding of these things --- AKA Kaz Alan Mackenzie <acm@muc.de> - 2025-11-17 16:32 +0000
            People that have a very shallow understanding of these things --- "reckless disregard for the truth" olcott <polcott333@gmail.com> - 2025-11-17 10:48 -0600
              Re: People that have a very shallow understanding of these things --- "reckless disregard for the truth" Alan Mackenzie <acm@muc.de> - 2025-11-17 17:42 +0000
                Re: People that have a very shallow understanding of these things --- "reckless disregard for the truth" olcott <polcott333@gmail.com> - 2025-11-17 11:48 -0600
          How teach logic? [The Jokes] (Re: People that have a very shallow understanding of these things) Mild Shock <janburse@fastmail.fm> - 2025-11-18 22:46 +0100
            Re: How teach logic? [The Jokes] (Re: People that have a very shallow understanding of these things) olcott <polcott333@gmail.com> - 2025-11-18 16:02 -0600
              Enjoying some logic under a shadowy tree? (Was: How teach logic? [The Jokes]) Mild Shock <janburse@fastmail.fm> - 2025-11-18 23:15 +0100
                Re: Enjoying some logic under a shadowy tree? (Was: How teach logic? [The Jokes]) olcott <polcott333@gmail.com> - 2025-11-18 16:54 -0600
                What did you do before 2001 ? (Was: Enjoying some logic under a shadowy tree?) Mild Shock <janburse@fastmail.fm> - 2025-11-19 09:50 +0100
                What are top ten books in set theory? (Re: What did you do before 2001 ?) Mild Shock <janburse@fastmail.fm> - 2025-11-19 10:16 +0100
                Slim Fermats Last Theorem (FLT) only for Lean4? (Was: What are top ten books in set theory?) Mild Shock <janburse@fastmail.fm> - 2025-11-19 11:14 +0100
              Re: How teach logic? [The Jokes] (Re: People that have a very shallow understanding of these things) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-18 15:15 -0800
        People that have a very shallow understanding of these things --- "reckless disregard for the truth" olcott <polcott333@gmail.com> - 2025-11-17 11:41 -0600
          Re: People that have a very shallow understanding of these things --- "reckless disregard for the truth" Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-17 22:58 +0000
            Re: People that have a very shallow understanding of these things --- "reckless disregard for the truth" Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-19 16:35 +0000
              Re: People that have a very shallow understanding of these things --- "reckless disregard for the truth" Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-19 17:48 +0000
                Re: People that have a very shallow understanding of these things --- "reckless disregard for the truth" Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-19 17:57 +0000
                Re: People that have a very shallow understanding of these things --- "reckless disregard for the truth" Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-19 18:31 +0000
                Re: People that have a very shallow understanding of these things --- "reckless disregard for the truth" olcott <polcott333@gmail.com> - 2025-11-19 12:39 -0600
                Re: People that have a very shallow understanding of these things --- "reckless disregard for the truth" Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-19 18:54 +0000
            Re: People that have a very shallow understanding of these things --- "reckless disregard for the truth" olcott <polcott333@gmail.com> - 2025-11-19 11:23 -0600
  Re: Stop responding to Olcott by December 2025: who is in? [t - 6d] Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-25 19:13 +0000
    Re: Stop responding to Olcott by December 2025: who is in? [t - 0] Kaz Kylheku <046-301-5902@kylheku.com> - 2025-12-01 19:14 +0000
      Re: Stop responding to Olcott by December 2025: who is in? [t - 0] Alan Mackenzie <acm@muc.de> - 2025-12-01 19:45 +0000
        Re: Stop responding to Olcott by December 2025: who is in? [t - 0] dart200 <user7160@newsgrouper.org.invalid> - 2025-12-01 12:05 -0800
          Re: Stop responding to Olcott by December 2025: who is in? [t - 0] olcott <polcott333@gmail.com> - 2025-12-01 14:43 -0600
            Re: Stop responding to Olcott by December 2025: who is in? [t - 0] dart200 <user7160@newsgrouper.org.invalid> - 2025-12-01 12:51 -0800
              Re: Stop responding to Olcott by December 2025: who is in? [t - 0] Richard Damon <Richard@Damon-Family.org> - 2025-12-02 10:44 -0500
                Re: Stop responding to Olcott by December 2025: who is in? [t - 0] dart200 <user7160@newsgrouper.org.invalid> - 2025-12-02 09:32 -0800
                Re: Stop responding to Olcott by December 2025: who is in? [t - 0] Richard Damon <Richard@Damon-Family.org> - 2025-12-02 13:28 -0500
                Re: Stop responding to Olcott by December 2025: who is in? [t - 0] dart200 <user7160@newsgrouper.org.invalid> - 2025-12-02 13:14 -0800
                human understanding of true and proof are both flawed olcott <polcott333@gmail.com> - 2025-12-02 15:23 -0600
                Re: human understanding of true and proof are both flawed dart200 <user7160@newsgrouper.org.invalid> - 2025-12-02 14:41 -0800
                Re: human understanding of true and proof are both flawed olcott <polcott333@gmail.com> - 2025-12-02 17:03 -0600
                Re: Stop responding to Olcott by December 2025: who is in? [t - 0] Richard Damon <Richard@Damon-Family.org> - 2025-12-02 17:32 -0500
              Re: Stop responding to Olcott by December 2025: who is in? [t - 0] polcott <polcott333@gmail.com> - 2025-12-02 12:10 -0600
        Re: Stop responding to Olcott by December 2025: who is in? [t - 0] Kaz Kylheku <046-301-5902@kylheku.com> - 2025-12-01 20:22 +0000
        Re: Stop responding to Olcott by December 2025: who is in? [t - 0] Richard Heathfield <rjh@cpax.org.uk> - 2025-12-01 21:48 +0000
          Re: Stop responding to Olcott by December 2025: who is in? [t - 0] Andy Walker <anw@cuboid.co.uk> - 2025-12-02 14:56 +0000
            Re: Stop responding to Olcott by December 2025: who is in? [t - 0] olcott <polcott333@gmail.com> - 2025-12-02 09:33 -0600
            Re: Stop responding to Olcott by December 2025: who is in? [t - 0] Richard Heathfield <rjh@cpax.org.uk> - 2025-12-02 16:04 +0000
              Olcott is provably correct --- no one can correctly refute this olcott <polcott333@gmail.com> - 2025-12-03 19:47 -0600
            The quality of reviewers on USENET olcott <polcott333@gmail.com> - 2025-12-03 18:11 -0600
            Olcott is provably correct --- no one can correctly refute this olcott <polcott333@gmail.com> - 2025-12-03 19:50 -0600
        Olcott is provably correct --- no one can correct refute this olcott <polcott333@gmail.com> - 2025-12-03 19:44 -0600
        Re: Stop responding to Olcott by December 2025: who is in? [t - 0] "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-12-05 02:45 -0800
      Re: Stop responding to Olcott by December 2025: who is in? [t - 0] Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-12-01 23:42 +0000
  Re: Stop responding to Olcott by December 2025: who is in? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-27 00:03 -0800
    Re: Stop responding to Olcott by December 2025: who is in? dart200 <user7160@newsgrouper.org.invalid> - 2025-11-27 00:04 -0800
      Re: Stop responding to Olcott by December 2025: who is in? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-27 00:29 -0800
        Re: Stop responding to Olcott by December 2025: who is in? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-27 00:35 -0800

csiph-web