scientific article; zbMATH DE number 1746890

DOI<179::AID-MALQ179>3.0.CO;2-K 10.1002/1521-3870(200202)48:2<179::AID-MALQ179>3.0.CO;2-KzbMath0997.03047MaRDI QIDQ4531082

Silvio Valentini

Publication date: 29 May 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

constructive type theoryconstructive set theoryextensional set constructors

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50)

Related Items (2)

THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS) ⋮ A cartesian closed category in Martin-Löf's intuitionistic type theory

Cites Work

• The inconsistency of higher order extensions of Martin-Löf's type theory
• Inductively generated formal topologies.
• Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory?
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: