⊨ISILC Logic Conference
⊨ISILC Logic Conference Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 / [electronic resource] :
edited by Gert H. Müller, Arnold Oberschelp, Klaus Potthoff.
- VII, 651 p. online resource.
- Lecture Notes in Mathematics, 499 0075-8434 ; .
- Lecture Notes in Mathematics, 499 .
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 méthode 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.
9783540380221
10.1007/BFb0079414 doi
Logic, Symbolic and mathematical.
Mathematical Logic and Foundations.
QA8.9-10.3
511.3
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 méthode 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.
9783540380221
10.1007/BFb0079414 doi
Logic, Symbolic and mathematical.
Mathematical Logic and Foundations.
QA8.9-10.3
511.3