**Proceedings of Symposia in Pure Mathematics**

Volume: 13;
1971;
474 pp;
Softcover

MSC: Primary 00;

Print ISBN: 978-0-8218-0245-8

Product Code: PSPUM/13.1

List Price: $68.00

AMS Member Price: $54.40

MAA Member Price: $61.20

**Electronic ISBN: 978-0-8218-9297-8
Product Code: PSPUM/13.1.E**

List Price: $68.00

AMS Member Price: $54.40

MAA Member Price: $61.20

#### This item is also available as part of a set:

#### You may also like

# Axiomatic Set Theory, Part 1

Share this page *Edited by *
*D. S. Scott*

# Table of Contents

## Axiomatic Set Theory, Part 1

- Table of Contents iii4 free
- Foreword v6 free
- Sets constructible using L[sub(kk)] 18 free
- Comments on the foundations of set theory 916
- Unsolved problems in set theory 1724
- A more explicit set theory 4956
- Sets, semisets, models 6774
- The Boolean prime ideal theorem does not imply the axiom of choice 8390
- On models for set theory without AC 135142
- Primitive recursive set functions 143150
- End extensions of models of set theory 177184
- Observations on popular discussions of foundations 189196
- Indescribability and the continuum 199206
- The sizes of the indescribable cardinals 205212
- On the logical complexity of several axioms of set theory 219226
- Categorical algebra and set-theoretic foundations 231238
- The solution of one of Ulam's problems concerning analytic rectangles 241248
- Predicative classes 247254
- On some consequences of the axiom of determinateness 265272
- Embedding classical type theory in 'intuitionistic' type theory 267274
- Ordinal definability 271278
- An axiom of strong infinity and analytic hierarchy of ordinal numbers 279286
- Liberal intuitionism as a basis for set theory 321328
- Forcing with perfect closed sets 331338
- Unramified forcing 357364
- The independence of Kurepa's conjecture and two-cardinal conjectures in model theory 383390
- The consistency of the GCH with the existence of a measurable cardinal 391398
- Real-valued measurable cardinals 397404
- Transfinite sequences of axiom systems for set theory 429436
- Hypotheses on power set 439446
- Multiple choice axioms 447454
- Author Index 467474
- Subject Index 471478