Smooth categories and global \(\square\)
type: Item
instance of: scholarly article
title: Smooth categories and global \(\square\)
zbMATH Open document ID: 0941.03054
DOI: 10.1016/S0168-0072(99)00020-2
author: Martin Zeman
author: Ronald Jensen
published in: Annals of Pure and Applied Logic
publication date: 2000-07-27T00:00:00Z
review text: The authors axiomatically define the concept of a smooth category. Smooth categories allow the fine structural aspects of the construction of \(\square\)-sequences to be separated from the combinatorial aspects. They construct a smooth category of mice and embeddings in the core model for measures of order 0. The construction is based on a ``condensation'' lemma that guarantees that certain condensation arguments preserve sufficient soundness downwards. As a consequence of the construction, the global \(\square\) principle holds in \textbf{K}. The authors prove a stronger result, namely, that a condensation-coherent version of global \(\square\) holds in \textbf{K}.
Mathematics Subject Classification ID: 03E45
Mathematics Subject Classification ID: 03E05
Mathematics Subject Classification ID: 03E55
zbMATH DE Number: 1398855
zbMATH Keywords: square sequences
zbMATH Keywords: core model
zbMATH Keywords: smooth categories
zbMATH Keywords: mice
zbMATH Keywords: condensation
reviewed by: J. M. Plotkin
MaRDI profile type: Publication
cites work: Q3921212
cites work: Q3329455
cites work: The core model
cites work: The covering lemma for K
cites work: The covering lemma for L[U]
cites work: Q3724320
cites work: Jensen's Σ* theory and the combinatorial content of V = L
cites work: Q3852172
cites work: The fine structure of the constructible hierarchy
cites work: Q4315890
cites work: Q4291791
cites work: Combinatorial principles in the core model for one Woodin cardinal
cites work: A finite family weak square principle
description: scientific article; zbMATH DE number 1398855