Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!linus!philabs!cmcl2!seismo!mcvax!enea!kuling!patrikl
From: patrikl@kuling.UUCP (Patrik Lindvall)
Newsgroups: net.math
Subject: Compactness Theorem Help needed
Message-ID: <900@kuling.UUCP>
Date: Mon, 24-Feb-86 20:28:57 EST
Article-I.D.: kuling.900
Posted: Mon Feb 24 20:28:57 1986
Date-Received: Wed, 26-Feb-86 07:37:09 EST
Organization: University of Uppsala, Sweden
Lines: 12

Help needed in producing a proof of the compactness theorem in first order
predicate Logic, however the completeness theorem may not be used.
I am in a hurry and Dirk van Dalen's "Logic and Structure" wasn't
 much of a help (or I didn't understand it properly).



-- 
 Patrik Lindvall, Computer Science, University of Uppsala, Sweden

UUCP: patrikl@kuling.UUCP (...!{seismo,mcvax}!enea!kuling!patrikl)
ARPA: enea!kuling!patrikl@seismo.ARPA