\(I_0\) and combinatorics at \(\lambda ^+\)
type: Item
instance of: scholarly article
title: \(I_0\) and combinatorics at \(\lambda ^+\)
zbMATH Open document ID: 1417.03270
author: Xianghui Shi
author: Nam Trang
published in: Archive for Mathematical Logic
publication date: 2017-02-24T00:00:00Z
Mathematics Subject Classification ID: 03E55
Mathematics Subject Classification ID: 03E35
Mathematics Subject Classification ID: 03E05
zbMATH DE Number: 6688540
zbMATH Keywords: axiom \(I_0\)
zbMATH Keywords: \(\lambda ^+\)-Aronszajn tree
zbMATH Keywords: square
zbMATH Keywords: weak square
zbMATH Keywords: stationary reflection
zbMATH Keywords: good scales
zbMATH Keywords: diamond
zbMATH Keywords: \(\lambda \)-continuum hypothsis
zbMATH Keywords: generic absoluteness
zbMATH Keywords: \(\lambda \)-goodness
MaRDI profile type: Publication
full work available at URL: s00153-016-0518-3
OpenAlex ID: W2560190033
cites work: The weak □* is really weaker than the full □
cites work: Inverse limit reflection and the structure of L(Vλ+1)
cites work: Strong axioms of infinity and elementary embeddings
cites work: Notes on singular cardinal combinatorics
cites work: Iterated Forcing and Elementary Embeddings
cites work: Squares, scales and stationary reflection
cites work: Q3329455
cites work: Rank-into-rank hypotheses and the failure of GCH
cites work: A general tool for consistency results related to I1
cites work: Prikry-Type Forcings
cites work: Q4694295
cites work: The fine structure of the constructible hierarchy
cites work: Q4805123
cites work: On descendingly incomplete ultrafilters
cites work: Reflection of elementary embedding axioms on the \(L[V_{\lambda+1}]\) hierarchy
cites work: The tree property at successors of singular cardinals
cites work: Prikry on extenders, revisited
cites work: Q4326402
cites work: AXIOM I0 AND HIGHER DEGREE THEORY
cites work: Suitable extender models. II: Beyond \(\omega \)-huge
DOI: 10.1007/S00153-016-0518-3
description: scientific article; zbMATH DE number 6688540