Higher Set Theory
Proceedings, Oberwolfach, Germany, April 13-23, 1977
Published on 1. September 1978
Book
Paperback/Softback
X, 110 pages
978-3-540-08926-1 (ISBN)
Description
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 inaccessible cardinals.- Singular cardinals and analytic games.- Regressive functions and stationary sets.- Cardinals in the inner model HOD.- Partitions of the real line into X 1 closed sets.- Gödel numbers of product spaces.- A note on increasing sequences of constructibility degrees.
More details
Series
Edition
1978 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
X, 110 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 27 mm
Weight
739 gr
ISBN-13
978-3-540-08926-1 (9783540089261)
DOI
10.1007/BFb0103096
Schweitzer Classification
Content
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 inaccessible cardinals.- Singular cardinals and analytic games.- Regressive functions and stationary sets.- Cardinals in the inner model HOD.- Partitions of the real line into X 1 closed sets.- Gödel numbers of product spaces.- A note on increasing sequences of constructibility degrees.