Recent content by Uke

Ok, since the topic has had 57 views and no replies, I will try to be more specific and share my concerns regarding the above representation. First, I use a_i, a_j as variables for elements of A in (2), and then a_0, a_1,...,a_n as elements themselves in (3). Second, b(a_i, a_j) looks...

Hello, I am looking for a formal way to represent an n-ary relation as a combination of binary relations and logical connectives. Suppose we have a set A, a set B = \{b: b\subseteq A^2\} of binary relations over A, and a set of logical connectives C = \{\neg, \wedge, \vee\}. We define a set...

Is there any arithmetic operation with three operands (or arguments), such that it cannot be calculated by a sequence of common binary and unary operations? This is not a homework problem or anything like that, I am just curious.