---

＜電子ブック＞
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 : Part 1: Models and Sets / edited by G. H. Müller, M. M. Richter
(Lecture Notes in Mathematics. ISSN:16179692 ; 1103)

版	1st ed. 1984.
出版者	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer
出版年	1984
本文言語	英語
大きさ	VIII, 488 p : online resource
冊子体	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 ; : us,: gw
著者標目	Müller, G. H editor Richter, M. M editor SpringerLink (Online service)
件　名	LCSH:Mathematical logic FREE:Mathematical Logic and Foundations
一般注記	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 Accessibility summary: This PDF is not accessible. It is based on scanned pages and does not support features such as screen reader compatibility or described non-text content (images, graphs etc). However, it likely supports searchable and selectable text based on OCR (Optical Character Recognition). Users with accessibility needs may not be able to use this content effectively. Please contact us at accessibilitysupport@springernature.com if you require assistance or an alternative format Inaccessible, or known limited accessibility No reading system accessibility options actively disabled Publisher contact for further accessibility information: accessibilitysupport@springernature.com HTTP:URL=https://doi.org/10.1007/BFb0099377

 類似資料