Set Theory and Hierarchy Theory V [electronic resource] / edited by Alistair Lachlan, Marian Srebrny, Andrzej Zarach.
Material type: TextSeries: Lecture Notes in Mathematics ; 619Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1977Description: VIII, 360 p. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783540370321Subject(s): Mathematics | Mathematics | Mathematics, generalAdditional physical formats: Printed edition:: No titleDDC classification: 510 LOC classification: QA1-939Online resources: Click here to access onlineCurrent library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
IMSc Library | IMSc Library | Link to resource | Available | EBK390 |
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.
There are no comments on this title.