The modal logic of inner models

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

Authors: 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

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
• scientific article; zbMATH DE number 4010502
• Forcing formulas in Fraïssé structures and classes
• Canonical models for fragments of the axiom of choice
• Forcing in Proof Theory
• Forcing with non-wellfounded models
• Model theoretic forcing in analysis
• scientific article; zbMATH DE number 4195915

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?)
• Certain very large cardinals are not created in small forcing extensions
• Fatal Heyting algebras and forcing persistent sentences
• Title not available (Why is that?)
• 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 (5)

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

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)