Logic Symposia, Hakone, 1979, 1980
Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
(Sprache: Englisch)
Various kinds of Aronszajn tree with no subtree of a different kind.- On set theories in toposes.- A representation for Spector second order classes in computation theories on two types.- Precipitousness of the ideal of thin sets on a measurable cardinal.-...
Leider schon ausverkauft
versandkostenfrei
Buch
42.75 €
Produktdetails
Produktinformationen zu „Logic Symposia, Hakone, 1979, 1980 “
Klappentext zu „Logic Symposia, Hakone, 1979, 1980 “
Various kinds of Aronszajn tree with no subtree of a different kind.- On set theories in toposes.- A representation for Spector second order classes in computation theories on two types.- Precipitousness of the ideal of thin sets on a measurable cardinal.- Axiom systems of nonstandard set theory.- Semi-formal finitist proof of the transfinite induction in an initial segment of Cantor's second number class.- On the length of proofs in a formal system of recursive arithmetic.- Homogeneous formulas and definability theorems.- Boolean valued combinatorics.- Undecidability of extensions of the monadic first-order theory of successor and two-dimensional finite automata.- Sections and envelopes of type 2 objects.- Heyting valued universes of intuitionistic set theory.- Independence of a problem in elementary analysis from set theory.- Intuitionistic theories and toposes.- The Hahn-Banach theorem and a restricted inductive definition.
Inhaltsverzeichnis zu „Logic Symposia, Hakone, 1979, 1980 “
Various kinds of Aronszajn tree with no subtree of a different kind.- On set theories in toposes.- A representation for Spector second order classes in computation theories on two types.- Precipitousness of the ideal of thin sets on a measurable cardinal.- Axiom systems of nonstandard set theory.- Semi-formal finitist proof of the transfinite induction in an initial segment of Cantor's second number class.- On the length of proofs in a formal system of recursive arithmetic.- Homogeneous formulas and definability theorems.- Boolean valued combinatorics.- Undecidability of extensions of the monadic first-order theory of successor and two-dimensional finite automata.- Sections and envelopes of type 2 objects.- Heyting valued universes of intuitionistic set theory.- Independence of a problem in elementary analysis from set theory.- Intuitionistic theories and toposes.- The Hahn-Banach theorem and a restricted inductive definition.
Bibliographische Angaben
- 1981, 408 Seiten, Maße: 15,5 x 23,5 cm, Taschenbuch, Englisch
- Herausgegeben: G. H. Müller, T. Tugue, G. Takeuti
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3540111611
- ISBN-13: 9783540111610
- Erscheinungsdatum: 01.11.1981
Sprache:
Englisch
Kommentar zu "Logic Symposia, Hakone, 1979, 1980"
0 Gebrauchte Artikel zu „Logic Symposia, Hakone, 1979, 1980“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Logic Symposia, Hakone, 1979, 1980".
Kommentar verfassen