English
Related papers

Related papers: Some New Results on Binary Relations

200 papers

Several sets of quaternionic functions are described and studied. Residue current of the right inverse of a quaternionic function is introduced in particular cases.

Complex Variables · Mathematics 2013-01-08 Pierre Dolbeault

We investigate a number of semantically defined fragments of Tarski's algebra of binary relations, including the function-preserving fragment. We address the question whether they are generated by a finite set of operations. We obtain…

Logic in Computer Science · Computer Science 2024-09-11 Bart Bogaerts , Balder ten Cate , Brett McLean , Jan Van den Bussche

The aim of the present paper is to generalize the concept of residuated poset, by replacing the usual partial ordering by a generic binary relation, giving rise to relational systems which are residuated. In particular, we modify the…

Logic · Mathematics 2020-04-20 Stefano Bonzio , Ivan Chajda

When a semigroup has a unary operation, it is possible to define two binary operations, namely, left and right division. In addition it is well known that groups can be defined in terms of those two divisions. The aim of this paper is to…

Group Theory · Mathematics 2012-10-01 Joao Araujo , Michael Kinyon

We construct a symmetric invertible binary pairing function $F(m,n)$ on the set of positive integers with a property of $F(m,n)=F(n,m)$. Then we provide a complete proof of its symmetry and bijectivity, from which the construction of…

Combinatorics · Mathematics 2021-05-25 Jianrui Xie

Transfinite set theory including the axiom of choice supplies the following basic theorems: (1) Mappings between infinite sets can always be completed, such that at least one of the sets is exhausted. (2) The real numbers can be well…

General Mathematics · Mathematics 2007-05-23 W. Mueckenheim

Given two relations containing multiple measurements - possibly with uncertainties - our objective is to find which sets of attributes from the first have a corresponding set on the second, using exclusively a sample of the data. This…

Databases · Computer Science 2022-07-20 Alejandro Alvarez-Ayllon , Manuel Palomo-Duarte , Juan-Manuel Dodero

It is well-known that to every binary relation on a non-void set I there can be assigned its incidence matrix, also in the case when I is infinite. We show that a certain kind of "multiplication" of such incidence matrices corresponds to…

Rings and Algebras · Mathematics 2021-11-12 Ivan Chajda , Helmut Länger

The classical Fibonacci sequence is known to exhibit many fascinating properties. In this paper, we explore the Fibonacci sequence and integer sequences generated by second order linear recurrence relations with positive integer…

Probability · Mathematics 2016-11-11 Arulalan Rajan , R. Vittal Rao , Ashok Rao , H. S. Jamadagni

Rational relations are binary relations of finite words that are realised by non-deterministic finite state transducers (NFT). A particular kind of rational relations is the sequential functions. Sequential functions are the functions that…

Formal Languages and Automata Theory · Computer Science 2015-04-16 Ismaël Jecker , Emmanuel Filiot

The branching rules between simple Lie algebras and its regular (maximal) simple subalgebras are studied. Two types of recursion relations for anomalous relative multiplicities are obtained. One of them is proved to be the factorized…

q-alg · Mathematics 2009-10-28 V. D. Lyakhovsky

A uniformization of a binary relation is a function that is contained in the relation and has the same domain as the relation. The synthesis problem asks for effective uniformization for classes of relations and functions that can be…

Formal Languages and Automata Theory · Computer Science 2018-05-08 Sarah Winter

A generating function for reciprocal binomial coefficients is written down, integral representations of this function are obtained, generating functions for sums of reciprocal binomial coefficients are derived, new identities are obtained,…

Combinatorics · Mathematics 2026-02-10 Dmitry Kruchinin , Vladimir Kruchinin

The objective of this paper is, in the main, twofold: Firstly, to develop an algebraic setting for dealing with Bell polynomials and related extensions. Secondly, based on the author's previous work on multivariate Stirling polynomials…

Combinatorics · Mathematics 2021-01-28 Alfred Schreiber

We study countable structures from the viewpoint of enumeration reducibility. Since enumeration reducibility is based on only positive information, in this setting it is natural to consider structures given by their positive atomic diagram…

Logic · Mathematics 2022-07-13 Barbara F. Csima , Luke MacLean , Dino Rossegger

Causal inference in completely randomized treatment-control studies with binary outcomes is discussed from Fisherian, Neymanian and Bayesian perspectives, using the potential outcomes framework. A randomization-based justification of…

Statistics Theory · Mathematics 2015-01-13 Peng Ding , Tirthankar Dasgupta

Expanding upon recent work, a new class of $A$-functions is introduced that can be viewed as an appropriate generalization of the class of regular $A$-functions, the class of structured $A$-functions, and the class of perfect $A$-functions.…

Number Theory · Mathematics 2022-03-01 Joseph Burnett , Alex Taylor

We introduce a new notion of a relational word as a finite totally ordered set of positions endowed with three binary relations that describe which positions are labeled by equal data, by unequal data and those having an undefined relation…

Formal Languages and Automata Theory · Computer Science 2015-10-13 Igor Potapov , Olena Prianychnykova , Sergey Verlan

Relational Lattice is a succinct mathematical model for Relational Algebra. It reduces the set of six classic relational algebra operators to two: natural join and inner union. In this paper we push relational lattice theory in two…

Databases · Computer Science 2009-03-24 Vadim Tropashko

Linear algebra's main concerns are sets of vectors, linear functions, subspaces, linear systems, matrices and concepts about those, such as whether the solution of linear system exists or is unique; a set of vectors is linearly independent…

Symbolic Computation · Computer Science 2025-04-15 Iago Leal de Freitas , Júlia Mota , João Paixão , Lucas Rufino