Chapter 6: An inductive definition of $K$

Open Access

VOL. 8 | 1996 Chapter 6: An inductive definition of $K$

John R. Steel

Lecture Notes Logic, 1996: 43-52 (1996)

First Page PDF

CHAPTER
10 PAGES

DOWNLOAD PDF + SAVE TO MY LIBRARY

< Previous Chapter

|

Next Chapter >

The Core Model Iterability Problem

Vol. 8 • 1 January 1996

Association for Symbolic Logic