Set theory and hierarchy theory V / / edited by A. Lachlan, M. Srebrny and A. Zarach

• Pubblicazione: Berlin, Germany : , : Springer-Verlag, , [1977]; ©1977
• Edizione: 1st ed. 1977.
• Descrizione fisica: 1 online resource (VIII, 360 p.)
• Disciplina: 511.322
• Soggetto topico: Set theory; Model theory; Recursion theory - Hierarchies
• Persona (resp. second.): LachlanAlistair H.
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di contenuto: 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.
• Titolo autorizzato: Set theory and hierarchy theory V
• ISBN: 3-540-37032-3
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996466487903316
• Lo trovi qui: Univ. di Salerno
• Serie: Lecture notes in mathematics (Springer-Verlag) ; ; 619.