The modal logic of abelian groups

DOI10.1007/s00012-023-00821-9OpenAlexW4385272163MaRDI QIDQ6111235

Sören Berger, Alexander Christensen Block, Benedikt Loewe

Publication date: 3 August 2023

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-023-00821-9

zbMATH Keywords

abelian groupsorderdivisibilitymodal logic of classes of structures

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Algebraic structures (08A99) Foundations (20A99)

Cites Work

• Unnamed Item
• Fatal Heyting algebras and forcing persistent sentences
• Structural connections between a forcing class and its modal logic
• On modal logics of model-theoretic relations
• The consistency strength of MP\(_{\text{CCC}}(\mathbb R )\)
• THE MODAL LOGIC OF INNER MODELS
• Moving Up and Down in the Generic Multiverse
• A simple maximality principle
• Combined Maximality Principles up to large cardinals
• Sets and Computations
• THE MODAL LOGIC OF -CENTERED FORCING AND RELATED FORCING CLASSES
• Closed maximality principles: implications, separations and combinations
• The modal logic of forcing
• The Necessary Maximality Principle for c. c. c. forcing is equiconsistent with a weakly compact cardinal

This page was built for publication: The modal logic of abelian groups