The modal logic of inner models
From MaRDI portal
Publication:2805035
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
Cites work
- scientific article; zbMATH DE number 1003731 (Why is no real title available?)
- scientific article; zbMATH DE number 1749192 (Why is no real title available?)
- scientific article; zbMATH DE number 755666 (Why is no real title available?)
- 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
(7)- The Modal Logic of Equilibrium Models
- On modal logics of model-theoretic relations
- scientific article; zbMATH DE number 4047708 (Why is no real title available?)
- The modal logic of forcing
- The modal logic of abelian groups
- Structural connections between a forcing class and its modal logic
- Reflexive-insensitive logics, the boxdot translation, and the modal logic of generic absoluteness
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)