444 search results - page 1 / 89 » Erdos-Rado without choice |
JSYML
2007
13 years 6 months ago
2007
CADE
2003
Springer
14 years 7 months ago
2003
Springer
MLQ
2000
13 years 6 months ago
2000
The axiom of multiple choice implies that metric spaces are paracompact but the reverse implication cannot be proved in set theory without the axiom of choice.
WEBI
2004
Springer
14 years 5 days ago
2004
Springer
Many situations present a social choice problem where different self-interested agents have to agree on joint, coordinated decisions. For example, power companies have to agree o...
COLING
2000
13 years 6 months ago
2000
s; these annotations provide an abstract description of the effects of particular linguistic choices, allowing the planner to evaluate these choiceswithout needing any linguistic k...