Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability)

From	Jeff Barnett <jbb@notatt.com>
Newsgroups	comp.theory
Subject	Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability)
Date	2020-07-25 14:45 -0600
Organization	A noiseless patient Spider
Message-ID	<rfi5kg$2f3$1@dont-email.me> (permalink)
References	(11 earlier) <87zh7ojzp8.fsf@bsb.me.uk> <Zd6dnViKxvw77obCnZ2dnUU7-fnNnZ2d@giganews.com> <877dusjsda.fsf@bsb.me.uk> <rfgbrb$96s$1@dont-email.me> <87v9ibj1oy.fsf@bsb.me.uk>

Show all headers | View raw

On 7/25/2020 5:04 AM, Ben Bacarisse wrote:
> Jeff Barnett <jbb@notatt.com> writes:
> 
>> On 7/24/2020 7:28 PM, Ben Bacarisse wrote:
>>> No.  An n-ary function always maps an n-tuple to an element of
>>> D, never to a set of elements of D.
>> 
>> I'm not aware of such a restriction in general set theory or any 
>> logic built in or around it. Where was such a restriction 
>> introduced?
> 
> In the book PO is using.  And in all the other books on the subject 
> I've seen (but that's not many as this was never a subject I taught 
> or researched).
> 
> More to the point, where is it /not/ introduced?  I'd like to see how
> the details are done because the effect would seem to be that D is no
> longer the "domain of discourse" but something more like D ∪ 2^D.  I
> don't see any advantage over simply making D be the required set.  Do
> you have a reference to a text that defines an interpretation (AKA a
> structure) in this way?
> 
>> Typically the model/domain of a theory includes all the structures
>>  that are needed to instantiate a language. I mean b structures
>> all the things that are "referenced" by language pieces. For
>> example, the elements of a normal set theory are sets. If the set
>> theory has urelements so does your D, etc. And unless you
>> `replace' predicates with functions, logical true and false are not
>> in D; and if you do, they are still not logical true and false.
> 
> I don't understand what you are saying here.

Grab a text book on real analysis, point-set theory, or the axiom of
choice and browse for conversations on range of formulations. It's been
almost 60 years since I mucked about. BTW, in another post close to the
above, I rescinded most of what I said: D is indeed the domain of
discourse so functions, etc. do map to elements of D, but note, D is
considered a class, not a set, so you don't have to screw around with
the set of all sets.

An absolutely delightful book is "Zermelo's Axiom of Choice" by Gregory 
H. Moore - $18 including Prime shipping at the US Amazon.com. It was 
unavailable for decades except in hardback at hundreds of dollars a pop. 
It's a great recap of the history of foundations, the long debate in the 
mathematical and philosophical communities, formulations of set theory, 
hierarchies of axioms and potential axioms, equivalences and relative 
strengths of various axioms, theorems, and wishes. It also discusses 
urelements and their weird effects on all this stuff.
-- 
Jeff Barnett

Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-18 15:31 -0500
  Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-19 03:35 +0100
    Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-19 11:37 -0500
      Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-07-19 11:25 -0600
        Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-19 12:46 -0500
          Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-07-19 11:56 -0600
            Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-19 13:50 -0500
              Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-07-19 14:06 -0600
          Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-19 13:39 -0700
            Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-19 17:21 -0500
              Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-19 15:57 -0700
      Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-20 01:55 +0100
        Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-19 23:52 -0500
          Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-07-19 23:15 -0600
            Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-20 12:56 -0500
              Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-07-20 12:48 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Jeff Barnett <jbb@notatt.com> - 2020-07-20 14:49 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-20 21:42 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-07-21 10:51 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-21 12:02 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-07-21 12:12 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-21 20:09 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-07-21 19:35 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-22 09:47 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-07-22 09:23 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-07-22 10:21 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-07-22 13:22 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-20 18:20 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-07-20 18:28 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-20 21:41 -0500
              Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-20 11:59 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-20 21:44 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-20 20:03 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-21 10:49 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-07-21 10:47 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-21 11:54 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-07-21 11:01 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-21 19:54 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-07-21 19:23 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-22 09:23 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) André G. Isaak <agisaak@gm.invalid> - 2020-07-22 09:11 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-22 17:02 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-21 11:53 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-21 11:31 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-21 20:22 -0500
          Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-21 00:12 +0100
            Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-20 19:18 -0500
              Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-22 03:32 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Kaz Kylheku <793-849-0957@kylheku.com> - 2020-07-22 05:39 +0000
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-22 10:16 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-23 00:54 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-23 21:12 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Kaz Kylheku <793-849-0957@kylheku.com> - 2020-07-24 16:31 +0000
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-24 12:40 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Jeff Barnett <jbb@notatt.com> - 2020-07-24 12:06 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-24 13:26 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-24 11:38 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-24 14:05 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-24 12:33 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-24 14:42 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Kaz Kylheku <793-849-0957@kylheku.com> - 2020-07-26 15:05 +0000
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-24 19:57 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-24 14:16 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Jeff Barnett <jbb@notatt.com> - 2020-07-24 14:43 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-24 16:00 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) David Kleinecke <dkleinecke@gmail.com> - 2020-07-24 15:38 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-24 17:45 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) David Kleinecke <dkleinecke@gmail.com> - 2020-07-24 15:57 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-24 16:11 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-24 15:52 -0700
                Re: Simply defining G"odel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) R Kym Horsell <kym@kymhorsell.com> - 2020-07-24 19:02 +0000
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-26 10:27 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-26 10:36 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-26 10:39 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-24 20:20 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-24 14:37 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-25 00:13 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-24 19:25 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-24 12:02 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-24 23:49 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-24 18:49 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-25 02:28 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Jeff Barnett <jbb@notatt.com> - 2020-07-24 22:18 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) David Kleinecke <dkleinecke@gmail.com> - 2020-07-24 21:58 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Jeff Barnett <jbb@notatt.com> - 2020-07-25 01:46 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) David Kleinecke <dkleinecke@gmail.com> - 2020-07-25 10:31 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-25 12:04 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Jeff Barnett <jbb@notatt.com> - 2020-07-25 14:45 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-26 00:51 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Jeff Barnett <jbb@notatt.com> - 2020-07-25 22:46 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-26 12:10 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-25 22:53 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-26 20:46 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-26 16:42 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-26 15:46 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-26 22:46 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-27 00:28 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-26 17:05 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-27 02:52 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-27 00:30 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-27 00:33 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-26 22:39 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-27 14:12 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-27 12:23 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-27 23:41 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) André G. Isaak <agisaak@gm.invalid> - 2020-07-27 17:37 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-27 19:08 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) André G. Isaak <agisaak@gm.invalid> - 2020-07-27 19:57 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-27 21:14 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) André G. Isaak <agisaak@gm.invalid> - 2020-07-27 20:45 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-27 21:55 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) André G. Isaak <agisaak@gm.invalid> - 2020-07-27 22:58 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-28 00:07 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) André G. Isaak <agisaak@gm.invalid> - 2020-07-27 23:16 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-28 00:38 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) André G. Isaak <agisaak@gm.invalid> - 2020-07-28 00:05 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-28 10:00 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) André G. Isaak <agisaak@gm.invalid> - 2020-07-28 21:32 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-28 22:44 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-28 02:01 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-27 20:45 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-28 03:11 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-27 21:16 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-28 03:24 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-27 21:44 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-28 17:33 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-28 11:40 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-28 11:46 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-28 22:58 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-28 17:13 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-29 00:51 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-28 21:05 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-29 12:04 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-29 12:42 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-29 20:24 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-29 15:38 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-30 01:31 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-30 10:29 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-30 17:45 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-31 10:55 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-28 17:50 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-28 11:57 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-28 20:30 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-28 14:38 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-28 22:52 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-28 17:09 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-29 01:00 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-28 21:29 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Alan Smaill <smaill@SPAMinf.ed.ac.uk> - 2020-07-29 15:47 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-29 13:20 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-29 12:13 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-29 15:16 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-29 14:43 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-29 22:37 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-29 18:34 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-30 02:01 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-31 10:34 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-01 01:48 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-08-01 10:58 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-01 21:24 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-08-01 15:33 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-02 00:24 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-08-02 09:51 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-02 17:29 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-08-03 09:41 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-03 17:39 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-08-02 18:04 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) André G. Isaak <agisaak@gm.invalid> - 2020-08-01 23:19 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-29 16:33 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-29 13:31 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) David Kleinecke <dkleinecke@gmail.com> - 2020-07-29 12:02 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-29 14:57 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-29 22:47 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) David Kleinecke <dkleinecke@gmail.com> - 2020-07-29 15:33 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-29 20:50 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-29 18:51 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-30 02:38 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-31 10:36 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-01 00:47 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-08-01 01:30 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-01 12:55 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-08-01 10:45 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-01 20:28 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-08-01 15:10 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-02 00:11 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-08-02 09:43 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-02 17:20 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-08-03 09:39 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-03 17:46 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-30 00:28 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-28 23:31 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-29 16:43 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-29 14:02 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-30 00:36 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-29 21:44 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) André G. Isaak <agisaak@gm.invalid> - 2020-07-29 21:50 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) André G. Isaak <agisaak@gm.invalid> - 2020-07-29 21:55 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-31 10:48 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-31 12:45 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-31 14:55 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-31 13:13 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-31 16:16 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) David Kleinecke <dkleinecke@gmail.com> - 2020-07-31 14:42 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-31 18:16 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-31 14:44 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Jeff Barnett <jbb@notatt.com> - 2020-07-31 14:02 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) André G. Isaak <agisaak@gm.invalid> - 2020-07-31 17:58 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-31 22:33 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-31 10:43 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-30 13:39 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-31 10:51 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-01 00:58 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-08-01 10:52 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-01 21:02 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-08-02 09:28 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-02 17:45 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-08-03 09:46 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-08-03 17:46 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-08-03 13:22 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Andy Walker <anw@cuboid.co.uk> - 2020-07-30 20:35 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) David Kleinecke <dkleinecke@gmail.com> - 2020-07-30 12:57 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-30 17:20 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Andy Walker <anw@cuboid.co.uk> - 2020-07-30 23:24 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) David Kleinecke <dkleinecke@gmail.com> - 2020-07-30 16:30 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Andy Walker <anw@cuboid.co.uk> - 2020-07-31 01:31 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) David Kleinecke <dkleinecke@gmail.com> - 2020-07-30 20:36 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-31 00:12 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-30 20:41 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-30 17:10 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) David Kleinecke <dkleinecke@gmail.com> - 2020-07-30 16:31 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-30 20:50 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) David Kleinecke <dkleinecke@gmail.com> - 2020-07-30 20:40 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-31 01:34 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-28 10:41 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-28 12:51 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Kaz Kylheku <793-849-0957@kylheku.com> - 2020-07-28 08:23 +0000
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-28 09:20 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-26 13:00 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-26 22:45 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-27 16:17 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-27 23:51 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-26 22:46 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) olcott <NoOne@NoWhere.com> - 2020-07-27 17:14 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V33 (Mendelson Satisfiability) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-28 00:22 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-24 15:57 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-25 00:03 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V31 (Semantically Incorrect Defined) olcott <NoOne@NoWhere.com> - 2020-07-24 19:10 -0500

csiph-web