The core model iterability problem /
Since their inception, the 'Perspectives in Logic' and 'Lecture Notes in Logic' series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. Large cardinal hypotheses play...
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Cambridge :
Cambridge University Press,
2017.
|
Colección: | Lecture notes in logic ;
8. |
Temas: | |
Acceso en línea: | Texto completo |
Tabla de Contenidos:
- The construction of Kc
- Iterability
- Thick classes and universal weasels
- The hull and definability properties
- The construction of true K
- An inductive definition of K
- Some applications
- Embeddings of K
- A general iterability theorem.