The modal logic of inner models

DOI10.1017/JSL.2015.67zbMATH Open1370.03067OpenAlexW2577159182MaRDI QIDQ2805035FDOQ2805035

Benedikt Löwe, Tanmay Inamdar

Publication date: 9 May 2016

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/b59e6645576785e2d81dbb36fa4b8f44f17d172f

zbMATH Keywords

multiverseforcingmodal logicinner modelground model

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other aspects of forcing and Boolean-valued models (03E40) Inner models, including constructibility, ordinal definability, and core models (03E45)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Certain very large cardinals are not created in small forcing extensions
• Fatal Heyting algebras and forcing persistent sentences
• Structural connections between a forcing class and its modal logic
• The Necessary Maximality Principle for c. c. c. forcing is equiconsistent with a weakly compact cardinal
• The consistency strength of MP\(_{\text{CCC}}(\mathbb R )\)

Cited In (4)

• The Modal Logic of Equilibrium Models
• On modal logics of model-theoretic relations
• Title not available (Why is that?)
• The modal logic of abelian groups

   Recommendations

• Structural connections between a forcing class and its modal logic 👍 👎
• The modal logic of forcing 👍 👎
• AN AXIOMATIC APPROACH TO FORCING IN A GENERAL SETTING 👍 👎
• Title not available (Why is that?) 👍 👎
• Forcing formulas in Fraïssé structures and classes 👍 👎
• CANONICAL MODELS FOR FRAGMENTS OF THE AXIOM OF CHOICE 👍 👎
• Forcing in Proof Theory 👍 👎
• Title not available (Why is that?) 👍 👎
• Model theoretic forcing in analysis 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: The modal logic of inner models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2805035)