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

Cached

Download Links

by Maria Emilia Maietti , Silvio Valentini
Citations:7 - 2 self

Documents Related by Co-Citation

24 Axiom of choice and complementation – R Diaconescu - 1975
10 About effective quotients in Constructive Type Theory – M E Maietti
11 Choice implies excluded middle – N Goodman, J Myhill - 1978
99 Martin-Löf’s Type Theory – B. Nordström, K. Petersson, J. M. Smith - 2000
4 Neuer beweis für die möglichkeit einer wohlordnung. Mathematische Annalen 65 – E Zermelo - 1908
6 100 years of zermelo’s axiom of choice: what was the problem with it? Comput – Per Martin-Löf
342 Intuitionistic Type Theory – Per Martin-Löf - 1984
5 The law of excluded middle and the axiom of choice – W W Tait - 1994
401 Vulnerabilities Analysis – Matt Bishop - 1999
30 Setoids in Type Theory – Gilles Barthe, Venanzio Capretta, Olivier Pons - 2000
9 Modular correspondence between dependent type theories and categorical universes including pretopoi and topoi – M E Maietti
153 Sketches of an elephant: a topos theory compendium – P Johnstone - 2002
3 Extensionality versus constructivity – Silvio Valentini - 2000
4 More on the axiom of extensionality – Dana Scott - 1966
6 On The Axiom of Extensionality -Part I – R Gandy - 1956
7 Notes on constructive set theory. Institut Mittag-Leffler (Royal Swedish Academy of Sciences) technical report number 40, 2001. Available at – P Aczel, M Rathjen
12 Collection Principles in Dependent Type Theory – Peter Aczel, Nicola Gambino - 2001
72 Foundations of Constructive Mathematics: Metamathematical Studies – Michael J Beeson - 1985
120 The type theoretic interpretation of constructive set theory: inductive definitions – Peter Aczel - 1986