Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.


Math Forum
»
Discussions
»
sci.math.*
»
sci.math
Notice: We are no longer accepting new posts, but the forums will continue to be readable.
Topic:
Product, Filters and Quantales
Replies:
31
Last Post:
Oct 21, 2013 7:52 AM



fom
Posts:
1,968
Registered:
12/4/12


Re: Prime Interger Topology
Posted:
Oct 21, 2013 7:52 AM


On 10/21/2013 3:24 AM, William Elliot wrote: > On Sun, 20 Oct 2013, fom wrote: >> On 10/20/2013 9:58 PM, William Elliot wrote: >>> >>> Why relations? Aren't functiosn used to manage the undue complexity of >>> relations? >> >> This is the pair coding function from Goedel's >> lemma in Kaye's "Models of Peano Arithemtic" >> >> < x, y > = [ ( x + y )( x + y + 1) / 2 ] + y >> >> Given any "definite" model of my axioms, I >> could collapse the relations into sets of >> numbers arithmetically. >> >> Those sets probably could not be represented recursively. > > (0,0) = 0 > (x+1, 0) = (x + 1)(x + 2)/2 = x(x + 1)/2 + x + 1 = (x,0) + x + 1 > > (x, y+1) = (x + y + 1)(x + y + 2)/2 + y + 1 > = (x + y)(x + y + 1)/2 + x + y + 1 + y + 1 > = (x,y) + x + y + 2 >
Oh! The pairing function could.
I meant the codings on the relations in the theory.
Given a definite model, those relations would be given definite values. Applying the coding to the relations would map each relation back into the natural numbers.
It is the set of such relations to which I refer.



