English
Related papers

Related papers: The Thins Ordering on Relations

200 papers

This paper studies the structure of core sets under different similarity classes. We investigate the influence of factors of the minimal polynomial with different degrees on the structure of core sets. When $F$ is a finite field of prime…

Rings and Algebras · Mathematics 2025-10-23 Hongyu Wang , Yizhi Zhang

We extend the treatment of functional dependence, the basic concept of dependence logic, to include the possibility of dependence with a limited number of exceptions. We call this approximate dependence. The main result of the paper is a…

Logic · Mathematics 2014-08-20 Jouko Väänänen

We introduce the concept of {\it self-referential order} which provides a way to quantify structural organization in non crystalline materials. The key idea consists in the observation that, in a disordered system, where there is no ideal,…

Statistical Mechanics · Physics 2014-03-05 T. Aste , P. Butler , T. Di Matteo

In this paper we establish a general framework in which the verification of support theorems for generalized convex functions acting between an algebraic structure and an ordered algebraic structure is still possible. As for the domain…

Functional Analysis · Mathematics 2020-12-07 Andrzej Olbryś , Zsolt Páles

The Mitsch order is already known as a natural partial order for semigroups and rings. The purpose of this paper is to further study of the Mitsch order on modules by investigating basic properties via endomorphism rings. And so this study…

Rings and Algebras · Mathematics 2022-10-04 Tugba Pakel , Tugce Pekacar Calci , Sait Halicioglu , Abdullah Harmanci , Burcu Ungor

Linearizing two partial orders to maximize the number of adjacencies and minimize the number of breakpoints is APX-hard. This holds even if one of the two partial orders is already a linear order and the other is an interval order, or if…

Computational Complexity · Computer Science 2021-10-07 Rain Jiang , Kai Jiang , Minghui Jiang

In a dynamical system $(X,f)$, with $X$ a compact metric space, the chain components, the fundamental building blocks in the Conley decomposition of dynamics, have a natural partial order induced by the chain relation between points.…

Dynamical Systems · Mathematics 2026-03-31 P. Cintioli , A. Della Corte , M. Farotti

It is well known that pretameness implies the forcing theorem, and that pretameness is characterized by the preservation of the axioms of $\mathsf{ZF}^-$, that is $\mathsf{ZF}$ without the power set axiom, or equivalently, by the…

Logic · Mathematics 2017-10-31 Peter Holy , Regula Krapf , Philipp Schlicht

In the present paper a new concept of representability is introduced, which can be applied to not total and also to intransitive relations (semiorders in particular). This idea tries to represent the orderings in the simplest manner,…

General Topology · Mathematics 2024-01-25 Gianni Bosi , Asier Estevan , Magali Zuanon

In this paper we give an overview of partial orders on the space of probability distributions that carry a notion of information content and serve as a generalisation of the Bayesian order given in (Coecke and Martin, 2011). We investigate…

Computation and Language · Computer Science 2016-08-05 John van de Wetering

A `whole-part' theory is developed for a set of finite quantum systems $\Sigma (n)$ with variables in ${\mathbb Z}(n)$. The partial order `subsystem' is defined, by embedding various attributes of the system $\Sigma (m)$ (quantum states,…

Quantum Physics · Physics 2015-06-04 A. Vourdas

Methods for choosing from a set of options are often based on a strict partial order on these options, or on a set of such partial orders. I here provide a very general axiomatic characterisation for choice functions of this form. It…

Artificial Intelligence · Computer Science 2020-04-03 Jasper De Bock

This paper introduces the seed order, a partial order of the class of uniform countably complete ultrafilters that generalizes the Mitchell order on normal measures. Like that order, the seed order is consistently a linear ordering even…

Logic · Mathematics 2017-06-06 Gabriel Goldberg

We develop an abstract axiomatic theory of tie-breaking. A tie-breaking input consists of a finite set N of players, a weak order on N representing the standings to be refined, and an auxiliary information item drawn from a set on which the…

Computer Science and Game Theory · Computer Science 2026-05-25 Frank M. V. Feys

Let $(E,\xi)={\rm ind}(E_n, \xi_n)$ be an inductive limit of a sequence $(E_n, \xi_n)_{n\in N}$ of locally convex spaces and let every step $(E_n, \xi_n)$ be endowed with a partial order by a pointed convex (solid) cone $S_n$. In the…

Functional Analysis · Mathematics 2013-12-11 Jing-Hui Qiu

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…

Logic in Computer Science · Computer Science 2011-07-08 Emmanuel Beffara

By reformulating a learning process of a set system L as a game between Teacher (presenter of data) and Learner (updater of the abstract independent set), we define the order type dim L of L to be the order type of the game tree. The theory…

Combinatorics · Mathematics 2012-03-01 Yohji Akama

If we assume the axiom of choice, then every two cardinal numbers are comparable. In the absence of the axiom of choice, this is no longer so. For a few cardinalities related to an arbitrary infinite set, we will give all the possible…

Logic · Mathematics 2007-05-23 Lorenz Halbeisen , Saharon Shelah

Identifying causal relations from purely observational data typically requires additional assumptions on relations and/or noise. Most current methods restrict their analysis to datasets that are assumed to have pure linear or nonlinear…

Machine Learning · Computer Science 2024-10-10 Zhuopeng Xu , Yujie Li , Cheng Liu , Ning Gui

In the present paper we propose a new approach on `distributed systems': the processes are represented through total orders and the communications are characterized by means of biorders. The resulting distributed systems capture situations…

Logic · Mathematics 2023-06-30 Asier Estevan Muguerza