Volume 1103 1984

Models and Sets

Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part I

Editors:

ISBN: 978-3-540-13900-3 (Print) 978-3-540-39115-9 (Online)

Table of contents (21 chapters)

previous Page of 2
  1. No Access

    Book Chapter

    Pages 1-8

    Filters and ultrafilters over definable subsets of admissible ordinals

  2. No Access

    Book Chapter

    Pages 9-52

    Superinfinitesimals and the calculus of the generalized riemann integral

  3. No Access

    Book Chapter

    Pages 53-66

    Point-picking games and HFD's

  4. No Access

    Book Chapter

    Pages 67-81

    On homomorphism types of superatomic interval Boolean algebras

  5. No Access

    Book Chapter

    Pages 83-101

    Dectdable theories of pseudo-Algebraically closed fields

  6. No Access

    Book Chapter

    Pages 102-112

    Definability in power series rings of nonzero characteristic

  7. No Access

    Book Chapter

    Pages 113-146

    Convexity properties and algebraic closure operators

  8. No Access

    Book Chapter

    Pages 147-168

    Remarks on finitely based logics

  9. No Access

    Book Chapter

    Pages 169-192

    Monadicity in topological pseudo-boolean algebras

  10. No Access

    Book Chapter

    Pages 193-206

    Finite extensions of finite groups

  11. No Access

    Book Chapter

    Pages 207-234

    Constructing choice sequences from lawless sequences of neighbourhood functions

  12. No Access

    Book Chapter

    Pages 235-260

    Partitions and homogeneous sets for admissible ordinals

  13. No Access

    Book Chapter

    Pages 261-280

    Elimination of quantifiers for the theory of Archimedean ordered divisible groups in a logic with Ramsey quantifiers

  14. No Access

    Book Chapter

    Pages 281-296

    A proof-theoretic approach to non standard analysis (continued)

  15. No Access

    Book Chapter

    Pages 297-330

    Interpretations and the model theory of the classical geometries

  16. No Access

    Book Chapter

    Pages 331-350

    On cantor-bendixson spectra containing (1,1) — I

  17. No Access

    Book Chapter

    Pages 351-377

    Abstract model-theory and nets of C*-algebras: Noncommutative interpolation and preservation properties

  18. No Access

    Book Chapter

    Pages 379-388

    A contribution to nonstandard teratology

  19. No Access

    Book Chapter

    Pages 389-418

    Model- and substructure complete theories of ordered Abelian groups

  20. No Access

    Book Chapter

    Pages 419-472

    Quantifier elimination and decision procedures for valued fields

previous Page of 2