Math Forum / Mathematics / Mathematical Logic / September 2005

I remember I did this proof in circa 1991 but was dissatisfied with it
and abandoned it because I thought it was tenuous. But let me revisit
it.
I am a logic purist and a logic purist would say that Euclid proved

Hello to all.
I need help in creating a good proof of completeness for Kt4 temporal
logic. I am not a mathematician, just untergraduate philosophy student.
I had one seminar devoted to temporal logic, with professional

<
<
What a sad, sad, sad, sad  joke!
<

Devlin's Aspects of Constructibility,
Barwise's Admissible Sets and Structures
Fremlin's Consequences of Martin's Axiom
are all out of print. Walker's book on the Stone-Cech compactification

Imagine one has some single sentence S in predicate logic. The set of
consequences of S (i.e., the set of theorems one can prove using S as a
premise) is, of course, recursively enumerable. Can this set of
consequences of S have a degree -other- than 0 or 0'?

I am unabble to obtain locally the classical J.E. Stoy's "Denotational
semantics: the Scott-Strachey approach", and need a substitute textbook
appropriate for beginner level self-study.
Would you be kind enough as to suggest one?

At last I think I've got my question straightened out in my mind.
I think we'll need an expert to answer it - it's well beyond me.
Perhaps Herb Enderton or Keith Ramsay or Chris Menzel can help out?
Anyway, here is the query.

What is this paradox?  I have yet to find any explanation of it that
makes sense.
My crude understanding is that an interpretation of a language is all
the objects which the language is able to talk about. An interpretation

--- quoting file 113 of my website www.iw.net/~a_plutonium which
appears to be down on this day ---
MATH3: Two Proofs of the Goldbach Conjecture
by Archimedes Plutonium

In this department of mathematics I would give it a F or failing grade
for the past 200 years. What I mean is that in Number theory are many
conjectures based on primes of a certain form and whether that form has
an infinite supply of primes. The Infinitude of Perfect Numbers is

I want to see the explicit expression of G in the language of PA, is there
any web page where I can take a look to G?

We have a concept, an idea, of an entity, [X], that enables us to
recognise or determine whether something is an X. This is obviously not
something we usually do in a conscious fashion, but it could be. Thus,
for example, if I want to determine whether the snake before me on the

In the past I have on occasion given quiz questions to graduate
students and today I quizzed the students of Harvard, Princeton, Yale
on a physics question. So let me quiz the MidWest for there are alot of
bright and sharp graduate students in the Midwest. I want to stay away

Dik T. Winter Tue, 20 Sep 2005 23:48:40 GMT wrote:
In article <1127247771.728333.185...@o13g2000cwo.googlegroups.com>
a_pluton...@hotmail.com writes:
...

I wrote in a post last night:
a_plutonium@hotmail.com wrote: