The domestic levels of \(K^c\) are iterable
type: Item
instance of: scholarly article
title: The domestic levels of \(K^c\) are iterable
zbMATH Open document ID: 1011.03040
DOI: 10.1007/BF02773379
author: Alessandro Andretta
author: Itay Neeman
author: John Steel
published in: Israel Journal of Mathematics
publication date: 2003-04-03T00:00:00Z
Mathematics Subject Classification ID: 03E45
zbMATH DE Number: 1686095
zbMATH Keywords: inner models
zbMATH Keywords: iterability
zbMATH Keywords: proper forcing axiom
zbMATH Keywords: \(K^c\) construction
zbMATH Keywords: non-domestic premouse
zbMATH Keywords: PFA
zbMATH Keywords: measurable cardinal
MaRDI profile type: MaRDI publication profile
cites work: The fine structure of the constructible hierarchy
cites work: Iteration Trees
cites work: Q4291791
cites work: A weak Dodd-Jensen lemma
cites work: Fine structure for tame inner models
cites work: Square in core models
cites work: Inner models with many Woodin cardinals
cites work: Q5690487
cites work: Inner models and large cardinals
full work available at URL: https://doi.org/10.1007/bf02773379
OpenAlex ID: W60537051
Recommended article: Distinct iterable branches
Recommended article: Q5690487
Recommended article: A universal extender model without large cardinals in V
Recommended article: Iterates of the core model
Recommended article: A premouse inheriting strong cardinals from \(V\)
description: scientific article; zbMATH DE number 1686095