相关论文: $\varphi$-contractibility and $\varphi$-Connes ame…
Complex reasoning problems are most clearly and easily specified using logical rules, but require recursive rules with aggregation such as count and sum for practical applications. Unfortunately, the meaning of such rules has been a…
This is a short survey of amenable equivalence relations.
This paper presents a taxonomy of explainability in Human-Agent Systems. We consider fundamental questions about the Why, Who, What, When and How of explainability. First, we define explainability, and its relationship to the related terms…
We introduce a variation on Barthe et al.'s higher-order logic in which formulas are interpreted as predicates over open rather than closed objects. This way, concepts which have an intrinsically functional nature, like continuity,…
There are several extensions of the classical Banach Fixed Point Theorem in technical literature. A branch of generalizations replaces usual contractivity by weaker but still effective assumptions. Our note follows this stream, presenting…
We establish a relative version of Gromov's Vanishing Theorem in the presence of amenable open covers with small multiplicity, extending a result of Li, L\"oh, and Moraschini. Our approach relies on Gromov's theory of multicomplexes.
Shapiro's notations for natural numbers, and the associated desideratum of acceptability - the property of a notation that all recursive functions are computable in it - is well-known in philosophy of computing. Computable structure theory,…
We extend classical Propositional Logic (PL) by adding a new primitive binary connective $\varphi|\psi$, intended to represent the "superposition" of sentences $\varphi$ and $\psi$, an operation motivated by the corresponding notion of…
The complexity of equivalence relations has received much attention in the recent literature. The main tool for such endeavour is the following reducibility: given equivalence relations $R$ and $S$ on natural numbers, $R$ is computably…
In this paper, the generalized Hyers--Ulam--Rassias stability of $(\sigma-\tau)$-derivations on normed algebras into Banach bimodules is established. We introduce the notion of approximate $(\sigma-\tau)$-contractibility and prove that a…
We show that it is possible to add $\kappa^+-$Cohen subsets to $\kappa$ with a Prikry forcing over $\kappa$. This answers a question from \cite{HayutBenhanouGitik}. A strengthening of non-Galvin property is introduced. It is shown to be…
In this paper we try to unify the frameworks of definitions of semantic security, indistinguishability and non-malleability by defining semantic security in comparison based framework. This facilitates the study of relations among these…
We show that the finite satisfiability problem for the unary negation fragment with arbitrary number of transitive relations is decidable and 2-ExpTime-complete. Our result actually holds for a more general setting in which one can require…
In this paper, we introduce and investigate the concepts of cyclically weakly amenable and point amenable. Then, we compare these concepts with the concepts of weakly amenable and cyclically amenable and find the relation between them. For…
The purpose of this article is to connect the notion of the amenability of a discrete group with a new form of structural Ramsey theory. The Ramsey theoretic reformulation of amenability constitutes a considerable weakening of the Folner…
We introduce and study a new notion of amenability called symmetric pseudo-amenability. We obtain some properties of symmetrically pseudo-amenable Banach algebras and with examples, we compare this type of amenability with some other types…
This paper introduces categories of assemblies which are closely connected to realizability interpretations and which are based on an important subcategory of the effective topos. There is a list of properties which characterize these…
Contracts are a well-established approach for describing and analyzing behavioral aspects of web service compositions. The theory of contracts comes equipped with a notion of compatibility between clients and servers that ensures that every…
Further extensions are given to the fixed point result (for implicit contractions) due to Altun and Simsek [Fixed Point Th. Appl., Volume 2010, Article ID 621469]. Some connections with related statements in the area due to Agarwal,…
The aim of the article is to provide a characterization of the Haagerup property for locally compact, second countable groups in terms of actions on $\sigma$-finite measure spaces. It is inspired by the very first definition of amenability,…