Higher Set Theory
Proceedings, Oberwolfach, Germany, April 13-23, 1977
Wellordered subclasses of proper classes.- A proof of foundation from axioms of cumulation.- Categoricity with respect to ordinals.- Classically and intuitionistically provably recursive functions.- Hierarchies of sets definably by means of infinitary languages.- Some results on degrees of constructibility.- Constructive universes I.- The evolution of large cardinal axioms in set theory.- Forcing in analysis.- Recursivity and compactness.- Fine structure theory of the constructible universe in ?- and ?-recursion theory.- On a class of models of the n-th order arithmetic.- O# and the p-point problem.- A combinatorial characterization of inacce…
Mehr
CHF 72.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Scott, D. S. (Hrsg.)
- ISBN: 978-3-540-08926-1
- EAN: 9783540089261
- Produktnummer: 3670992
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 1978
- Seitenangabe: 492 S.
- Masse: H23.5 cm x B15.5 cm x D2.6 cm 739 g
- Auflage: 1978
- Abbildungen: Paperback
- Gewicht: 739
6 weitere Werke von G. H. (Hrsg.) Müller:
The Study of Time
Proceedings, Oberwolfach, Germany, April 13-23, 1977
Proceedings, Oberwolfach, Germany, April 13-23, 1977
Ebook (PDF Format)
CHF 130.00
Bewertungen
Anmelden