<E-Book>
Axiomatic set theory / [Edited by Dana S. Scott]
(Proceedings of symposia in pure mathematics. ISSN:00820717 (print) ; v. 13.1)
Publisher | Providence : American Mathematical Society |
---|---|
Year | 1971-74 |
Size | 1 online resource (1 online resource (2 v.)) |
Authors | *Symposium in Pure Mathematics University of California, Los Angeles 1967 Scott, Dana S. ed Jech, Thomas J. ed |
Subjects | LCSH:Axiomatic set theory -- Congresses All Subject Search |
Contents | Sets constructible using $L_{\kappa \kappa }$ / C. C. Chang Comments on the foundations of set theory / Paul J. Cohen Unsolved problems in set theory / P. Erdős and A. Hajnal A more explicit set theory / Harvey Friedman Sets, semisets, models / Petr Hájek The Boolean prime ideal theorem does not imply the axiom of choice. / J. D. Halpern and A. Lévy On models for set theory without AC / Thomáš Jech Primitive recursive set functions / Ronald B. Jensen and Carol Karp End extensions of models of set theory / H. Jerome Keisler and Jack H. Silver Observations on popular discussions of foundations / G. Kreisel Indescribability and the continuum / Kenneth Kunen The sizes of the indescribable cardinals / Azriel Lévy On the logical complexity of several axioms of set theory / Azriel Lévy Categorical algebra and set-theoretic foundations / Saunders Mac Lane The solution of one of Ulam's problems concerning analytic rectangles / R. Mansfield Predicative classes / Yiannis N. Moschovakis On some consequences of the axiom of determinateness / Jan Mycielski Embedding classical type theory in “intuitionistic” type theory / John Myhill Ordinal definability / John Myhill and Dana Scott An axiom of strong infinity and analytic hierarchy of ordinal numbers. / Kanji Namba Liberal intuitionism as a basis for set theory / Lawrence Pozsgay Forcing with perfect closed sets / Gerald E. Sacks Unramified forcing / J. R. Shoenfield The independence of Kurepa's conjecture and two-cardinal conjectures in model theory / Jack Silver The consistency of the GCH with the existence of a measurable cardinal / Jack Silver Real-valued measurable cardinals / Robert M. Solovay Transfinite sequences of axiom systems for set theory / G. L. Sward Hypotheses on power set / Gaisi Takeuti Multiple choice axioms / Martin M. Zuckerman |
Notes | "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 http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0280357 http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0277332 http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0280381 http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0278932 http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0277377 http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0284328 http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/9989 http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0281602 http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0321729 http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0294123 http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0282829 http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0281606 http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0299471 http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0282791 http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/9988 http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0281599 http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0277378 http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0281583 http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0281603 http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0281607 http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0288021 http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0276079 http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0280359 http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0277379 http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0278937 http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0290961 http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0289288 http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0300901 http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0280360 Access is restricted to licensed institutions Electronic reproduction Providence, Rhode Island American Mathematical Society 2012 Mode of access : World Wide Web Description based on print version record HTTP:URL=http://www.ams.org/pspum/013.1 Information=Contents HTTP:URL=http://dx.doi.org/10.1090/pspum/013.1 Information=Contents |
TOC
Hide book details.
E-Book | Location | Media type | Volume | Call No. | Status | Reserve | Comments | ISBN | Printed | Restriction | Designated Book | Barcode No. |
---|---|---|---|---|---|---|---|---|---|---|---|---|
E-Book | オンライン | 電子ブック |
|
|
Proceedings in Symposia in Pure Mathematics | 9780821892978 |
|
電子リソース |
|
EB00015966 |
Similar Items
Usage statistics of this contents
Number of accesses to this page:6times
※After Sep 4, 2017