Return to search

Abstract model theory

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. / Science, Faculty of / Mathematics, Department of / Graduate

Identiferoai:union.ndltd.org:UBC/oai:circle.library.ubc.ca:2429/19873
Date January 1976
CreatorsFraser, Craig Graham
Source SetsUniversity of British Columbia
LanguageEnglish
Detected LanguageEnglish
TypeText, Thesis/Dissertation
RightsFor 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.

Page generated in 0.0017 seconds