Models and sets : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part I
著者
書誌事項
Models and sets : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part I
(Lecture notes in mathematics, 1103)
Springer-Verlag, 1984
- : us
- : gw
大学図書館所蔵 全68件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
注記
Includes bibliographies
内容説明・目次
目次
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」 より