DOWNWARD TRANSFERENCE OF MICE AND UNIVERSALITY OF LOCAL CORE MODELS
type: Item
instance of: scholarly article
title: DOWNWARD TRANSFERENCE OF MICE AND UNIVERSALITY OF LOCAL CORE MODELS
zbMATH Open document ID: 1419.03047
author: Andrés Eduardo Caicedo
author: Martin Zeman
publication date: 2017-08-03T00:00:00Z
full work available at URL: https://arxiv.org/abs/1204.1006
Mathematics Subject Classification ID: 03E45
Mathematics Subject Classification ID: 03E05
Mathematics Subject Classification ID: 03E55
zbMATH DE Number: 6756180
zbMATH Keywords: core model
zbMATH Keywords: universality
zbMATH Keywords: Woodin cardinal
zbMATH Keywords: \(\sum^1_3\)-correctness
MaRDI profile type: Publication
OpenAlex ID: W3104342774
arXiv ID: 1204.1006
cites work: On forcing without the continuum hypothesis
cites work: Q3079691
cites work: The bounded proper forcing axiom and well orderings of the reals
cites work: Woodin's axiom \((*)\), bounded forcing axioms, and precipitous ideals on \(\omega _{1}\)
cites work: Covering theorems for the core model, and an application to stationary set reflection
cites work: Large cardinals and definable counterexamples to the continuum hypothesis
cites work: 0# and inner models
cites work: BPFA and inner models
cites work: The Size of the Ordinal u 2
cites work: \(K\) without the measurable
cites work: Weak covering without countable closure
cites work: A universal extender model without large cardinals in V
cites work: Q4291791
cites work: Forcing with sequences of models of two types
cites work: A new condensation principle
cites work: The maximality of the core model
cites work: Q5690487
cites work: PFA implies ADL(ℝ)
cites work: An Outline of Inner Model Theory
cites work: \(\Sigma_3^1\) absoluteness and the second uniform indiscernible
cites work: Q4881862
cites work: Forcing axioms and stationary sets
cites work: Σ* Fine Structure
cites work: Inner models and large cardinals
DOI: 10.1017/JSL.2016.68
published in: Journal of Symbolic Logic
description: scientific article; zbMATH DE number 6756180