ISILC - Logic Conference
Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
(Sprache: Englisch, Französisch)
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...
Leider schon ausverkauft
versandkostenfrei
Buch
53.45 €
Produktdetails
Produktinformationen zu „ISILC - Logic Conference “
Klappentext zu „ISILC - Logic Conference “
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.
Inhaltsverzeichnis zu „ISILC - Logic Conference “
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.
Bibliographische Angaben
- 1975, 664 Seiten, Maße: 15,5 x 23,5 cm, Taschenbuch, Englisch/Französisch
- Herausgegeben: G. H. Müller, K. Potthoff, A. Oberschelp
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3540075348
- ISBN-13: 9783540075349
- Erscheinungsdatum: 01.12.1975
Sprache:
Englisch, Französisch
Kommentar zu "ISILC - Logic Conference"
0 Gebrauchte Artikel zu „ISILC - Logic Conference“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "ISILC - Logic Conference".
Kommentar verfassen