Nominal Groups and Their Homomorphism Theorems

Issue title: Formal Models - Computability, Complexity, Applications

Article type: Research Article

Authors: Alexandru, Andrei | Ciobanu, Gabriel

Affiliations: Institute of Computer Science, Romanian Academy, Iaşi, Romania. [email protected], [email protected]

Note: [] Address for correspondence: Institute of Computer Science, Romanian Academy, Iaşi, Romania

Abstract: We introduce and study the nominal groups, providing some algebraic properties of this new structure. We focus on the properties of nominal homomorphisms, and study the correspondence between some results obtained in the Fraenkel-Mostowski framework (where only finitely supported objects are allowed) and those obtained in the classical Zermelo-Fraenkel framework.

Keywords: Fraenkel-Mostowski set theory, finitely supported objects, nominal groups, homomorphisms

DOI: 10.3233/FI-2014-1015

Journal: Fundamenta Informaticae, vol. 131, no. 3-4, pp. 279-298, 2014