Abstract
The goal of this paper is to present a collection of properties of the set of atoms and the set of finite injective tuples of atoms, as well as of the (finite and cofinite) powersets of atoms in the framework of finitely supported structures. Some properties of atoms are obtained by translating classical Zermelo–Fraenkel results into the new framework, but several important properties are specific to finitely supported structures (i.e. they do not have related classical Zermelo–Fraenkel and related non-atomic correspondents).
Full Text
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call