Items related to Conference in Mathematical Logic - London '70:...

Conference in Mathematical Logic - London '70: 255 (Lecture Notes in Mathematics, 255) - Softcover

 
9783540057444: Conference in Mathematical Logic - London '70: 255 (Lecture Notes in Mathematics, 255)

Synopsis

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.

"synopsis" may belong to another edition of this title.

From the Back Cover

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.

"About this title" may belong to another edition of this title.