A modal logic of consistency
type: Item
instance of: scholarly article
title: A modal logic of consistency
zbMATH Open document ID: 0839.03035
author: Yanyan Li
published in: Rendiconti del Seminario Matematico della Università di Padova
publication date: 1996-06-19T00:00:00Z
full work available at URL: http://www.numdam.org/item
full work available at URL: https://eudml.org/doc/108352
review text: Fraenkel-Mostowski permutation models of the set theory ZFA (it admits atoms) are proper classes of hereditarily symmetric sets, where symmetry is defined with respect to a topological group. If the construction of a permutation model is performed within another permutation model, then the resulting structure is isomorphic to a permutation model (Theorem 1) and the following result follows (Theorem 2): A modal propositional formula \(\varphi\) is in S5 if and only if \(\varphi\) is \(\text{FM}_{\text{FM}}\)-valid. This means that for all interpretations \((\cdot)^*\) the ZF-formula \(\varphi^*\) is true in all permutation models over a fixed ZFC universe \(V\). The key clause in the definition of \((\cdot)^*\) is the interpretation of the modal operator \(M\) of possibility: \((M\varphi)^*\) expresses that some permutation model satisfies \(\varphi^*\). It follows that in contrast to the case where the models are sets, the formalized second incompleteness theorem is not valid. Reviewer's remarks: (1) In the proof of Lemma 2.1 the embedding of \(V(X)(Y)\) is not into \(V(Y)\) but into \(V(Z_Y)\), where \(Z_Y\in V\) is the first coordinate of \(Y= (Z_Y, \alpha)\in V(X)\); otherwise the proof remains unaltered. (2) The reference 1 [\textit{M. Baaz}, \textit{N. Brunner} and \textit{K. Svozil}, ``Effective quantum observables'']\ may be completed as follows: Il Nuovo Cimento 110B, 1397-1413 (1995).
Mathematics Subject Classification ID: 03E25
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 826762
zbMATH Keywords: modal logic
zbMATH Keywords: consistency
zbMATH Keywords: Fraenkel-Mostowski permutation models
zbMATH Keywords: incompleteness theorem
reviewed by: Norbert Brunner
MaRDI profile type: Publication
cites work: Freyd’s models for the independence of the axiom of choice
cites work: Permutation models and topological groups
cites work: The Fraenkel-Mostowski method, revisited
cites work: Q3995219
cites work: Powers of regular cardinals
cites work: Permutation Models in the Sense of Rieger-Bernays
cites work: Q5723435
cites work: The axiom of choice
cites work: Extensions of the Lewis system S5
cites work: Provability interpretations of modal logic
description: scientific article; zbMATH DE number 826762