Source author record

Karsten Schölzel

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CO math.RA math.LO

Catalog footprint

Research overview

5works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2015arXiv

Hereditarily rigid relations

An $h$ -ary relation $\r$ on a finite set $A$ is said to be \emph{hereditarily rigid} if the unary partial functions on $A$ that preserve $\r$ are the subfunctions of the identity map or of constant maps. A family of relations ${\mathcal F}$ is said to be \emph{hereditarily strongly rigid} if the partial functions on $A$ that preserve every $\r \in {\mathcal F}$ are the subfunctions of projections or constant functions. In this paper we show that hereditarily rigid relations exist and we give a lower bound on their arities. We also prove that no finite hereditarily strongly rigid families of relations exist and we also construct an infinite hereditarily strongly rigid family of relations.

preprint2014arXiv

Dichotomy on intervals of strong partial Boolean clones

The following result has been shown recently in the form of a dichotomy: For every total clone $C$ on $\mathbf{2} := \{0,1\}$ , the set $\mathcal{I}(C)$ of all partial clones on $\mathbf{2}$ whose total component is $C$ , is either finite or of continuum cardinality. In this paper we show that the dichotomy holds, even if only strong partial clones are considered, i.e., partial clones which are closed under taking subfunctions: For every total clone $C$ on $\mathbf{2}$ , the set $\mathcal{I}_{\mathrm{Str}}(C)$ of all strong partial clones on $\mathbf{2}$ whose total component is $C$ , is either finite or of continuum cardinality.

preprint2013arXiv

A complete classification of equational classes of threshold functions included in clones

The class of threshold functions is known to be characterizable by functional equations or, equivalently, by pairs of relations, which are called relational constraints. It was shown by Hellerstein that this class cannot be characterized by a finite number of such objects. In this paper, we investigate classes of threshold functions which arise as intersections of the class of all threshold functions with clones of Boolean functions, and provide a complete classification of such intersections in respect to whether they have finite characterizations. Moreover, we provide a characterizing set of relational constraints for each class of threshold functions arising in this way.

preprint2013arXiv

Hypomorphic Sperner systems and nonreconstructible functions

A reconstruction problem is formulated for Sperner systems, and infinite families of nonreconstructible Sperner systems are presented. This has an application to a reconstruction problem for functions of several arguments and identification minors. Sperner systems being representations of certain monotone functions, infinite families of nonreconstructible functions are thus obtained. The clones of Boolean functions are completely classified in regard to reconstructibility.

preprint2013arXiv

Set-reconstructibility of Post classes

The clones of Boolean functions are classified in regard to set-reconstructibility via a strong dichotomy result: the clones containing only affine functions, conjunctions, disjunctions or constant functions are set-reconstructible, whereas the remaing clones are not weakly reconstructible.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Karsten Schölzel

Research overview

Is this your work?

5 publications

Hereditarily rigid relations

Dichotomy on intervals of strong partial Boolean clones

A complete classification of equational classes of threshold functions included in clones

Hypomorphic Sperner systems and nonreconstructible functions

Set-reconstructibility of Post classes

See the researcher in context

Building this map preview