The Core Model Iterability Problem

Author(s) John R. Steel

Lecture Notes Logic, 8: 112pp. (1996).

Abstract

No abstract available

Hide All Book Information -

Information

Lecture Notes in Logic, Volume 8

112 pp.

Published: 1996

First available in Project Euclid: 23 February 2009

MathSciNet: MR1480175

ISBN: 3540619380

Subjects:

Primary: 03E10 , 03E45 , 03E55 , 04A10 , 04A15

Lecture Notes in Logic

< Previous Volume | Next Volume >

Association for Symbolic Logic

TABLE OF CONTENTS
View All Abstracts +

Miscellaneous Frontmatter

John R. Steel

Lecture Notes in Logic Vol. 8, - (1996). Open Access

Chapter 0: Introduction

John R. Steel

Lecture Notes in Logic Vol. 8, 1-4 (1996). Open Access

Chapter 1: The construction of $K^c$

John R. Steel

Lecture Notes in Logic Vol. 8, 5-9 (1996). Open Access

Chapter 2: Iterability

John R. Steel

Lecture Notes in Logic Vol. 8, 10-24 (1996). Open Access

Chapter 3: Thick classes and universal weasels

John R. Steel

Lecture Notes in Logic Vol. 8, 25-28 (1996). Open Access

Chapter 4: The hull and definability properties

John R. Steel

Lecture Notes in Logic Vol. 8, 29-34 (1996). Open Access

Chapter 5: The construction of true $K$

John R. Steel

Lecture Notes in Logic Vol. 8, 35-42 (1996). Open Access

Chapter 6: An inductive definition of $K$

John R. Steel

Lecture Notes in Logic Vol. 8, 43-52 (1996). Open Access

Chapter 7: Some applications

John R. Steel

Lecture Notes in Logic Vol. 8, 53-72 (1996). Open Access

Chapter 8: Embeddings of $K$

John R. Steel

Lecture Notes in Logic Vol. 8, 73-88 (1996). Open Access

Chapter 9: A general iterability theorem

John R. Steel

Lecture Notes in Logic Vol. 8, 89-108 (1996). Open Access

References

John R. Steel

Lecture Notes in Logic Vol. 8, 109-110 (1996). Open Access

Index of definitions

John R. Steel

Lecture Notes in Logic Vol. 8, 111-112 (1996). Open Access

Miscellaneous Backmatter

John R. Steel

Lecture Notes in Logic Vol. 8, - (1996). Open Access

Abstract

Information

KEYWORDS/PHRASES

PUBLICATION TITLE:

PUBLICATION YEARS