MATHEMATICAL LOGIC QUARTERLY (2007)
by
A Journal
,
Mathematical Logic
,
John L. Bell
,
M Lq
BibTeX
@MISC{Journal07mathematicallogic,
author = {A Journal and Mathematical Logic and John L. Bell and M Lq},
title = {MATHEMATICAL LOGIC QUARTERLY},
year = {2007}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The axiomofchoice and the law of excluded middle in weak set theories
Citations
| 123 | Intuitionistic type theory. Bibliopolis - Martin-Löf - 1984 |
| 20 | Axiom of choice and complementation - Diaconescu - 1975 |
| 10 | About effective quotients in Constructive Type Theory - Maietti |
| 9 | Choice implies excluded middle - Goodman, Myhill - 1978 |
| 7 | Notes on constructive set theory. Institut Mittag-Leffler (Royal Swedish Academy of Sciences) technical report number 40 - Aczel, Rathjen - 2001 |
| 6 | Can you add powersets to Martin-Löf intuitionistic type theory - Maietti, Valentini - 1999 |
| 6 | 100 years of zermelo’s axiom of choice: what was the problem with it? Comput - Martin-Löf |
| 4 | On The Axiom of Extensionality, part I - Gandy - 1956 |
| 4 | More on the axiom of extensionality - Scott - 1966 |
| 4 | The Law of Excluded Middle and the Axiom of Choice - Tait - 1994 |
| 4 | Neuer beweis für die möglichkeit einer wohlordnung. Mathematische Annalen 65 - Zermelo - 1908 |
| 3 | Extensionality versus constructivity - Valentini - 2000 |
| 1 | Toposes and Local Set Theories: An Introduction (Clarendon - Bell - 1988 |
