Intuitionistic typical ambiguity

DOI10.1007/BF01269945zbMATH Open0723.03035OpenAlexW2019777151MaRDI QIDQ757362FDOQ757362

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)

Cites Work

• Foundations of set theory. With the collaboration of Dirk van Dalen. 2nd revised ed
• Title not available (Why is that?)
• Model Theory for Intuitionistic Logic
• Model theory for modal logic. Kripke models for modal predicate calculi
• A generalization of Specker's theorem on typical ambiguity
• Ambiguity and stratification

Cited In (3)

• Title not available (Why is that?)
• Typical ambiguity and elementary equivalence
• Strong Ambiguity

   Recommendations

• Models of intuitionistic TT and NF 👍 👎
• Typical ambiguity and elementary equivalence 👍 👎
• Typical ambiguity and the axiom of choice 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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)