---

＜電子ブック＞
Axiomatic set theory / [Edited by Dana S. Scott]
(Proceedings of symposia in pure mathematics. ISSN:00820717 (print) ; v. 13.1)

出版者	Providence : American Mathematical Society
出版年	1971-74
大きさ	1 online resource (1 online resource (2 v.))
著者標目	*Symposium in Pure Mathematics University of California, Los Angeles 1967 Scott, Dana S. ed Jech, Thomas J. ed
件　名	LCSH:Axiomatic set theory -- Congresses  全ての件名で検索
内容注記	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
一般注記	"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

 類似資料