57 search results - page 2 / 12 » Luce's choice axiom |
JSYML
2002
13 years 7 months ago
2002
We study the relationships between definitions of compactness in topological spaces and the roll the axiom of choice plays in these relationships.
MLQ
2008
13 years 7 months ago
2008
We study statements about countable and well ordered unions and how they are related to each other and to countable and well ordered forms of the axiom of choice.
CIE
2008
Springer
13 years 9 months ago
2008
Springer
The proof of the relative consistency of the axiom of choice has been mechanized using Isabelle/ZF, building on a previous mechanization of the reflection theorem. The heavy relia...
CADE
2003
Springer
14 years 7 months ago
2003
Springer
FUIN
2008
13 years 7 months ago
2008