Logic Conference : proceedings of the Internat. Summer Inst. and Logic Colloquium, Kiel 1974. Lecture notes in mathematics, vol. 499

Müller, Gert H., A. Oberschelp and K. Potthoff:

ISBN 10: 3540075348 / ISBN 13: 9783540075349

Editore: Springer, 1975

IV, 651 S. Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 950. Codice articolo 2208448

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.

Dati bibliografici

Titolo: Logic Conference : proceedings of the ...
Casa editrice: Springer
Data di pubblicazione: 1975
Legatura: Broschiert
Condizione: Gut