1 option
Axiomatic set theory : proceedings of the Symposium in Pure Mathematics of the American Mathematical Society, held at the University of California, Los Angeles, California, July 10-August 5, 1967 / edited by Dana S. Scott.
- Format:
- Book
- Conference/Event
- Author/Creator:
- Symposium in Pure Mathematics, Corporate Author.
- Conference Name:
- Symposium in Pure Mathematics (1967 : University of California, Los Angeles), issuing body.
- Symposium in Pure Mathematics
- Series:
- Proceedings of symposia in pure mathematics ; volume 13, part 1.
- Proceedings of symposia in pure mathematics, 0082-0717 ; volume 13, part 1
- Language:
- English
- Subjects (All):
- Axiomatic set theory--Congresses.
- Axiomatic set theory.
- Physical Description:
- 1 online resource (481 p.)
- Place of Publication:
- Providence, Rhode Island : American Mathematical Society, 1971.
- Language Note:
- English
- Contents:
- ""Table of Contents""; ""Foreword""; ""Sets constructible using L[sub(kk)]""; ""Comments on the foundations of set theory""; ""Unsolved problems in set theory""; ""A more explicit set theory""; ""Sets, semisets, models""; ""The Boolean prime ideal theorem does not imply the axiom of choice""; ""On models for set theory without AC""; ""Primitive recursive set functions""; ""End extensions of models of set theory""; ""Observations on popular discussions of foundations""; ""Indescribability and the continuum""; ""The sizes of the indescribable cardinals""
- ""On the logical complexity of several axioms of set theory""""Categorical algebra and set-theoretic foundations""; ""The solution of one of Ulam's problems concerning analytic rectangles""; ""Predicative classes""; ""On some consequences of the axiom of determinateness""; ""Embedding classical type theory in 'intuitionistic' type theory""; ""Ordinal definability""; ""An axiom of strong infinity and analytic hierarchy of ordinal numbers""; ""Liberal intuitionism as a basis for set theory""; ""Forcing with perfect closed sets""; ""Unramified forcing""
- ""The independence of Kurepa's conjecture and two-cardinal conjectures in model theory""""The consistency of the GCH with the existence of a measurable cardinal""; ""Real-valued measurable cardinals""; ""Transfinite sequences of axiom systems for set theory""; ""Hypotheses on power set""; ""Multiple choice axioms""; ""Author Index""; ""B""; ""C""; ""D""; ""E""; ""F""; ""G""; ""H""; ""I""; ""J""; ""K""; ""L""; ""M""; ""N""; ""P""; ""Q""; ""R""; ""S""; ""T""; ""U""; ""V""; ""W""; ""Z""; ""Subject Index""; ""A""; ""B""; ""C""; ""D""; ""E""; ""F""; ""G""; ""H""; ""I""; ""J""; ""K""; ""L""; ""M""
- ""N""""O""; ""P""; ""R""; ""S""; ""T""; ""U""; ""V""; ""W""; ""Y""; ""Z""
- Notes:
- Prepared by the American Mathematical Society under National Science Foundation Grant GP-6698.
- Includes bibliographical references and index.
- Description based on online resource; title from PDF title page (ebrary, viewed May 19, 2014).
- ISBN:
- 0-8218-9297-5
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.