AMS eBook CollectionsOne of the world's most respected mathematical collections, available in digital format for your library or institution

Axiomatic Set Theory, Part 1

About this Title

Dana S. Scott, Editor

Publication: Proceedings of Symposia in Pure Mathematics
Publication Year: 1971; Volume 13.1
ISBNs: 978-0-8218-0245-8 (print); 978-0-8218-9297-8 (online)
DOI: https://doi.org/10.1090/pspum/013.1

View full volume as PDF

Table of Contents

Download chapters as PDF

Front/Back Matter

• View this volume's front and back matter

Articles

• C. C. Chang – Sets constructible using $L_{\kappa \kappa }$ [MR 0280357]
• Paul J. Cohen – Comments on the foundations of set theory [MR 0277332]
• P. Erdős and A. Hajnal – Unsolved problems in set theory [MR 0280381]
• Harvey Friedman – A more explicit set theory [MR 0278932]
• Petr Hájek – Sets, semisets, models [MR 0277377]
• J. D. Halpern and A. Lévy – The Boolean prime ideal theorem does not imply the axiom of choice. [MR 0284328]
• Thomáš Jech – On models for set theory without AC
• Ronald B. Jensen and Carol Karp – Primitive recursive set functions [MR 0281602]
• H. Jerome Keisler and Jack H. Silver – End extensions of models of set theory [MR 0321729]
• G. Kreisel – Observations on popular discussions of foundations [MR 0294123]
• Kenneth Kunen – Indescribability and the continuum [MR 0282829]
• Azriel Lévy – The sizes of the indescribable cardinals [MR 0281606]
• Azriel Lévy – On the logical complexity of several axioms of set theory [MR 0299471]
• Saunders Mac Lane – Categorical algebra and set-theoretic foundations [MR 0282791]
• R. Mansfield – The solution of one of Ulam’s problems concerning analytic rectangles
• Yiannis N. Moschovakis – Predicative classes [MR 0281599]
• Jan Mycielski – On some consequences of the axiom of determinateness [MR 0277378]
• John Myhill – Embedding classical type theory in “intuitionistic” type theory [MR 0281583]
• John Myhill and Dana Scott – Ordinal definability [MR 0281603]
• Kanji Namba – An axiom of strong infinity and analytic hierarchy of ordinal numbers. [MR 0281607]
• Lawrence Pozsgay – Liberal intuitionism as a basis for set theory [MR 0288021]
• Gerald E. Sacks – Forcing with perfect closed sets [MR 0276079]
• J. R. Shoenfield – Unramified forcing [MR 0280359]
• Jack Silver – The independence of Kurepa’s conjecture and two-cardinal conjectures in model theory [MR 0277379]
• Jack Silver – The consistency of the GCH with the existence of a measurable cardinal [MR 0278937]
• Robert M. Solovay – Real-valued measurable cardinals [MR 0290961]
• G. L. Sward – Transfinite sequences of axiom systems for set theory [MR 0289288]
• Gaisi Takeuti – Hypotheses on power set [MR 0300901]
• Martin M. Zuckerman – Multiple choice axioms [MR 0280360]