LEADER 01910oam 2200457 450 001 9910554275403321 005 20230630001959.0 010 $a3-11-071971-1 024 7 $a10.1515/9783110719710 035 $a(CKB)4100000011868924 035 $a(DE-B1597)567466 035 $a(DE-B1597)9783110719710 035 $a(MiAaPQ)EBC6623951 035 $a(Au-PeEL)EBL6623951 035 $a(OCoLC)1252417322 035 $a(EXLCZ)994100000011868924 100 $a20210505d2021 uy 0 101 0 $aeng 135 $auraz#---auuuu 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aGroups and model theory $egagta book 2 /$fedited by Olga Kharlampovich, Rizos Sklinos 210 1$aBoston :$cDe Gruyter,$d2021. 215 $a1 online resource (vii, 233 pages) 311 $a3-11-071966-5 327 $aFrontmatter --; Introduction --; Contents --; 1 Model theory and groups --; 2 Independence and interpretable structures in nonabelian free groups --; 3 Quantifier elimination algorithm to boolean combination of ??-formulas in the theory of a free group --; 4 Rich groups, weak second-order logic, and applications --; 5 Rigid solvable groups. Algebraic geometry and model theory --; Index. 330 $aThe series is devoted to the publication of high-level monographs on all areas of mathematical logic and its applications. It is addressed to advanced students and research mathematicians, and may also serve as a guide for lectures and for seminars at the graduate level. 606 $aGroup theory 606 $aModel theory 615 0$aGroup theory. 615 0$aModel theory. 676 $a512.2 702 $aKharlampovich$b Olga$f1958- 702 $aSklinos$b Rizos 801 0$bDLC 801 1$bDLC 906 $aBOOK 912 $a9910554275403321 996 $aGroups and model theory$9241645 997 $aUNINA