Groups | Search | Server Info | Login | Register

Re: Expressability in the notation of set theory

Newsgroups	sci.logic
Date	2023-06-08 19:43 -0700
References	(13 earlier) <4b097fae-1c63-43bf-ae65-ae8c9abac4a0n@googlegroups.com> <d3c2c586-c8bd-4e41-892b-e61e4adc842dn@googlegroups.com> <cdc73963-401a-4775-97ff-b9a26aec0589n@googlegroups.com> <dd65688b-9973-444e-a8e8-a9a3ef4ce2c8n@googlegroups.com> <d51a66d1-c3a5-45fc-a94a-cd7d0eae5a77n@googlegroups.com>
Message-ID	<fdc98676-613a-4a56-809f-dfa90cbd6bcen@googlegroups.com> (permalink)
Subject	Re: Expressability in the notation of set theory
From	Dan Christensen <Dan_Christensen@sympatico.ca>

Show all headers | View raw

On Thursday, June 8, 2023 at 6:54:51 PM UTC-4, Mild Shock wrote:

> Mild Shock schrieb am Freitag, 9. Juni 2023 um 00:48:44 UTC+2: 

> > > 
> > > ALL(a):[a in u => EXIST(b):[b in u & (a,b) in r1]] 
> > > & ALL(a):[a in u => EXIST(b):[b in u & (a,b) in r2]] 
> > > & 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 r1 & (y,d) in r2]]] 

> Is even worse, you have some x,y and then some a,b. 
> This means Q is required to be {(x,y,f(x),g(y))} varying 
> depending on x,y. 

If have defined no functions f and g. I have relations r1 and r2.  Of course, q may vary if you choose different x and y.

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