Re: Expressability in the notation of set theory

X-Received	by 2002:a05:622a:1a96:b0:3f3:9663:1a40 with SMTP id s22-20020a05622a1a9600b003f396631a40mr909028qtc.5.1686261876659; Thu, 08 Jun 2023 15:04:36 -0700 (PDT)
X-Received	by 2002:a25:c382:0:b0:bad:99d:f086 with SMTP id t124-20020a25c382000000b00bad099df086mr308750ybf.10.1686261876444; Thu, 08 Jun 2023 15:04:36 -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	Thu, 8 Jun 2023 15:04:36 -0700 (PDT)
In-Reply-To	<4b097fae-1c63-43bf-ae65-ae8c9abac4a0n@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	<1941110f-b45f-4e42-8290-9f7949082816n@googlegroups.com> <bde26212-42b5-46b4-9756-cbc912d3e8c2n@googlegroups.com> <3c185f1d-c3cf-4319-87c9-97c58e3ce0f2n@googlegroups.com> <0d9b45a0-028b-4226-befe-1e11b5a90c82n@googlegroups.com> <e4cf0f3e-2157-4e9b-ad43-22681b33ed81n@googlegroups.com> <ebbe8c64-6a01-43c1-9abc-366762d6aae1n@googlegroups.com> <6a6dbb2c-da8c-4aba-b6a1-28a4abe1bb0en@googlegroups.com> <fe12e99f-e6d3-4a6a-8ea4-a847177f0447n@googlegroups.com> <94a9e91f-8dad-457e-a09d-3d7ad614cb65n@googlegroups.com> <1f0728e4-dc6a-4436-8f5d-9750558e92c2n@googlegroups.com> <e0622cbf-3dbc-4bea-92b1-88651e2d7229n@googlegroups.com> <4645fa8c-363f-469c-b17d-b16210c15133n@googlegroups.com> <b8e2b95b-0729-43ce-8522-339c789930d0n@googlegroups.com> <4b097fae-1c63-43bf-ae65-ae8c9abac4a0n@googlegroups.com>
User-Agent	G2/1.0
MIME-Version	1.0
Message-ID	<d3c2c586-c8bd-4e41-892b-e61e4adc842dn@googlegroups.com> (permalink)
Subject	Re: Expressability in the notation of set theory
From	Mild Shock <bursejan@gmail.com>
Injection-Date	Thu, 08 Jun 2023 22:04:36 +0000
Content-Type	text/plain; charset="UTF-8"
Content-Transfer-Encoding	quoted-printable
Xref	csiph.com sci.logic:254126

Show key headers only | View raw

Credits for the Translation go to Mahesh Viswanathan:

Second Order Logic - Mahesh Viswanathan Fall 2018
https://courses.engr.illinois.edu/cs498mv/fa2018/SecondOrderLogic.pdf

You basically find the bounded quantifier ∀X(X ⊆ U => F) here:

Definition 3:
assigns to every k-ary relational variable X_k a relation α2(X_k) ⊆ [u(A)]^k

For monadic second order, you only need k=1. Although
his function signature for α2 isn't correctly written out, 
and thefore his subsequent Definition 4 is a little hoppy.

Your Terrence Tao nonsense is wrong because it has 
only one r, but he talks about two dependencies and
not only one dependency.

Do you need glasses like John Gabriel. You get the Drinker
Paradox wrong, now you get Terrence Tao wrong,
because you don't pay attention?

