Topological Model Theory |
Contents
Lindströms theorem and related logics | 48 |
Omitting types theorem | 61 |
Luut | 69 |
Copyright | |
3 other sections not shown
Other editions - View all
Common terms and phrases
algebraically assume axiomatized axioms b₁ basis Choose clopen sets closed under countable compactness theorem countable intersections decidable denote dense denumerable direct sum 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 model theory monotone structures monotone system negation normal form neighborhood obtain order topology partial homeomorphism pc q preserved Proof prove quantifiers recursively saturated relation resp sentence sequence 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₁ V₂ valuation ring w-separated w-tree w₁-saturated weak structure X₁ யய