Models and Sets : Proceedings of the Logic Colloquium held in Aachen July 18–23 1983 Part I Filters and ultrafilters over definable subsets of admissible ordinals Superinfinitesimals and the calculus of the generalized riemann integral Point picking games and HFDs 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 .