Re: A possible structure isomorphic to reality

On 09 Dec 2010, at 20:43, Brian Tenneson wrote: Is there any first order formula true in only one of R and R*? I would think that if the answer is NO then R R*. What I'm exploring is the connection of to [=], with the statement that implies [=]. The elementary embeddings preserve the

Re: A possible structure isomorphic to reality

Just to be clear on this: On 09 Dec 2010, at 20:43, Brian Tenneson wrote: Is there any first order formula true in only one of R and R*? So yes, there is one: the weak pure archimedian formula AF: AF: for all x there is a y such that (xy) (not your: for all X there is a Y such that (Y

Re: advice needed for Star Trek talk

Bruno: I stand corrected on steps 6 and 7. I believe I understand your UDA diagrams. Before I can comment, I need to decide waht progrmas are and are not Turing emulatable, and if the brain runs a program, parallel programs, or something else. Ronald On Dec 7, 4:10 pm, Bruno Marchal