Repository logo
Log in(current)
Repository logoMIT Open ScholarshipDSpace@MIT
  1. Home
  2. Computer Science and Artificial Intelligence Lab (CSAIL)
  3. Artificial Intelligence Lab Publications
  4. AI Memos (1959 - 2004)
  5. Topics in Model Theory

Topics in Model Theory

Thumbnail Image
Download
Name

AIM-078.pdf

Size

161.16 KB

Format

Adobe PDF

Checksum (MD5)

c9e4321616aca7ee8f36e8afa08c33dd

Thumbnail Image
Download
Name

AIM-078.ps

Size

1.79 MB

Format

PostScript

Checksum (MD5)

ee13fd9de65457b8c72989376f3498ea

Author(s)
Levin, Michael
Date Issued
May 1, 1965
Series/Report no.
AIM-078
Abstract
The concept of "free" as in free group and free semi-group is extended to arbitrary first order theories. Every consistent theory has free models. Some problems of obtaining a categorical theory of models are discussed.
Persistent DSpace Link
http://hdl.handle.net/1721.1/6120
Repository logo
PrivacyPermissionsAccessibilityContact us
Repository logo
Notify us about copyright concerns.