Finitely Supported Sets Containing Infinite Uniformly Supported Subsets

Andrei Alexandru
(Romanian Academy, Institute of Computer Science, Iasi, Romania)
Gabriel Ciobanu
(A.I.Cuza University and Romanian Academy, Iasi, Romania)

The theory of finitely supported algebraic structures represents a reformulation of Zermelo-Fraenkel set theory in which every construction is finitely supported according to the action of a group of permutations of some basic elements named atoms. In this paper we study the properties of finitely supported sets that contain infinite uniformly supported subsets, as well as the properties of finitely supported sets that do not contain infinite uniformly supported subsets. For classical atomic sets, we study whether they contain or not infinite uniformly supported subsets.

In Mircea Marin and Adrian Crăciun: Proceedings Third Symposium on Working Formal Methods (FROM 2019), Timişoara, Romania, 3-5 September 2019, Electronic Proceedings in Theoretical Computer Science 303, pp. 120–134.
Published: 2nd September 2019.

ArXived at: https://dx.doi.org/10.4204/EPTCS.303.9 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org