- Library Home /
- Search Collections /
- Open Collections /
- Browse Collections /
- UBC Theses and Dissertations /
- Abstract model theory
Open Collections
UBC Theses and Dissertations
UBC Theses and Dissertations
Abstract model theory Fraser, Craig Graham
Abstract
We define a notion of logic that provides a general framework for the study of extensions of first-order predicate calculus. The concept of partial isomorphism and its relation to infinitary logics are examined. Results on the definability of ordinals establish the setting for our proof of Lindstrom's Theorem: this theorem gives conditions that characterize first-order logic. We then consider the analogues to the general case of the compactness and Lowenheim properties. For a wide class of logics it is shown that interesting connections exist between the analogues of these properties.
Item Metadata
Title |
Abstract model theory
|
Creator | |
Publisher |
University of British Columbia
|
Date Issued |
1976
|
Description |
We define a notion of logic that provides a general framework for the study of extensions of first-order predicate calculus. The concept of partial isomorphism and its relation to infinitary logics are examined. Results on the definability of ordinals establish the setting for our proof of Lindstrom's Theorem: this theorem gives conditions that characterize first-order logic. We then consider the analogues to the general case of the compactness and Lowenheim properties. For a wide class of logics it is shown that interesting connections exist between the analogues of these properties.
|
Genre | |
Type | |
Language |
eng
|
Date Available |
2010-02-09
|
Provider |
Vancouver : University of British Columbia Library
|
Rights |
For non-commercial purposes only, such as research, private study and education. Additional conditions apply, see Terms of Use https://open.library.ubc.ca/terms_of_use.
|
DOI |
10.14288/1.0080107
|
URI | |
Degree | |
Program | |
Affiliation | |
Degree Grantor |
University of British Columbia
|
Campus | |
Scholarly Level |
Graduate
|
Aggregated Source Repository |
DSpace
|
Item Media
Item Citations and Data
Rights
For non-commercial purposes only, such as research, private study and education. Additional conditions apply, see Terms of Use https://open.library.ubc.ca/terms_of_use.