X-Received: by 2002:ad4:58aa:0:b0:62b:6a01:444a with SMTP id ea10-20020ad458aa000000b0062b6a01444amr370394qvb.7.1686335746833; Fri, 09 Jun 2023 11:35:46 -0700 (PDT)
X-Received: by 2002:a81:7646:0:b0:561:c9c0:98d9 with SMTP id j6-20020a817646000000b00561c9c098d9mr1316331ywk.4.1686335746489; Fri, 09 Jun 2023 11:35:46 -0700 (PDT)
Path: csiph.com!news.mixmin.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.logic
Date: Fri, 9 Jun 2023 11:35:46 -0700 (PDT)
In-Reply-To: <9789e49c-9799-4a88-9b4f-db88b4a1b16an@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.44; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.53.44
References: <u0sejc$1cb2d$1@dont-email.me> <54bb4947-b430-46a0-a2e0-0fdb8f0ad1afn@googlegroups.com> <u5ic1a$tf1l$1@solani.org> <37592baa-34f2-47f9-a79c-f0d5e56b1051n@googlegroups.com> <75f43cb1-6962-4511-9f03-cf29aa8095acn@googlegroups.com> <ab41dac6-322c-47cb-aa6b-8cc9e77b4f33n@googlegroups.com> <db30d4d8-1d8f-49e4-b240-2850de44fa01n@googlegroups.com> <6067a136-6e25-423e-829d-4a925b1b939en@googlegroups.com> <6864307c-9bbe-41fb-9dd9-09366f13d8c8n@googlegroups.com> <2cdca770-e753-44f1-96e9-92947f849fe9n@googlegroups.com> <f387fd6f-3cfd-4c20-b39c-8b5927ec4774n@googlegroups.com> <3075f777-67ad-472d-b2ad-1975798bc74bn@googlegroups.com> <40e3da43-5e1f-43be-8c2f-a60c856e04d1n@googlegroups.com> <d9dfe53e-a9bc-4e58-9c6c-d6943aa52b75n@googlegroups.com> <1dbfaaff-6856-49f4-84b4-b7d28fd32f9an@googlegroups.com> <feca315a-4301-4c28-8614-913fb08a253en@googlegroups.com> <32be4ed8-cf48-4ae3-a625-54c8aa0d6b93n@googlegroups.com> <cf605103-0a66-4583-ae23-35849210004en@googlegroups.com> <u5qtmr$11n4v$2@solani.org> <2813591b-edd4-42e6-892f-28d00a02d7dfn@googlegroups.com> <7e59083d-a73b-4942-877e-fb0f85057c7cn@googlegroups.com> <9789e49c-9799-4a88-9b4f-db88b4a1b16an@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <5bcdffa9-96b3-41b7-a700-cfbe4e8aa6d8n@googlegroups.com>
Subject: Re: Why is model theory needed?
From: Mild Shock <bursejan@gmail.com>
Injection-Date: Fri, 09 Jun 2023 18:35:46 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Xref: csiph.com sci.logic:254150


Not yet, how long will it take?

Jeffrey Rubard schrieb am Freitag, 9. Juni 2023 um 19:54:15 UTC+2:
> On Thursday, June 8, 2023 at 12:19:54=E2=80=AFPM UTC-7, Mild Shock wrote:=
=20
> > And? What did you write? Was this before your autism?
> I still don't have autism. It's primarily a diagnosis for unintelligent, =
dangerous well-off people like you.
> > Jeffrey Rubard schrieb am Donnerstag, 8. Juni 2023 um 21:15:01 UTC+2:=
=20
> > > On Wednesday, June 7, 2023 at 2:43:58=E2=80=AFPM UTC-7, Mild Shock wr=
ote:=20
> > > > Interestingly its not all grim in second order logic. Although=20
> > > > full second order logic doesn't have a calculus, there are=20
> > > > some General semantics via Henkin models, that even=20
> > > >=20
> > > > have a calculus. This can be used to justify some proof=20
> > > > assistants that offer more than first order logic. There was=20
> > > > an old SEP article by Herb Enderton, which he kind of wrote=20
> > > "Wow, this reads like addled juvenilia I used to write... years ago."