Topological Model Theory |
Contents
Omitting types theorem | 61 |
Luut | 69 |
Historical remarks | 75 |
Copyright | |
2 other sections not shown
Other editions - View all
Common terms and phrases
algebraically assume axiomatized b₁ basis Choose clopen sets closed under countable compactness theorem countable intersections decidable denote dense denumerable euclidean Exercise following are equivalent Given H₂ hausdorff Hence hereditarily undecidable holds homeomorphic implies induction infinite interpolation theorem invariant for topologies isomorphism L-equivalent L-formula L-structure L-theory L₂ Lemma locally bounded locally pure logic Löwenheim-Skolem theorem many-sorted Math Mod¹ model theory monotone structures monotone system negation normal form neighborhood obtain order topology partial homeomorphism preserved Proof prove quantifiers recursively saturated relation resp satisfies sentence sequence set of L-sentences set variables struc structures 2,0 subgroups subset subspace substructure Suppose topological abelian groups topological field topological groups topological spaces topological structures topological vector space two-sorted U₁ U₂ unary V-topology V₁ valuation ring w-separated w-tree w₁-saturated weak structure யய