On nominal sets with support-preorder

سال انتشار: 1401
نوع سند: مقاله ژورنالی
زبان: انگلیسی
مشاهده: 111

فایل این مقاله در 24 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

JR_CGASAT-17-1_006

تاریخ نمایه سازی: 1 شهریور 1401

چکیده مقاله:

Each nominal set 𝑋 can be equipped with a preorder relation ⪯ defined by the notion of support, so-called support-preorder. This preorder also leads us to the support topology on each nominal set. We study support-preordered nominal sets and some of their categorical properties in this paper. We also examine the topological properties of support topology, in particular separation axioms.

کلیدواژه ها:

nominal set ، support-preordered nominal set ، support topological nominal set

نویسندگان

Aliyeh Hossinabadi

Department of Mathematics, Faculty of Mathematics, Statistics and Computer Sciences, Semnan University, Semnan, Iran.

Mahdieh Haddadi

Department of Mathematics, Faculty of Mathematics, Statistics and Computer Sciences, Semnan University, Semnan, Iran.

Khadijeh Keshvardoost

Department of Mathematics, Velayat University, Iranshahr, Sistan and Balouchistan, Iran.

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • Amorim, A.A., Binding Operators for Nominal Sets, Electron. Notes Theor. ...
  • Bojańczyk, M., Klin, B., and Lasota, S., Automata Theory in ...
  • Fraenkel, J.A., Der begriff definit und die unabhangigkeit des auswahlsaxioms, ...
  • Fernandez, M., Gabbay, M.J., Nominal rewriting, Inform. and Comput. ۲۰۵(۶) ...
  • Gabbay, M.J., and Hofmann, M., Nomianl renaming sets, In: Cervesato, ...
  • Gabbay, M.J. and Pitts, A.M., A new approach to abstract ...
  • Munkres, J.R., “Topology", Prentice Hall, Incorporated, ۲۰۰۰ ...
  • Pitts, A.M., “Nominal Sets: Names and Symmetry in Computer Science, ...
  • نمایش کامل مراجع