Some theory of Boolean valued models
| Autor: | Klug, Anthony C. |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 1974 |
| Předmět: | |
| Druh dokumentu: | Text |
| Popis: | 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 Science, Faculty of Mathematics, Department of Graduate |
| Databáze: | Networked Digital Library of Theses & Dissertations |
| Externí odkaz: |
|