IMSc Library catalog › Details for: Axiomatic set theory.

Normal view MARC view ISBD view

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: Text

TextSeries: Proceedings of symposia in pure mathematics ; v. 13.2Publication details: Providence, American Mathematical Society, 1971-74Description: 1 online resource (2 v.)ISBN: 9780821892985 (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:

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

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)

Holdings ( 1 )
Title notes ( 32 )
Comments ( 0 )

Current library	Home library	Call number	Materials specified	URL	Status	Date due	Barcode
IMSc Library	IMSc Library			Link to resource	Available		EBK12365

"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.

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�orn 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 --

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