- Library Home /
- Search Collections /
- Open Collections /
- Browse Collections /
- UBC Theses and Dissertations /
- Some theory of Boolean valued models
Open Collections
UBC Theses and Dissertations
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 <, K, M can be written as a quotient of N. A theory T is shown to be open if and only if given structures M c N, if N is a model of T, then M is a model of T, T is shown to be existential if and only if the union of every chain of models of T is a model of T. The prefix problem and obstructions to elementary extensions are examined. Various forms of completeness are compared and, finally, an example is given where Boolean valued models are used to prove a theorem of Mathematics (Hilbert's 17-th Problem) without using the Axiom of Choice. Throughout, it is seen that good Boolean valued structures (for all Φ [(Ev[sub j])Φ][sub M] = I(Φ,a][sub M] for some a Є U[sub M]) behave very much like relational structures and much of the theory depends upon their existence.
Item Metadata
Title |
Some theory of Boolean valued models
|
Creator | |
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 <, K, M can be written as a quotient of N. A theory T is shown to be open if and only if given structures M c N, if N is a model of T, then M is a model of T, T is shown to be existential if and only if the union of every chain of models of T is a model of T. The prefix problem and obstructions to elementary extensions are examined. Various forms of completeness are compared and, finally, an example is given where Boolean valued models are used to prove a theorem of Mathematics (Hilbert's 17-th Problem) without using the Axiom of Choice. Throughout, it is seen that good Boolean valued structures (for all Φ [(Ev[sub j])Φ][sub M] = I(Φ,a][sub M] for some a Є U[sub M]) behave very much like relational structures and much of the theory depends upon their existence.
|
Genre | |
Type | |
Language |
eng
|
Date Available |
2010-01-21
|
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 | |
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.