Set theory and hierarchy theory V : Bierutowice, Poland, 1976. Lecture notes in mathematics, Vol. 619

Lachlan, A., M. Srebrny and A. Zarach:

ISBN 10: 3540085211 / ISBN 13: 9783540085218

Published by Springer, 1977

About this Item

VIII, 358 S. Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 605.

Seller Inventory # 2206392

Bibliographic Details

• Title: Set theory and hierarchy theory V : Bierutowice, Poland, 1976. Lecture notes in mathematics, Vol. 619
• Publisher: Springer
• Publication Date: 1977
• Language: English
• ISBN 10: 3540085211
• ISBN 13: 9783540085218
• Binding: Broschiert
• Condition: Gut
• Weight: 605 grams
• Seller catalogs:
  • 200 Mathematik

About this title

Synopsis

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.