The consistency strength of MP\(_{\text{CCC}}(\mathbb R )\)
type: Item
instance of: scholarly article
title: The consistency strength of MP\(_{\text{CCC}}(\mathbb R )\)
zbMATH Open document ID: 1205.03059
DOI: 10.1215/00294527-2010-011
author: George Leibman
published in: Notre Dame Journal of Formal Logic
publication date: 2010-07-20T00:00:00Z
Mathematics Subject Classification ID: 03E35
Mathematics Subject Classification ID: 03E40
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 5758436
zbMATH Keywords: forcing axioms
zbMATH Keywords: modal logic
zbMATH Keywords: countable chain condition
zbMATH Keywords: maximality principle
zbMATH Keywords: CCC-forcing extension
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1215/00294527-2010-011
OpenAlex ID: W2001257823
description: scientific article; zbMATH DE number 5758436