Higher Set Theory

Proceedings, Oberwolfach, Germany, April 13-23, 1977

AvG.H. Müller,D.S. Scott

Häftad, Engelska, 1978

Del i serien Lecture Notes in Mathematics

555 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1978-09-01
Mått:216 x 279 x 27 mm
Vikt:739 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Mathematics
Antal sidor:110
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540089261

Utforska kategorier

Matematik inom Naturvetenskap och teknik

Innehållsförteckning

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.

Du kanske också är intresserad av

Higher Set Theory

D.S. Scott, G.H. Muller

E-bok

2007

718 kr

Del 670

Fonctions de Plusieurs Variables Complexes III

François Norguet

Häftad, 1978

391 kr

Del 328

Decidable Theories

J.R. Büchi, D. Siefkes, G.H. Müller, D. Siefkes

Häftad, 1973

446 kr

Del 891

Logic Symposia, Hakone, 1979, 1980

G.H. Müller, G. Takeuti, T. Tugue

Häftad, 1981

446 kr

Sense of the Future

Jacob Bronowski

Häftad, 1978

669 kr

Del 676

Differential Geometrical Methods in Mathematical Physics II

K. Bleuler, H. R. Petry, A. Reetz

Häftad, 1978

500 kr

Learning Systems: Decision, Simulation, and Control

Y. M. El-Fattah, C. Foulard

Häftad, 1978

572 kr

Arterial System

R.D. Bauer, R. Busse

Häftad, 1978

1 137 kr

Modelling of Systems with Small Observation Sets

J.M. Maciejowski

Häftad, 1978

556 kr

Tables for Texture Analysis of Cubic Crystals

J. Hansen, J. Pospiech, K. Lücke

Häftad, 1978

556 kr

Higher Set Theory

Proceedings, Oberwolfach, Germany, April 13-23, 1977

AvG.H. Müller,D.S. Scott

Häftad, Engelska, 1978

Del i serien Lecture Notes in Mathematics

555 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1978-09-01
Mått:216 x 279 x 27 mm
Vikt:739 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Mathematics
Antal sidor:110
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540089261

Utforska kategorier

Matematik inom Naturvetenskap och teknik

Innehållsförteckning

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.