Models and Sets : Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part I / edited by Gert H. Müller, Michael M. Richter
(Lecture Notes in Mathematics ; 1103)
データ種別 | 電子ブック |
---|---|
出版情報 | Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1984 |
本文言語 | 英語 |
大きさ | VIII, 488 p : online resource |
書誌詳細を非表示
内容注記 | 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 |
---|---|
著者標目 | Müller, Gert H. editor Richter, Michael M. editor SpringerLink (Online service) |
件 名 | LCSH:Mathematics LCSH:Mathematical logic FREE:Mathematics FREE:Mathematical Logic and Foundations |
分 類 | DC23:511.3 |
巻冊次 | ISBN:9783540391159 |
ISBN | 9783540391159 |
URL | http://dx.doi.org/10.1007/BFb0099377 |
目次/あらすじ