History of notes-math-foundations-setsWithUndefinableElements
2013-10-30
22:46 UTC
Revision 1
. . . .
BayleShanks
–
should 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 . . .