Axiomatic Set Theory, Part 1

Cover......Page cover2.djvu
Front Matter......Page _003.djvu
Contents......Page _004.djvu
Foreword......Page _005.djvu
01 Addison.Current problems in descriptive set theory......Page 001.djvu
02 Feferman.Predicatively reducible systems of set theory......Page 011.djvu
03 Gaifman.Elementary embeddings of models of set-theory and certain subtheories ......Page 033.djvu
04 Gandy.Set-theoretic functions for elementary syntax......Page 103.djvu
05 Garland.Second-order cardinal characterizability......Page 127.djvu
06 Gilmore.The consistency of partial set theory without extensionality......Page 147.djvu
07 Hechler.On the existence of certain cofinal subsets of ^omega omega......Page 155.djvu
08 Jensen.Measurable cardinals and the GCH......Page 175.djvu
09 The order extension principle......Page 179.djvu
10 \"Embedding classical type theory in \'intuitionistic\' type theory.\" a correction......Page 185.djvu
11 Reinhardt.Remarks on reflection principles, large cardinals, and elementary embeddings......Page 189.djvu
12 Scott.Axiomatizing set theory......Page 207.djvu
Author Index......Page 215.djvu
Subject Index......Page 217.djvu
Lectures delivered during the Institute......Page 219.djvu