Skip to content
DraconiticResearch
Search Sources API
182,469 studies31 sourcesUpdated 53 min ago
PreprintCC BY-SA 4.0arXiv

Models of Arbitrary Sets

  • Santiago Jockwich
  • Giorgio Venturi
  • Pedro Yago
Open at sourcePDFDOICite

Abstract

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 composed of arbitrary sets using a direct power construction evaluated in a Boolean-valued semantics. Within this setting, we develop the cumulative hierarchy of arbitrary sets, arbitrary ordinals, cardinals, and filtrations of the structure of arbitrary sets. The final section develops a combinatorial interpretation in terms of independent assignments across a fixed state space. Its connection with the iterative conception is then discussed.

Related

  1. A construction of Kakeya Sets in Arbitrary Dimension
    Rafael J. Fernández-Delgado, Mikael de la Salle
    arXivPreprintCC BY 4.0Full textAnalysis & PDEsarXiv
  2. A Classification of Small MSTD Sets in Arbitrary Fields
    Yorick Herrmann
    arXivPreprintCC BY 4.0Full textAlgebra & number theoryarXiv
  3. The Golomb--Welch conjecture for arbitrary centre sets
    Bocong Chen, Jing Huang, Gaojun Luo
    arXivPreprintarXiv licenceFull textCombinatorics & discrete mathematicsarXiv
  4. F-sets of arbitrary finite width
    Alessandro Giannoni
    arXivPreprintarXiv licenceFull textAlgebra & number theoryarXiv
  5. Bourgain--Brezis--Mironescu formula for BV functions on arbitrary open sets and applications
    Jiang Li, Zhuang Wang
    arXivPreprintarXiv licenceFull textAnalysis & PDEsarXiv

Cite

BibTeXRIS
BibTeX
@misc{jockwich2026models,
  title = {{Models of Arbitrary Sets}},
  author = {Santiago Jockwich and Giorgio Venturi and Pedro Yago},
  howpublished = {arXiv},
  year = {2026},
  month = oct,
  doi = {10.48550/arxiv.2610.23219},
  eprint = {2610.23219},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2610.23219},
  note = {CC BY-SA 4.0},
}
RIS
TY  - UNPB
TI  - Models of Arbitrary Sets
AU  - Santiago Jockwich
AU  - Giorgio Venturi
AU  - Pedro Yago
PY  - 2026
DA  - 2026/10/16
PB  - arXiv
DO  - 10.48550/arxiv.2610.23219
UR  - https://arxiv.org/abs/2610.23219
AB  - 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 composed of arbitrary sets using a direct power construction evaluated in a Boolean-valued semantics. Within this setting, we develop the cumulative hierarchy of arbitrary sets, arbitrary ordinals, cardinals, and filtrations of the structure of arbitrary sets. The final section develops a combinatorial interpretation in terms of independent assignments across a fixed state space. Its connection with the iterative conception is then discussed.
ER  -