Can you add power-sets to Martin-Löf intuitionistic set theory?

Can you add power-sets to Martin-Löf intuitionistic set theory? (2000)

Cached

Download Links

[www.math.unipd.it]

by Maria Emilia Maietti , Silvio Valentini

Citations:

6 - 2 self

BibTeX

@MISC{Maietti00canyou,
    author = {Maria Emilia Maietti and Silvio Valentini},
    title = {Can you add power-sets to Martin-Löf intuitionistic set theory?},
    year = {2000}
}

Bookmark

OpenURL

Abstract

Citations

379	Introduction to Higher Order Categorical Logic - Lambek, Scott - 1986
242	Programming in Martin-Löf’s Type Theory. An Introduction - Nordström, Petersson, et al. - 1990
87	Asurvey of the project AUTOMATH - Bruijn - 1980
75	Ecc: an extended calculus of constructions - Luo - 1989
56	A meta-mathematical investigation of a Calculus of Constructions. Private Communication - Coquand - 1987
48	Hauptsatz for the intuitionistic theory of iterated inductive definitions - Martin-Löf - 1971
45	Extensional concepts in intensional type theory - Hofmann - 1995
24	The strength of some Martin-Löf type theories - Griffor, Rathjen - 1994
20	Axiom of choice and complementation - Diaconescu - 1975
17	Toposes and Local Set Theories: An Introduction - Bell - 1988
16	The groupoid interpretation of type theory - Hofmann, Streicher - 1998
13	Intuitionistic Type Theory. Notes by G. Sambin - Martin-Löf - 1984
12	Building up a toolbox for MartinLöf’s type theory: subset theory. In Twenty-five years of constructive type theory - Sambin, Valentini - 1995
4	The forget-restore principle: a paradigmatic example - Valentini - 1995
2	The inconsistency of higher order extensions of Martin-Löf’s type theory - Jacobs - 1989