Boolean-valued sets as arbitrary objects
Logic
2022-02-17 v2
Abstract
This article explores the connection between boolean-valued class models of set theory and the theory of arbitrary objects in roughly Kit Fine's sense of the word. In particular, it explores the hypothesis that the set theoretic universe as a whole can be seen as an arbitrary entity, which can in turn be taken to consist of arbitrary objects, viz. arbitrary sets.
Keywords
Cite
@article{arxiv.2002.02181,
title = {Boolean-valued sets as arbitrary objects},
author = {Leon Horsten},
journal= {arXiv preprint arXiv:2002.02181},
year = {2022}
}
Comments
20 pages