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

Author(s)

Bibliographic Information

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

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

（Lecture notes in mathematics, 499）

Springer-Verlag, 1975

  • : gw
  • : u.s.

Other Title

Logic Conference

Available at  / 74 libraries

Search this Book/Journal

Note

Chiefly comprised of selected course lecture notes from the institute, July 17-31, 1974, and selected papers from the conference, Aug. 1-3, 1974

Papers on proof theory dedicated to Kurt Schütte are published as a separate volume of these proceedings

Includes bibliographies

Description and Table of Contents

Table of Contents

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.

by "Nielsen BookData"

Related Books： 1-1 of 1

Details

Page Top