Dan Christensen schrieb am Donnerstag, 8. Juni 2023 um 23:57:34 UTC+2:
> On Thursday, June 8, 2023 at 5:45:19 PM UTC-4, Mild Shock wrote: 
> > The translation MSO to FOL uses ordinary set theory. 
> > Where do you see something that isn't ordinary set theory?
> If you want to use ordinary set, you should have no problem with with this formalization:
> ALL(a):[a in u => EXIST(b):[b in u & (a,b) in r]] 
> & ALL(x):ALL(y):[x in u & y in u => ALL(a):ALL(b):ALL(c):ALL(d):[(a,b,c,d) in q 
> <=> (a,b,c,d) in u4 & [a=x & b=y & (x,c) in r & (y,d) in r]]] 
> 
> where u4 = u*u*u*u (Cartesian product)
> Dan 
> 
> Download my DC Proof 2.0 freeware at http://www.dcproof.com 
> Visit my Math Blog at http://www.dcproof.wordpress.com

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

Thread

Expressability in the notation of set theory Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-07 20:25 -0700
  Re: Expressability in the notation of set theory Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-07 22:11 -0700
    Re: Expressability in the notation of set theory Julio Di Egidio <julio@diegidio.name> - 2023-06-07 23:34 -0700
      Re: Expressability in the notation of set theory Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-08 07:31 -0700
  Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-08 00:51 -0700
    Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-08 01:03 -0700
      Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-08 01:19 -0700
      Re: Expressability in the notation of set theory Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-08 08:04 -0700
        Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-08 11:10 -0700
          Re: Expressability in the notation of set theory Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-08 11:40 -0700
          Re: Expressability in the notation of set theory Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-08 11:51 -0700
            Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-08 12:16 -0700
              Re: Expressability in the notation of set theory Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-08 12:34 -0700
                Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-08 13:47 -0700
                Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-08 13:57 -0700
                Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-08 14:11 -0700
                Re: Expressability in the notation of set theory Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-08 14:42 -0700
                Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-08 14:45 -0700
                Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-08 14:51 -0700
                Re: Expressability in the notation of set theory Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-08 14:57 -0700
                Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-08 15:04 -0700
                Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-08 15:09 -0700
                Re: Expressability in the notation of set theory Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-08 15:28 -0700
                Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-08 15:48 -0700
                Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-08 15:54 -0700
                Re: Expressability in the notation of set theory Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-08 19:43 -0700
                Re: Expressability in the notation of set theory Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-08 19:32 -0700
                Re: Expressability in the notation of set theory Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-08 14:38 -0700
  Re: Expressability in the notation of set theory Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-08 21:19 -0700
    Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-09 00:21 -0700
      Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-09 00:28 -0700
        Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-09 00:34 -0700
          Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-09 00:48 -0700
      Re: Expressability in the notation of set theory Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-09 06:57 -0700
        Re: Expressability in the notation of set theory Mild Shock <janburse@fastmail.fm> - 2023-06-09 21:04 +0200
          Re: Expressability in the notation of set theory Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-09 13:28 -0700
            Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-09 15:42 -0700
              Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-09 15:58 -0700
                Re: Expressability in the notation of set theory Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-10 13:36 -0700
              Re: Expressability in the notation of set theory Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-09 18:17 -0700
              Re: Expressability in the notation of set theory Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-09 18:20 -0700
                Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-10 04:30 -0700
                Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-10 04:46 -0700
                Re: Expressability in the notation of set theory Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-10 10:52 -0700
                Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-10 11:06 -0700
                Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-10 11:11 -0700
                Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-10 11:17 -0700
                Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-12 00:37 -0700
                Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-12 00:38 -0700
                Re: Expressability in the notation of set theory Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-12 07:22 -0700
                Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-12 08:17 -0700
                Re: Expressability in the notation of set theory Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-10 11:21 -0700
                Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-10 11:27 -0700
                Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-10 15:10 -0700
                Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-11 02:02 -0700
    Re: Expressability in the notation of set theory Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-09 12:03 -0700
      Re: Expressability in the notation of set theory Mild Shock <janburse@fastmail.fm> - 2023-06-09 21:12 +0200
        Re: Expressability in the notation of set theory Mild Shock <janburse@fastmail.fm> - 2023-06-09 21:22 +0200
          Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-09 12:33 -0700

csiph-web