نظریه مجموعه‌های اکسیوماتیک، جلد اول (سمپوزیوم در ریاضیات خالص لس آنجلس، ژوئیه ۱۹۶۷)

The Papers In Pt. 1 Of The Proceedings Represent Revised And Generally More Detailed Versions Of The Lectures. [edited By Dana S. Scott] The Papers In V. 1 Of The Proceedings Represent Revised And Generally More Detailed Versions Of The Lectures. Vol. 2 Edited By T. J. Jech. Includes Bibliographical References. Cover......Page cover.djvu Front Matter......Page _002.djvu Contents......Page _003.djvu Foreword ......Page _005.djvu 01 Chang.Sets constructible using L_KK......Page 001.djvu 02 Cohen.Comments on the foundations of set theory ......Page 009.djvu 03 Erdos.Hajnal.Unsolved problems in set theory......Page 017.djvu 04 Friedman.A more explicit set theory......Page 049.djvu 05 Hajek.Sets, semisets, models......Page 067.djvu 06 Halpern.Levy.The Boolean prime ideal theorem does not imply the axiom of choice ......Page 083.djvu 07 Jech.On models for set theory without AC ......Page 135.djvu 08 Jensen.Karp.Primitive recursive set functions ......Page 143.djvu 09 Keisler Silver.End extensions of models of set theory......Page 177.djvu 10 Kreisel.Observations on popular discussions of foundations......Page 189.djvu 11 Kunen.Indescribability and the continuum......Page 199.djvu 12 Levy.The sizes of the indescribable cardinals......Page 205.djvu 13 Levy.On the logical complexity of several axioms of set theory ......Page 219.djvu 14 Mac Lane.Categorical algebra and set-theoretic foundations......Page 231.djvu 15 Mansfield.The solution of one of Ulam's problems concerning analytic rectangles ......Page 241.djvu 16 Moschovakis.Predicative classes ......Page 247.djvu 17 Mycielski.On some consequences of the axiom of determinateness ......Page 265.djvu 18 Myhill.Embedding classical type theory in 'intuitionistic' type theory......Page 267.djvu 19 Myhill.Scott.Ordinal definability ......Page 271.djvu 20 Namba.An axiom of strong infinity and analytic hierarchy of ordinal numbers ......Page 279.djvu 21 Poszgay.Liberal intuitionism as a basis for set theory......Page 321.djvu 22 Sacks.Forcing with perfect closed sets ......Page 331.djvu 23 Shoenfield.Unramified forcing ......Page 357.djvu 24 Silver.The independence of Kurepa's conjecture and two-cardinal conjectures in model theory......Page 383.djvu 25 Silver.The consistency of the GCH with the existence of a measurable cardinal ......Page 391.djvu 26 Solovay.Real-valued measurable cardinals ......Page 397.djvu 27 Sward.Transfinite sequences of axiom systems for set theory......Page 429.djvu 28 Takeuti.Hypotheses on power set......Page 439.djvu 29 Zuckerman.Multiple choice axioms ......Page 447.djvu Author Index......Page 467.djvu Subject Index......Page 471.djvu