Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983

M. M. Richter

ISBN 10: 3540139001 / ISBN 13: 9783540139003

Published by Springer Berlin Heidelberg Dez 1984, 1984

About this Item

This item is printed on demand - it takes 3-4 days longer - Neuware -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 . 500 pp. Englisch.

Seller Inventory # 9783540139003

Bibliographic Details

• Title: Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983
• Publisher: Springer Berlin Heidelberg Dez 1984
• Publication Date: 1984
• Language: English
• ISBN 10: 3540139001
• ISBN 13: 9783540139003
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 27D millimeters 235 millimeters width by 155 millimeters height by 27 millimeters depth
• Weight: 750 grams

About this title

Synopsis

paperback