A Possible Modal Formulation of Comprehension Scheme

DOI10.1002/MALQ.19870330511zbMath0644.03027OpenAlexW2142679550MaRDI QIDQ3786476

Jan Krajíček

Publication date: 1987

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19870330511

zbMATH Keywords

modal logicPeano arithmeticRussell's paradoxcomprehension schemeset theory MST

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Nonclassical and second-order set theories (03E70)

Related Items (2)

CAN MODALITIES SAVE NAIVE SET THEORY? ⋮ On Evans's vague object from set theoretic viewpoint

This page was built for publication: A Possible Modal Formulation of Comprehension Scheme