ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974

edited by G.H. Müller, A. Oberschelp, K. Potthoff

[目次]

  • An observation on the product of Silver's forcing.- Recursively unsolvable algorithmic problems and related questions reexamined.- Lectures on large cardinal axioms.- Indescribability properties and small large cardinals.- Marginalia to a theorem of Silver.- Computation theories: An axiomatic approach to recursion on general structures.- Closed models and hulls of theories.- Axioms of choice in Morse-Kelley class theory.- First-order logic and its extensions.- Set theory in infinitary languages.- Sur la methode en histoire de la logioue.- The model theory of local fields.- Quantifier elimination.- Intensional semantics for natural language.- On extendability of models of ZF set theory to the models of Kelley-Morse theory of classes.- Many-valued algorithmic logic.- The least ? 2 1 and ? 2 1 reflecting ordinals.- Data types as lattices.

「Nielsen BookData」より

この本の情報

書名 ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
著作者等 International Summer Institute and Logic Colloquium
Müller, G. H.
Oberschelp, A
Potthoff, Klaus
Oberschelp A.
Potthoff K.
Muller G. H.
書名別名 Logic Conference
シリーズ名 Lecture notes in mathematics
出版元 Springer-Verlag
刊行年月 1975
ページ数 iv, 651 p.
大きさ 25 cm
ISBN 0387075348
3540075348
NCID BA00214154
※クリックでCiNii Booksを表示
言語 フランス語
英語
出版国 ドイツ
この本を: 
このエントリーをはてなブックマークに追加

Yahoo!ブックマークに登録
この記事をクリップ!
Clip to Evernote
このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想