نظریه مجموعه‌های اکسیوماتیک، جلد ۲ (سمپوزیوم در ریاضیات خالص، لس آنجلس، ژوئیه ۱۹۶۷)

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