Intensional mathematics

MaRDI QIDQ798616zbMATH OpenFDO

Authors

Publication date 1985

Published in Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)

zbMATH Keywords

Intensional mathematics

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Conference proceedings and collections of articles (00Bxx)

Cited in

(18)

• Realizability semantics for quantified modal logic: generalizing Flagg's 1985 construction
• Epistemic set theory is a conservative extension of intuitionistic set theory
• Intuitionistic modal logic and set theory
• Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics
• Self-referential theories
• A guide to truth predicates in the modern era
• CAN MODALITIES SAVE NAIVE SET THEORY?
• European Summer Meeting of the Association for Symbolic Logic
• Reflecting in epistemic arithmetic
• A new “feasible” arithmetic
• Mathematical modality: an investigation in higher-order logic
• Some properties of epistemic set theory with collection
• Explicit provability and constructive semantics
• Topological models of epistemic set theory
• Bibliography of John Myhill
• Maximality in modal logic
• European Summer Meeting of the Association for Symbolic Logic, Hull, 1986
• Oskar Becker and the modal translation of intuitionistic logic

This page was built for publication: Intensional mathematics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q798616)