شماره ركورد كنفرانس :
3503
عنوان مقاله :
Simple finitely supported Cb-sets
Author/Authors :
K. Keshvardoust Shahid Beheshti University , M. Mahmoudi Shahid Beheshti University
كليدواژه :
S-set , finitely supported Cb-set , simple , nominal set , support
عنوان كنفرانس :
چهل و هفتمين كنفرانس رياضي ايران
چكيده لاتين :
A finitely supported Cb-set is a set whose elements are finitely supported with respect to a
given action of a monoid Cb of name substitutions. The category of finitely supported Cb-sets is
a full subcategory of the category of Cb-sets and is subject of interest by both set theorists and
computer scientists. The aim of this paper is to characterize simple finitely supported Cb-sets
