Spis treści: Set Theory and Hierarchy Theory V

Zapisane w:

Opis bibliograficzny
Korporacja:	Conference on set theory and hierarchy theory :Bierutowice, Pologne
Kolejni autorzy:	Lachlan, Alistair H., 19..- (Dyrektor wydawnictwa), Srebrny, Marian, 1947-...., mathématicienne (Dyrektor wydawnictwa), Zarach, Andrzej, 1948- (Dyrektor wydawnictwa)
Format:	Livre numérique
Język:	Anglais
Wydane:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Seria:	Lecture notes in mathematics 619
Hasła przedmiotowe:	Théorie des modèles Théorie de la récursivité Ensembles, Théorie des Hiérarchie Actes de congrès
Dostęp online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Komentarz:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Set theory and hierarchy theory V, Bierutowice, Poland, 1976, edited by A. Lachlan, M. Srebrny, and A. Zarach, 1977, Berlin, Springer, 1 volume (VIII-358 p.), Lecture notes in mathematics, 0-387-08521-1 • Set Theory and Hierarchy Theory V, Texte imprimé, 9783662168424

Spis treści:

Constructible semi-lattices of degrees of constructibility
Refining systems on Boolean algebras
The Lindenbaum-algebra of the theory of well-orders and Abelian groups with the quantifier Q?
Extendability of structures as infinitary property
A reduction of the theory of types
Random forcing
Topological problems in alternative set theory
On the Baire property of Boolean algebras
The relation between ? ? procedures and the infinitely small in nonstandard methods
Structures ? saturee
On the inhomogenity of the set of P(m)-points of ?*
On the projective class of the continuum hypothesis
A survey of finite-type Recursion
Initial segments of models of Peano's axioms
On the rules of proof generated by hierarchies
On cardinal numbers in Quine's New Foundations
The theory of the class HOD
Construction of nice trees
Differential calculus in the alternative set theory
The consistency of the theory ZF+L1?HOD
On the decidability of the theory of linear orderings in the language L(Q1)
On the theories of end-extensions of models of arithmetic
Some properties of filters
More constructively about the constructibility.