Axiomatic set theory. [electronic resource] [Edited by Dana S. Scott]
Material type: TextSeries: Proceedings of symposia in pure mathematics ; v. 13.1Publication details: Providence, American Mathematical Society, 1971-74Description: 1 online resource (2 v.)ISBN: 9780821892978 (online)Subject(s): Axiomatic set theory -- CongressesAdditional physical formats: Axiomatic set theory.DDC classification: 511/.3 LOC classification: QA248 | .S95 1967Online resources: Contents | ContentsCurrent library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
IMSc Library | IMSc Library | Link to resource | Available | EBK12357 |
"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.
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�os and A. Hajnal -- A more explicit set theory / Harvey Friedman -- Sets, semisets, models / Petr H�ajek -- The Boolean prime ideal theorem does not imply the axiom of choice. / J. D. Halpern and A. L�evy -- On models for set theory without AC / Thom�a�s 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�evy -- On the logical complexity of several axioms of set theory / Azriel L�evy -- 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 --
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.
There are no comments on this title.