Open Collections

UBC Theses and Dissertations

UBC Theses Logo
Featured Collection

UBC Theses and Dissertations

Some theory of Boolean valued models Klug, Anthony C.

Abstract

Boolean valued structures are defined and some of their properties are studied. Completeness and compactness theorems are proved and Lowenheim-Skolem theorems are looked at. It is seen that for any consistent theory T and cardinal number KT there is a model N of T a "universal" model) such that for any model M of T with M

Item Metadata

Title
Some theory of Boolean valued models
Creator
Klug, Anthony C.
Publisher
University of British Columbia
Date Issued
1974
Description
Boolean valued structures are defined and some of their properties are studied. Completeness and compactness theorems are proved and Lowenheim-Skolem theorems are looked at. It is seen that for any consistent theory T and cardinal number KT there is a model N of T a "universal" model) such that for any model M of T with M
Genre
Thesis/Dissertation
Type
Text
Language
eng
Date Available
2010-01-20
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.0080097
URI
http://hdl.handle.net/2429/18793
Degree (Theses)
Master of Science - MSc
Program (Theses)
Mathematics
Affiliation
Science, Faculty of; Mathematics, Department of
Degree Grantor
University of British Columbia
Campus
UBCV
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.