Skip to main content
  • Conference proceedings
  • © 1977

Set Theory and Hierarchy Theory V

Bierutowice, Poland 1976

Part of the book series: Lecture Notes in Mathematics (LNM, volume 619)

Buying options

eBook USD 34.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 46.00
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (24 papers)

  1. Front Matter

    Pages I-VIII
  2. Refining systems on Boolean algebras

    • Bohuslav Balcar, Peter Vojtás
    Pages 45-58
  3. A reduction of the theory of types

    • M. Boffa
    Pages 95-100
  4. Random forcing

    • Lev Bukowský
    Pages 101-117
  5. Topological problems in alternative set theory

    • Jaroslav Chudáček
    Pages 119-133
  6. On the Baire property of Boolean algebras

    • Jacek Cichoń
    Pages 135-141
  7. Structures Σ — saturee

    • M. A. Dickman
    Pages 153-168
  8. A survey of finite-type Recursion

    • Peter G. Hinman
    Pages 187-209
  9. Initial segments of models of Peano's axioms

    • L. A. S. Kirby, J. B. Paris
    Pages 211-226
  10. On the rules of proof generated by hierarchies

    • A. Krawczyk, W. Marek
    Pages 227-239
  11. The theory of the class HOD

    • Stanisław Roguski
    Pages 251-255
  12. Construction of nice trees

    • D. G. Seese, H. P. Tuschik
    Pages 257-271

Keywords

  • Arithmetic
  • Finite
  • Menge (Math.)
  • Modell (Math.)
  • Mostowski, Andrzej
  • Rekursive Funktion
  • algebra
  • calculus
  • function
  • proof
  • recursion
  • well-ordering principle

Bibliographic Information

  • Book Title: Set Theory and Hierarchy Theory V

  • Book Subtitle: Bierutowice, Poland 1976

  • Editors: Alistair Lachlan, Marian Srebrny, Andrzej Zarach

  • Series Title: Lecture Notes in Mathematics

  • DOI: https://doi.org/10.1007/BFb0067639

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1977

  • Softcover ISBN: 978-3-540-08521-8Published: 01 November 1977

  • eBook ISBN: 978-3-540-37032-1Published: 15 November 2006

  • Series ISSN: 0075-8434

  • Series E-ISSN: 1617-9692

  • Edition Number: 1

  • Number of Pages: VIII, 360

  • Topics: Mathematics

Buying options

eBook USD 34.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 46.00
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions