Logic Symposia, Hakone, 1979, 1980
Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 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-dimens…
Mehr
CHF 56.50
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Takeuti, G. (Hrsg.) / Tugue, T. (Hrsg.)
- ISBN: 978-3-540-11161-0
- EAN: 9783540111610
- Produktnummer: 3663436
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 1981
- Seitenangabe: 408 S.
- Masse: H23.5 cm x B15.5 cm x D2.1 cm 616 g
- Auflage: 1981
- Abbildungen: Paperback
- Gewicht: 616
6 weitere Werke von G. H. (Hrsg.) Müller:
The Study of Time
Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
Ebook (PDF Format)
CHF 130.00
Bewertungen
Anmelden