Axiomatic Set Theory, Volume 1 (Symposium in Pure Mathematics Los Angeles July, 1967)

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Author(s): Jech, T.J; Scott, D.
Year: 1967

Language: English
Pages: 480

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