Axiomatic set theory. [electronic resource] [Edited by Dana S. Scott]

By: Symposium in Pure Mathematics University of California, Los Angeles, 1967Contributor(s): Scott, Dana S [ed.] | Jech, Thomas J [ed.]Material type: TextTextSeries: 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 | Contents
Contents:
Sets constructible using $L_{\kappa \kappa }$ / C. C. Chang -- http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0280357 Comments on the foundations of set theory / Paul J. Cohen -- http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0277332 Unsolved problems in set theory / P. Erd�os and A. Hajnal -- http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0280381 A more explicit set theory / Harvey Friedman -- http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0278932 Sets, semisets, models / Petr H�ajek -- http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0277377 The Boolean prime ideal theorem does not imply the axiom of choice. / J. D. Halpern and A. L�evy -- http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0284328 On models for set theory without AC / Thom�a�s Jech -- http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/9989 Primitive recursive set functions / Ronald B. Jensen and Carol Karp -- http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0281602 End extensions of models of set theory / H. Jerome Keisler and Jack H. Silver -- http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0321729 Observations on popular discussions of foundations / G. Kreisel -- http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0294123 Indescribability and the continuum / Kenneth Kunen -- http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0282829 The sizes of the indescribable cardinals / Azriel L�evy -- http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0281606 On the logical complexity of several axioms of set theory / Azriel L�evy -- http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0299471 Categorical algebra and set-theoretic foundations / Saunders Mac Lane -- http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0282791 The solution of one of Ulam's problems concerning analytic rectangles / R. Mansfield -- http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/9988 Predicative classes / Yiannis N. Moschovakis -- http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0281599 On some consequences of the axiom of determinateness / Jan Mycielski -- http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0277378 Embedding classical type theory in "intuitionistic" type theory / John Myhill -- http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0281583 Ordinal definability / John Myhill and Dana Scott -- http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0281603 An axiom of strong infinity and analytic hierarchy of ordinal numbers. / Kanji Namba -- http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0281607 Liberal intuitionism as a basis for set theory / Lawrence Pozsgay -- http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0288021 Forcing with perfect closed sets / Gerald E. Sacks -- http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0276079 Unramified forcing / J. R. Shoenfield -- http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0280359 The independence of Kurepa's conjecture and two-cardinal conjectures in model theory / Jack Silver -- http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0277379 The consistency of the GCH with the existence of a measurable cardinal / Jack Silver -- http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0278937 Real-valued measurable cardinals / Robert M. Solovay -- http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0290961 Transfinite sequences of axiom systems for set theory / G. L. Sward -- http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0289288 Hypotheses on power set / Gaisi Takeuti -- http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0300901 Multiple choice axioms / Martin M. Zuckerman -- http://www.ams.org/pspum/013.1 http://dx.doi.org/10.1090/pspum/013.1/0280360
Item type: E-BOOKS
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Current 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.

to post a comment.
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha