Martin H. Löb

Proceedings of the Summer School in Logik, Leeds, 1967

N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic

• Broschiertes Buch

Produktbeschreibung

Lectures on proof theory.- Partitions and models.- Klassen rekursiver funktionen.- Hyperarithmetic ultrafilters.- Recursive equivalence: A survey.- Half-ring morphologies.- Formalisations of some ?0 ?ukasiewicz propositional calculi.- Theories which are not ?o-categorical.- The monadic fragment of predicate calculus with the Chang quantifier and equality.- The ? 1 1 -comprehension schema and ?-rules.

Produktdetails

• Lecture Notes in Mathematics 70
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-04240-2
• 1968.
• Seitenzahl: 336
• Erscheinungstermin: 1. Januar 1968
• Englisch
• Abmessung: 235mm x 155mm x 19mm
• Gewicht: 533g
• ISBN-13: 9783540042402
• ISBN-10: 3540042407
• Artikelnr.: 23320276

Inhaltsangabe

Lectures on proof theory.- Partitions and models.- Klassen rekursiver funktionen.- Hyperarithmetic ultrafilters.- Recursive equivalence: A survey.- Half-ring morphologies.- Formalisations of some ?0 ?ukasiewicz propositional calculi.- Theories which are not ?o-categorical.- The monadic fragment of predicate calculus with the Chang quantifier and equality.- The ? 1 1 -comprehension schema and ?-rules.