شماره ركورد كنفرانس :
4079
عنوان مقاله :
Simple finitely supported Cb-sets
پديدآورندگان :
Keshvardoust .K kh_keshvardoost@sbu.ac.ir Shahid Beheshti University , Mahmoudi .M m-mahmoudi@sbu.ac.ir Shahid Beheshti University
كليدواژه :
S , set , simple , support , nominal set , finitely supported Cb , set
عنوان كنفرانس :
چهل و هفتمين كنفرانس رياضي ايران
چكيده فارسي :
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
