One item is filed under this topic.








The axiom of choice and constructibe sets 
20090410 

From sydney: The axiom of choice asserts the existence of certain sets, but does not construct the set. What does "construct" mean here? For example, does it require showing the existence and uniqueness of some function yielding the set? In general, what does it mean to require the existence of a mathematical object be tied to a construction of it? Answered by Claude Tardif. 


