03086nam 2200577 450 99646685410331620220910105313.03-540-39115-010.1007/BFb0099377(CKB)1000000000437702(SSID)ssj0000324914(PQKBManifestationID)12118360(PQKBTitleCode)TC0000324914(PQKBWorkID)10320828(PQKB)10872046(DE-He213)978-3-540-39115-9(MiAaPQ)EBC5578673(Au-PeEL)EBL5578673(OCoLC)1066180033(MiAaPQ)EBC6842040(Au-PeEL)EBL6842040(PPN)155191497(EXLCZ)99100000000043770220220910d1984 uy 0engurnn|008mamaatxtccrModels and sets proceedings of the logic colloquium held in Aachen, July 18-23, 1983 /edited by G. H. Müller, M. M. Richter1st ed. 1984.Berlin, Germany :Springer,[1984]©19841 online resource (VIII, 488 p.) Lecture Notes in Mathematics,0075-8434 ;1103Bibliographic Level Mode of Issuance: Monograph3-540-13900-1 Filters 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 .Lecture Notes in Mathematics,0075-8434 ;1103Logic, Symbolic and mathematicalLogic, Symbolic and mathematical.511.3Richter Michael M.1938-Müller G. H(Gert Heinz),1923-MiAaPQMiAaPQMiAaPQBOOK996466854103316Models and sets262569UNISA