Isilc - Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974: 499 - Brossura

Muller, G. H.; Potthoff, K.

 
9783540075349: Isilc - Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974: 499

Sinossi

Isilc - Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo

9780387075341: ISILC Logic Conference: Proceedings of the International Summer Institute and...

Edizione in evidenza

ISBN 10:  0387075348 ISBN 13:  9780387075341
Brossura