+- Softwarez.Info - Software's World! (https://softwarez.info)
+-- Forum: Library Zone (https://softwarez.info/Forum-Library-Zone)
+--- Forum: E-Books (https://softwarez.info/Forum-E-Books)
+--- Thread: Topological Model Theory (/Thread-Topological-Model-Theory--542657)
Topological Model Theory - ebooks1001 - 09-10-2024
![[Image: b4d19c0a9d311e550a76c927ea608dab.webp]](https://i124.fastpic.org/big/2024/0909/ab/b4d19c0a9d311e550a76c927ea608dab.webp)
Free Download Topological Model Theory by Jörg Flum , Martin Ziegler
English | PDF | 1980 | 161 Pages | ISBN : 3540097325 | 5.9 MB
The task of model theory is to investigate mathematical structures with the aid of formal languages. Classical model theory deals with algebraic struc- tures. Topological model theory investigates topological structures. A to- pological structure is a pair (=,a) consisting of an algebraic structure ~ and a topology ~ on A. Topological groups and topological vector spaces are examples. The formal language in the study of topological structures is L t- This is the fragment of the (monadic) second-order language (the set variab- les ranging over the topology ~) obtained by allowing quantification over set variables in the form 3X(t e X ^ ~), wheret is a term and the second- order variable X occurs only negatively in ~ (and dually for the universal quantifier). Intuitively, L t allows only quantifications over sufficiently small neighborhoods of a point.
[/b]
Recommend Download Link Hight Speed | Please Say Thanks Keep Topic Live
Links are Interchangeable - Single Extraction