LEADER 03086nam 2200577 450 001 996466854103316 005 20220910105313.0 010 $a3-540-39115-0 024 7 $a10.1007/BFb0099377 035 $a(CKB)1000000000437702 035 $a(SSID)ssj0000324914 035 $a(PQKBManifestationID)12118360 035 $a(PQKBTitleCode)TC0000324914 035 $a(PQKBWorkID)10320828 035 $a(PQKB)10872046 035 $a(DE-He213)978-3-540-39115-9 035 $a(MiAaPQ)EBC5578673 035 $a(Au-PeEL)EBL5578673 035 $a(OCoLC)1066180033 035 $a(MiAaPQ)EBC6842040 035 $a(Au-PeEL)EBL6842040 035 $a(PPN)155191497 035 $a(EXLCZ)991000000000437702 100 $a20220910d1984 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aModels and sets $eproceedings of the logic colloquium held in Aachen, July 18-23, 1983 /$fedited by G. H. Mu?ller, M. M. Richter 205 $a1st ed. 1984. 210 1$aBerlin, Germany :$cSpringer,$d[1984] 210 4$dİ1984 215 $a1 online resource (VIII, 488 p.) 225 1 $aLecture Notes in Mathematics,$x0075-8434 ;$v1103 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-13900-1 327 $aFilters and ultrafilters over definable subsets of admissible ordinals -- Superinfinitesimals and the calculus of the generalized riemann integral -- Point-picking games and HFD's -- On homomorphism types of superatomic interval Boolean algebras -- Dectdable theories of pseudo-Algebraically closed fields -- Definability in power series rings of nonzero characteristic -- Convexity properties and algebraic closure operators -- Remarks on finitely based logics -- Monadicity in topological pseudo-boolean algebras -- Finite extensions of finite groups -- Constructing choice sequences from lawless sequences of neighbourhood functions -- Partitions and homogeneous sets for admissible ordinals -- Elimination of quantifiers for the theory of Archimedean ordered divisible groups in a logic with Ramsey quantifiers -- A proof-theoretic approach to non standard analysis (continued) -- Interpretations and the model theory of the classical geometries -- On cantor-bendixson spectra containing (1,1) ? I -- Abstract model-theory and nets of C*-algebras: Noncommutative interpolation and preservation properties -- A contribution to nonstandard teratology -- Model- and substructure complete theories of ordered Abelian groups -- Quantifier elimination and decision procedures for valued fields -- On ? 3 1 . 410 0$aLecture Notes in Mathematics,$x0075-8434 ;$v1103 606 $aLogic, Symbolic and mathematical 615 0$aLogic, Symbolic and mathematical. 676 $a511.3 702 $aRichter$b Michael M.$f1938- 702 $aMu?ller$b G. H$g(Gert Heinz),$f1923- 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466854103316 996 $aModels and sets$9262569 997 $aUNISA