Models and sets : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part I

edited by G.H. Müller and M.M. Richter


  • 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 .

「Nielsen BookData」より


書名 Models and sets : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part I
著作者等 Logic Colloquium
Müller, G. H.
Richter, Michael M.
Muller G H
Muller G. H.
Richter M.M.
Richter M M
シリーズ名 Lecture notes in mathematics
出版元 Springer-Verlag
刊行年月 1984
ページ数 viii, 484 p.
大きさ 25 cm
ISBN 3540139001
NCID BA0325002X
※クリックでCiNii Booksを表示
言語 英語
出版国 ドイツ