Interpreting set theory in the endomorphism semi-group of a free algebra or in a category
Saharon Shelah (1976)
Annales scientifiques de l'Université de Clermont. Mathématiques
Similarity:
Saharon Shelah (1976)
Annales scientifiques de l'Université de Clermont. Mathématiques
Similarity:
A. M. Turing (1938)
Compositio Mathematica
Similarity:
Jaroslav Ježek (1972)
Acta Universitatis Carolinae. Mathematica et Physica
Similarity:
A. Pultr, J. Sichler (1998)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Lamarche, François (2007)
Theory and Applications of Categories [electronic only]
Similarity:
Michal Kunc (2003)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
The notion of pseudovarieties of homomorphisms onto finite monoids was recently introduced by Straubing as an algebraic characterization for certain classes of regular languages. In this paper we provide a mechanism of equational description of these pseudovarieties based on an appropriate generalization of the notion of implicit operations. We show that the resulting metric monoids of implicit operations coincide with the standard ones, the only difference being the actual interpretation...
Symeon Bozapalides, Anestis Firarides (1982)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Rudolf Berghammer, Gunther Schmidt (1993)
Banach Center Publications
Similarity: