5 ms·
Set theorists have located the "end" for all practical and most impractical purposes. Let M be the minimal countable transitive model of ZFC. Declare a real to
by ultrafilter 6y ago
Set theorists have located the "end" for all practical and most impractical purposes. Let M be the minimal countable transitive model of ZFC. Declare a real to be useful if and only if it is in M.
- OscarCunningham 6y agoThis needs axioms beyond ZFC though. Even assuming ZFC is consistent isn't enough to know that there's a minimal countable transitive model.