Source on types

Article View: sci.logic

Article #96

#96

From: Joseph Dzikiewicz
Date: Wed, 05 Aug 1992 17:12

7 lines
573 bytes

Can anyone out there in net-land recommend a good source on types in 
model theory.  (ie, a type is a maximally consistent set of formulas
having a limited set of free variables.)

Thanks,
Joe Dzikiewicz
dzik@access.digex.com

Technical Details

Message-ID: <1992Aug5.171240.2258@access.digex.com>

Path: arc1-ca.pugleaf.net!sparky!uunet!tcsi.com!iat.holonet.net!uupsi!psinntp!digex!dzik

Show Full Headers

Complete Article Headers

Newsgroups: sci.logic
Path: arc1-ca.pugleaf.net!sparky!uunet!tcsi.com!iat.holonet.net!uupsi!psinntp!digex!dzik
From: dzik@access.digex.com (Joseph Dzikiewicz)
Subject: Source on types
Message-ID: <1992Aug5.171240.2258@access.digex.com>
Organization: Express Access Online Communications, Greenbelt, MD USA
Date: Wed, 5 Aug 1992 17:12:40 GMT
Lines: 7