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

G. H. Müller

ISBN 10: 3540075348 / ISBN 13: 9783540075349

Editore: Springer Berlin Heidelberg, 1975

Riguardo questo articolo

Druck auf Anfrage Neuware - Printed after ordering - 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¿ode 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.

Codice articolo 9783540075349

Dati bibliografici

• Titolo: ISILC - Logic Conference : Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
• Editore: Springer Berlin Heidelberg
• Data di pubblicazione: 1975
• Lingua: Inglese
• ISBN 10: 3540075348
• ISBN 13: 9783540075349
• Rilegatura: Taschenbuch
• Condizione: Neu
• Dimensioni: 235 L x 155 A x 36 P (millimetri) 235 millimetri di larghezza per 155 millimetri di altezza per 36 millimetri di profondità
• Peso: 990 grammi

Descrizione articolo

Riassunto

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

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.