English
Related papers

Related papers: On the local closure of clones on countable sets

200 papers

Given a clone C on a set A, we characterize the clone of operations on A which are local term operations of every ultrapower of the algebra $(A; C)$.

Logic · Mathematics 2022-09-27 Keith A. Kearnes , Agnes Szendrei

For a class C of operations on a nonempty base set A, an operation f is called a C-subfunction of an operation g, if f = g(h_1, ..., h_n), where all the inner functions h_i are members of C. Two operations are C-equivalent if they are…

Combinatorics · Mathematics 2007-05-23 Erkko Lehtonen

We study functional clones, which are sets of non-negative pseudo-Boolean functions (functions $\{0,1\}^k\to\mathbb{R}_{\geq 0}$) closed under (essentially) multiplication, summation and limits. Functional clones naturally form a lattice…

Discrete Mathematics · Computer Science 2018-04-13 Andrei Bulatov , Leslie Ann Goldberg , Mark Jerrum , David Richerby , Stanislav Živný

We present a Galois theory connecting finitary operations with pairs of finitary relations one of which is contained in the other. The Galois closed sets on both sides are characterised as locally closed subuniverses of the full iterative…

Rings and Algebras · Mathematics 2022-10-13 Mike Behrisch

A clone on a set X is a set of finitary functions on X which contains the projections and which is closed under composition. The set of all clones on X forms a complete algebraic lattice Cl(X). We obtain several results on the structure of…

Rings and Algebras · Mathematics 2007-05-23 Michael Pinsker

A clonoid is a set of finitary functions from a set $A$ to a set $B$ that is closed under taking minors. Hence clonoids are generalizations of clones. By a classical result of Post, there are only countably many clones on a 2-element set.…

Rings and Algebras · Mathematics 2019-09-20 Athena Sparks

A subset $B \subset Y$ is constructible if it is an element of the smallest family that contains all open sets and is stable under finite intersections and complements. A function $f : X \to Y$ is said to be piece-wise closed if $X$ can be…

General Topology · Mathematics 2012-05-29 Alexey Ostrovsky

Function clones are sets of functions on a fixed domain that are closed under composition and contain the projections. They carry a natural algebraic structure, provided by the laws of composition which hold in them, as well as a natural…

Logic · Mathematics 2016-05-17 Manuel Bodirsky , Michael Pinsker , András Pongrácz

For each clone C on a set A there is an associated equivalence relation, called C-equivalence, on the set of all operations on A, which relates two operations iff each one is a substitution instance of the other using operations from C. In…

Rings and Algebras · Mathematics 2016-11-22 Erkko Lehtonen , Agnes Szendrei

For each clone C on a set A there is an associated equivalence relation analogous to Green's R-relation, which relates two operations on A iff each one is a substitution instance of the other using operations from C. We study the clones for…

Rings and Algebras · Mathematics 2016-11-22 Erkko Lehtonen , Ágnes Szendrei

We prove that if S is a set of functions from a set A to itself, S is closed under composition, and S contains all transpositions of A, then the action of S on Acan be recovered from the semigroup consisting of S together with its…

Logic · Mathematics 2016-06-22 Jonah Maissel , Matatyahu Rubin

We prove that every clone of operations on a finite set A, if it contains a Malcev operation, is finitely related -- i.e., identical with the clone of all operations respecting R for some finitary relation R over A. It follows that for a…

Rings and Algebras · Mathematics 2011-05-31 Erhard Aichinger , Peter Mayr , Ralph McKenzie

We construct a theory of holant clones to capture the notion of expressibility in the holant framework. Their role is analogous to the role played by functional clones in the study of weighted counting Constraint Satisfaction Problems. We…

Computational Complexity · Computer Science 2023-04-25 Miriam Backens , Leslie Ann Goldberg

In this article, we prove infinitary version of one to one correspondence theorem between clones and relational clones on a fixed possibly infinite set. We also characterize the relational clone corresponding to the clone of all finitary…

Logic · Mathematics 2013-10-08 Shohei Izawa

Let (X,m) and (Y,n) be standard measure spaces. A function f in $L^\infty(X\times Y,m\times n)$ is called a (measurable) Schur multiplier if the map $S_f$, defined on the space of Hilbert-Schmidt operators from $L_2(X,m)$ to $L_2(Y,n)$ by…

Functional Analysis · Mathematics 2010-01-27 V. S. Shulman , I. G. Todorov , L. Turowska

Let c be the cardinality of the continuum. We give a family of pairwise incomparable clones (on a countable base set) 2^c members, all with the same unary fragment, namely the set of all unary operations. We also give, for each n, a family…

Rings and Algebras · Mathematics 2011-08-16 Martin Goldstern , Gábor Sági , Saharon Shelah

We define two natural classes of functions, called 2-open and 2-closed, that are closest to open and closed functions. We show that they have the following property: there are $X_i \subset X$ $ (i=1,2,...$) such that $f|X_i$ are open or…

General Topology · Mathematics 2011-11-28 Alexey Ostrovsky

Let X be an infinite set of regular cardinality. We determine all clones on X which contain all almost unary functions. It turns out that independently of the size of X, these clones form a countably infinite descending chain. Moreover, all…

Rings and Algebras · Mathematics 2007-05-23 Michael Pinsker

The purpose of this paper is to contribute to the theory of profinite semigroups by considering the special class consisting of those all of whose finitely generated closed subsemigroups are countable, which are said to be locally…

Group Theory · Mathematics 2023-01-31 Jorge Almeida , Ondrej Klíma

We work with quasianalytic classes of functions. Consider a real-valued function y = f(x) on an open subset U of Euclidean space, which satisfies a quasianalytic equation G(x, y) = 0. We prove that f is arc-quasianalytic (i.e., its…

Complex Variables · Mathematics 2014-01-31 Edward Bierstone , Pierre D. Milman , Guillaume Valette
‹ Prev 1 2 3 10 Next ›