My Math Forum  

Go Back   My Math Forum > College Math Forum > Number Theory

Number Theory Number Theory Math Forum


Thanks Tree1Thanks
Reply
 
LinkBack Thread Tools Display Modes
March 11th, 2019, 05:47 PM   #11
Senior Member
 
Joined: Oct 2009

Posts: 781
Thanks: 280

Quote:
Originally Posted by AplanisTophet View Post
I thought about it and just figured out a way to count $A$. Each element of $A$ is a finite set constructed of left brackets, $\{$, and right brackets, $\}$, so in replacing each left bracket with a $0$ and each right bracket with a $1$, we can convert each element of $A$ to a unique finite binary string:

Let $f(\{) = 0$ and let $f(\}) = 1$.

Arbitrarily, let $a = \{ \{ \{ \} \}, \{ \{ \}, \{ \{ \} \} \} \}$.

Then $f[a] = f(\{) f(\{) f(\{) f(\}) f(\}), f(\{) f(\{) f(\}), f(\{) f(\{) f(\}) f(\}) f(\}) f(\}) = 00011001001111$.

Define $A = \{ x : \text{ there exists some model of ZF set theory such that } x \text{ is an element of the model and } f[x] = \text{ a finite binary string} \}$.

Now that my definition is clear, I am curious, what is the difference between $L_w$ and $A$?
I don't see how any of this ressembles $L_\omega$ in the slightest.
Micrm@ss is online now  
 
March 11th, 2019, 06:53 PM   #12
Senior Member
 
Joined: Jun 2014
From: USA

Posts: 525
Thanks: 40

Quote:
Originally Posted by Maschke View Post
I'm experiencing restricted comprehension.
Yup. I don't adhere to restricted comprehension (such as the axiom schema of specification, etc.) in defining $A$, but since $A$ is enumerable I don't see the point of doing so.

It matters not that I chose to apply a function to elements of the Alphabet as opposed to sets within the model. My definition is precise. Give me any set and we are able to tell precisely whether or not it is an element of $A$.

The difference between $L_{\omega}$ and $A$ as I understand it would be any infinite elements of $L_{\omega}$. That's it.
AplanisTophet is offline  
March 11th, 2019, 08:07 PM   #13
Senior Member
 
Joined: Aug 2012

Posts: 2,305
Thanks: 705

Quote:
Originally Posted by AplanisTophet View Post
Yup. I don't adhere to restricted comprehension ...
I think you're the one suffering from restricted comprehension here.
Maschke is offline  
March 11th, 2019, 08:30 PM   #14
Senior Member
 
Joined: Jun 2014
From: USA

Posts: 525
Thanks: 40

Quote:
Originally Posted by Maschke View Post
I think you're the one suffering from restricted comprehension here.
Not if you still don't get what $A$ is. At this point, that would be you. I'm not sure you know what $L_{\omega}$ is either at this point, though I'm asking because I myself would like clarification. I've noted that $L_{\omega} = V_{\omega}$ and I want to make sure I understand why.
AplanisTophet is offline  
March 11th, 2019, 08:52 PM   #15
Senior Member
 
Joined: Aug 2012

Posts: 2,305
Thanks: 705

Quote:
Originally Posted by AplanisTophet View Post
Not if you still don't get what $A$ is. At this point, that would be you. I'm not sure you know what $L_{\omega}$ is either at this point, though I'm asking because I myself would like clarification. I've noted that $L_{\omega} = V_{\omega}$ and I want to make sure I understand why.
You haven't responded to any of my direct questions so there's not much left for me here.
Maschke is offline  
March 12th, 2019, 05:02 AM   #16
Senior Member
 
Joined: Jun 2014
From: USA

Posts: 525
Thanks: 40

Quote:
Originally Posted by Maschke View Post
You haven't responded to any of my direct questions so there's not much left for me here.
I gave you the domain of $f$. What else did you ask that I haven’t given you?
AplanisTophet is offline  
March 12th, 2019, 08:09 AM   #17
Senior Member
 
Joined: Jun 2014
From: USA

Posts: 525
Thanks: 40

A listing of the finite binary strings, $F$, could be used to construct $A$.

$f^{-1}[0] = \{$. This is not a set, so not in $A$.

$f^{-1}[1] = \}$. This is not a set, so not in $A$.

$f^{-1}[01] = \{\}$. This is a set, so in $A$.

.
.
.

$A = \{ x \in F : f^{-1}[x] \text{ is a set} \}$.

So what sets are in $L_{\omega}$ that are not in $A$?
AplanisTophet is offline  
March 12th, 2019, 10:07 AM   #18
Senior Member
 
Joined: Aug 2012

Posts: 2,305
Thanks: 705

Quote:
Originally Posted by AplanisTophet View Post
I gave you the domain of $f$. What else did you ask that I haven’t given you?
It would be immensely helpful to me if you would go over each of my posts in this thread, and each time you see a sentence ending in '?', please give a clear, straightforward response in simple, declarative sentences. Don't add anything and don't assume anything. Just answer each question.
Maschke is offline  
March 13th, 2019, 08:57 AM   #19
Senior Member
 
Joined: Jun 2014
From: USA

Posts: 525
Thanks: 40

Quote:
Originally Posted by Maschke View Post
It would be immensely helpful to me if you would go over each of my posts in this thread, and each time you see a sentence ending in '?', please give a clear, straightforward response in simple, declarative sentences. Don't add anything and don't assume anything. Just answer each question.
Sounds fun. Will do at some point.
AplanisTophet is offline  
March 14th, 2019, 09:55 AM   #20
Senior Member
 
Joined: Aug 2012

Posts: 2,305
Thanks: 705

Quote:
Originally Posted by AplanisTophet View Post
Sounds fun. Will do at some point.
Meanwhile, did you find the link on the hereditarily finite sets of interest?

Is your idea different in some way?

Also can you please say in English what #5 means?

What is the domain of f?
Maschke is offline  
Reply

  My Math Forum > College Math Forum > Number Theory

Tags
comprehension, question



Thread Tools
Display Modes


Similar Threads
Thread Thread Starter Forum Replies Last Post
reading comprehension shaharhada Algebra 1 July 16th, 2018 10:20 AM
reading comprehension shaharhada Geometry 1 June 30th, 2018 09:44 AM
Order of Operations comprehension question sdparsons Algebra 3 October 1st, 2017 03:12 AM
I have a question about sine and cosine transform, and the question also includes a H sCoRPion Differential Equations 0 March 16th, 2015 01:05 PM
Stats question: The Secretary Question word problem pudro Algebra 0 November 10th, 2008 08:12 PM





Copyright © 2019 My Math Forum. All rights reserved.