Extensionality Versus Constructivity

✍ Scribed by Silvio Valentini

• Publisher: John Wiley and Sons
• Year: 2002
• Tongue: English
• Weight: 144 KB
• Volume: 48
• Category: Article
• ISSN: 0044-3050
• DOI: 10.1002/1521-3870(200202)48:2<179::aid-malq179>3.0.co;2-k

✦ Synopsis

We analyze some extensions of Martin-Löf's constructive type theory by means of extensional set constructors and we show that often the most natural requirements over them lead to classical logic or even to inconsistency.