## Continuous Model TheoryThis is a study of the theory of models with truth values in a compact Hausdorff topological space. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Other editions - View all

### Common terms and phrases

a-good a-saturated a-universal algebra assume cardinal Chapter closed open set closed set closed under ultraproducts compact Hausdorff space compactness theorem continuous function continuum hypothesis D-lim f D-lim Xi D-limit D-prod F D-prod Xi D-product define denote e-set elementarily closed elementarily equivalent elementary chain elementary extension elementary submodel existential class exists filter finite intersection property following are equivalent formulas function f H-set Hausdorff space Hence holds implies induction infinite isomorphically isomorphically embeddable k-set Keisler let f limit ordinal model of power model theory non-empty set notion open set product topology properties reduced products regular ultrafilter relation H sequence special models submodel subset Suppose symbols t-set Th(A Th(B Th(K Th+(A Th+(B Th+(D-prod theorem is proved truth value ultrapowers Urysohn's Lemma