Models of Arbitrary Sets
There is a growing literature on arbitrary objects as other types of mathematical objects, besides particular mathematical objects. In this paper we study arbitrary sets in the context of ZFC set theory. An arbitrary object is one that is determined by a state space across which it varies and by its instantiations. We compare two semantic strategies. First, we analyse the possibility of modeling arbitrary sets using direct powers of a ZFC structure. This yields a natural setting, but one where Extensionality and, crucially, the full Separation scheme fail. Second, we consider structures…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.23219
curl -X POST /api/v1/records/arxiv/2610.23219/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.23219/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'