THE MODAL LOGIC OF INNER MODELS (Q2805035): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Structural connections between a forcing class and its modal logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The consistency strength of MP\(_{\text{CCC}}(\mathbb R )\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Certain very large cardinals are not created in small forcing extensions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fatal Heyting algebras and forcing persistent sentences / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3128959 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4698331 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Necessary Maximality Principle for c. c. c. forcing is equiconsistent with a weakly compact cardinal / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4532193 / rank | |||
Normal rank |
Latest revision as of 23:03, 11 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | THE MODAL LOGIC OF INNER MODELS |
scientific article |
Statements
THE MODAL LOGIC OF INNER MODELS (English)
0 references
9 May 2016
0 references
modal logic
0 references
multiverse
0 references
inner model
0 references
ground model
0 references
forcing
0 references
0 references