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....Pages 1-8
Superinfinitesimals and the calculus of the generalized riemann integral....Pages 9-52
Point-picking games and HFD's....Pages 53-66
On homomorphism types of superatomic interval Boolean algebras....Pages 67-81
Dectdable theories of pseudo-Algebraically closed fields....Pages 83-101
Definability in power series rings of nonzero characteristic....Pages 102-112
Convexity properties and algebraic closure operators....Pages 113-146
Remarks on finitely based logics....Pages 147-168
Monadicity in topological pseudo-boolean algebras....Pages 169-192
Finite extensions of finite groups....Pages 193-206
Constructing choice sequences from lawless sequences of neighbourhood functions....Pages 207-234
Partitions and homogeneous sets for admissible ordinals....Pages 235-260
Elimination of quantifiers for the theory of Archimedean ordered divisible groups in a logic with Ramsey quantifiers....Pages 261-280
A proof-theoretic approach to non standard analysis (continued)....Pages 281-296
Interpretations and the model theory of the classical geometries....Pages 297-330
On cantor-bendixson spectra containing (1,1) — I....Pages 331-350
Abstract model-theory and nets of C*-algebras: Noncommutative interpolation and preservation properties....Pages 351-377
A contribution to nonstandard teratology....Pages 379-388
Model- and substructure complete theories of ordered Abelian groups....Pages 389-418
Quantifier elimination and decision procedures for valued fields....Pages 419-472
....Pages 473-484