Please remove me from your mailing list. I don’t want to receive any more comments.

Thank you

]]>have inquiers thats helberts project have been asked …namely if we can said there is independce of tuth and false in amathematic statement ]]>

*[Corrected, thanks – T.]*

One question I am wondering which is not clear to me. Are topological spaces normally associated with languages and first-order theories metrizable? If so what sorts of metrics are out there to describe the “distance” between first-order theories over a fixed language? Or are these topological spaces associated with languages and first-order theories necessarily not metrizable? What implications would that have, if any, on logic?

]]>A small glitch:

In the paragraph before Corollary 3 (Sequential Compactness Theorem), the second sentence has something missing:

“Given a sequence U_1, U_2, . . . be a sequence of structures ”

*[Corrected, thanks – T.]*