History of notes-math-foundations-setsWithUndefinableElements

2013-10-30
22:46 UTC Revision 1 . . . . BayleShanksshould we allow sets to have undefinable elements, e.g. the set of reals? if we do, should we treat them differently? e.g. i think Feferman sometimes . . .