Intuitionistic typical ambiguity

DOI10.1007/BF01269945zbMath0723.03035OpenAlexW2019777151MaRDI QIDQ757362

Daniel Dzierzgowski

Publication date: 1991

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01269945

zbMATH Keywords

Kripke modelambiguity axiomsequi-consistencyintuitionistic version of Quine's New Foundationsintuitionistic version of Russel's Simple Type Theory

Mathematics Subject Classification ID

Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Intuitionistic mathematics (03F55)

Cites Work

• Unnamed Item
• Model theory for modal logic. Kripke models for modal predicate calculi
• Foundations of set theory. With the collaboration of Dirk van Dalen. 2nd revised ed
• A generalization of Specker's theorem on typical ambiguity
• Ambiguity and stratification
• Model Theory for Intuitionistic Logic

This page was built for publication: Intuitionistic typical ambiguity