71 search results - page 2 / 15 » Unions and the axiom of choice |
MLQ
2000
13 years 6 months ago
2000
We study the relationship between the countable axiom of choice and the Tychonoff product theorem for countable families of topological spaces.
CSL
2005
Springer
13 years 11 months ago
2005
Springer
We study computability on sequence spaces, as they are used in functional analysis. It is known that non-separable normed spaces cannot be admissibly represented on Turing machines...
SCHOLARPEDIA
2008
13 years 5 months ago
2008
A geometric approach is introduced to explain phenomena that can arise with Luce's choice axiom; e.g., differences occur when determining the likelihood of a ranking by start...
JSYML
2002
13 years 6 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.
CIE
2008
Springer
13 years 8 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...