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)

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

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)