Intuitionistic typical ambiguity

DOI10.1007/BF01269945zbMATH Open0723.03035OpenAlexW2019777151MaRDI QIDQ757362FDOQ757362

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

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

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 (7)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Typical ambiguity and elementary equivalence
• A Theory of Ambiguous Types and Its Axiomatizations
• Typical ambiguity and the axiom of choice
• 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)