Intuitionistic typical ambiguity

DOI10.1007/BF01269945MaRDI QIDQ757362zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Models of intuitionistic TT and NF
• Typical ambiguity and elementary equivalence
• Typical ambiguity and the axiom of choice
• scientific article; zbMATH DE number 4037856
• scientific article; zbMATH DE number 3882419

Cites work

• scientific article; zbMATH DE number 3427309 (Why is no real title available?)
• A generalization of Specker's theorem on typical ambiguity
• Ambiguity and stratification
• Foundations of set theory. With the collaboration of Dirk van Dalen. 2nd revised ed
• Model Theory for Intuitionistic Logic
• Model theory for modal logic. Kripke models for modal predicate calculi

Cited in

(7)

• Typical ambiguity and the axiom of choice
• scientific article; zbMATH DE number 4037856 (Why is no real title available?)
• scientific article; zbMATH DE number 3483592 (Why is no real title available?)
• scientific article; zbMATH DE number 3882419 (Why is no real title available?)
• Typical ambiguity and elementary equivalence
• A Theory of Ambiguous Types and Its Axiomatizations
• Strong Ambiguity

This page was built for publication: Intuitionistic typical ambiguity

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