---

＜E-Book＞
Axiomatic set theory / [Edited by Dana S. Scott]
(Proceedings of symposia in pure mathematics. ISSN:00820717 (print) ; v. 13.2)

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	Current problems in descriptive set theory / J. W. Addison Predicatively reducible systems of set theory / Solomon Feferman Elementary embeddings of models of set-theory and certain subtheories / Haim Gaifman Set-theoretic functions for elementary syntax / R. O. Gandy Second-order cardinal characterizability / Stephen J. Garland The consistency of partial set theory without extensionality / P. C. Gilmore On the existence of certain cofinal sets of ${}^\omega \omega $ / Stephen H. Hechler Measurable cardinals and the GCH / Ronald Björn Jensen The order extension principle / A. R. D. Mathias “Embedding classical type theory in 'intuitionistic' type theory”: a correction / John Myhill Remarks on reflection principles, large cardinals, and elementary embeddings / W. N. Reinhardt Axiomatizing set theory / Dana Scott
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.2 http://dx.doi.org/10.1090/pspum/013.2/0373895 http://www.ams.org/pspum/013.2 http://dx.doi.org/10.1090/pspum/013.2/0389587 http://www.ams.org/pspum/013.2 http://dx.doi.org/10.1090/pspum/013.2/0376347 http://www.ams.org/pspum/013.2 http://dx.doi.org/10.1090/pspum/013.2/0376348 http://www.ams.org/pspum/013.2 http://dx.doi.org/10.1090/pspum/013.2/0416919 http://www.ams.org/pspum/013.2 http://dx.doi.org/10.1090/pspum/013.2/0360271 http://www.ams.org/pspum/013.2 http://dx.doi.org/10.1090/pspum/013.2/9987 http://www.ams.org/pspum/013.2 http://dx.doi.org/10.1090/pspum/013.2/0369073 http://www.ams.org/pspum/013.2 http://dx.doi.org/10.1090/pspum/013.2/0360267 http://www.ams.org/pspum/013.2 http://dx.doi.org/10.1090/pspum/013.2/0360225 http://www.ams.org/pspum/013.2 http://dx.doi.org/10.1090/pspum/013.2/0401475 http://www.ams.org/pspum/013.2 http://dx.doi.org/10.1090/pspum/013.2/0392570 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.2 Information=Contents HTTP:URL=http://dx.doi.org/10.1090/pspum/013.2 Information=Contents

 Similar Items