Conference in Mathematical Logic, London '70 : [proceedings]

書誌事項

Conference in Mathematical Logic, London '70 : [proceedings]

edited by Wilfrid Hodges

(Lecture notes in mathematics, 255)

Springer-Verlag, 1972

  • : Germany
  • : U.S.

大学図書館所蔵 件 / 71

この図書・雑誌をさがす

注記

Held at Bedford College, London, on 24th-28th August 1970

Includes bibliographies

内容説明・目次

目次

Inductive definitions and analogues of large cardinals.- Compact injectives and Non-Standard Analysis.- Non-axiomatizability results in infinitary languages for higher-order structures.- ? 1 1 models and ? 1 1 -categoricity.- Infinitary properties, local functors, and systems of ordinal functions.- Logics containing S4 without the finite model property.- An ?-calculus system for first-order S4.- Craig's interpolation theorem for modal logics.- A note on models and submodels of arithmetic.- An application of ultra-products to prime rings with polynomial identities.- Embedding nondistributive lattices in the recursively enumerable degrees.- Direct powers with distinguished diagonal.- Solution of problems of choquet and puritz.- Some B. Russell's sprouts (1903 - 1908).- On models of arithmetic.- -definability in set theory.- Initial segments and implications for the structure of degrees.- Abstracts of contributed papers.

「Nielsen BookData」 より

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