Verwandte Artikel zu ISILC - Logic Conference: Proceedings of the International...

ISILC - Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 (Lecture Notes in Mathematics, 499, Band 499) - Softcover

 
9783540075349: ISILC - Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 (Lecture Notes in Mathematics, 499, Band 499)
Softcover
ISBN 10: 3540075348 ISBN 13: 9783540075349
Verlag: Springer, 1975

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
1975
Sprache
Englisch
ISBN 10 
3540075348
ISBN 13 
9783540075349
Einband
Taschenbuch
Anzahl der Seiten
658
Herausgeber
Müller G. H., Oberschelp A., Potthoff K.
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland