Related papers: Interpretations of ZF
While non-contextual hidden-variable theories are proved to be impossible, contextual ones are possible. In a contextual hidden-variable theory, an observable is called a beable if the hidden-variable assigns its value in a given…
We study flat deformations of quotients of a polynomial algebra in a class of graded commutative associative algebras. Functional equations and their solutions in terms of theta functions play important role in these studies. An analog of…
We give an axiomatic framework for studying the representation theory of towers of algebras. We introduce a new class of algebras, contour algebras, generalising (and interpolating between) blob algebras and cyclotomic Temperley-Lieb…
New identities on traces of representations of the Hecke algebra on the spaces of paths on graphs are presented. These identities are relevant in the computation of partition functions with fixed boundary conditions and of two-point…
Through extensive experience developing and explaining machine learning (ML) applications for real-world domains, we have learned that ML models are only as interpretable as their features. Even simple, highly interpretable model types such…
Inspired by work surrounding Igusa's local zeta function, we introduce topological representation zeta functions of unipotent algebraic groups over number fields. These group-theoretic invariants capture common features of established…
In 1976 S. Shelah posed the following problem: for which variety V of algebras the automorphism group of any free algebra F from V of "large" infinite rank interprets by means of first-order logic set theory (according to his results, for…
In this paper, we empirically evaluate the utility of transfer and multi-task learning on a challenging semantic classification task: semantic interpretation of noun--noun compounds. Through a comprehensive series of experiments and…
We study multiple zeta values and their generalizations from the point of view of Rota--Baxter algebras. We obtain a general framework for this purpose and derive relations on multiple zeta values from relations in Rota--Baxter algebras.
A finite-dimensional unital and associative algebra over $\mathbb{R}$, or what we shall call simply "an algebra" in this paper for short, generalities the construction by which we derive the complex numbers by "adjoining an element $i$" to…
Partial zeta functions of algebraic varieties over finite fields generalize the classical zeta function by allowing each variable to be defined over a possibly different extension field of a fixed finite field. Due to this extra variation…
A quantitative model of concurrent interaction is introduced. The basic objects are linear combinations of partial order relations, acted upon by a group of permutations that represents potential non-determinism in synchronisation. This…
We consider a new kind of interpretation over relational structures: finite sets interpretations. Those interpretations are defined by weak monadic second-order (WMSO) formulas with free set variables. They transform a given structure into…
It is studied the following problem: for a given function $f$ what kind of may be a set of all rotations $\gamma$ for which $\int f$ is not differentiable with respect to $\gamma$-rotation of a given basis $B$? In particular, for…
In this paper a knowledge representation model are proposed, FP5, which combine the ideas from fuzzy sets and penta-valued logic. FP5 represents imprecise properties whose accomplished degree is undefined, contradictory or indeterminate for…
Using techniques developed in the revision theory of truth, I build a model for the set theory NF (New Foundations) developed by Quine in ZF, therefore proving its consistency relative to ZF. The model is essentially a term model; the sets…
In this article we treat a notion of continuity for a multi-valued function $F$ and we compute the descriptive set-theoretic complexity of the set of all $x$ for which $F$ is continuous at $x$. We give conditions under which the latter set…
In this article, we study the multiple zeta functions (MZF) and some of its variants at identical arguments. Using the harmonic product, these functions can be expressed as polynomials in the Riemann zeta function. Firstly, we note that an…
A new class of integrable mappings and chains is introduced. Corresponding $(1+2)$ integrable systems invariant with respect to such discrete transformations are presented in an explicit form. Their soliton-type solutions are constructed in…
We give complete, finite quasiequational axiomatisations for algebras of unary partial functions under the operations of composition, domain, antidomain, range and intersection. This completes the extensive programme of classifying algebras…