Automorphism Groups of Computably Enumerable Predicates

We study automorphism groups of two important predicates in computability theory: the predicate W_y and the graph of a universal partially computable function. It is shown that all automorphisms of the predicates in question are computable. The actions of the automorphism groups on some index sets are examined, and we establish a number of results on the structure of these. We also look into homomorphisms of the two predicates. In this case the situation changes: all homomorphisms of the universal function are computable, but in each Turing degree, homomorphisms of W_y exist.     

Determination of division algebras with 243 elements

Finite nonassociative division algebras (i.e., finite semifields) with 243 elements are completely classified. Nine Knuth orbits were found, two of which are new. All are primitive, and all but the twisted field planes are fractional dimensional.     

Adjacency on the order polytope with applications to the theory of fuzzy measures

In this paper we study the adjacency structure of the order polytope of a poset. For a given poset, we determine whether two vertices in the corresponding order polytope are adjacent. This is done through filters in the original poset. We also prove that checking adjacency between two vertices can be done in quadratic time on the number of elements of the poset. As particular cases of order polytopes, we recover the adjacency structure of the set of fuzzy measures and obtain it for the set of p-symmetric measures for a given indifference partition; moreover, we show that the set of p-symmetric measures can be seen as the order polytope of a quotient set of the poset leading to fuzzy measures. From this property, we obtain the diameter of the set of p-symmetric measures. Finally, considering the set of p-symmetric measures as the order polytope of a direct product of chains, we obtain some other properties of these measures, as bounds on the volume and the number of vertices on certain cases.     

Computable Solutions of Equations over Endomorphisms of Negative Numberings

We prove that a broad class of systems of equations have endomorphisms of negative numberings as solutions. Moreover, we prove that if the endomorphisms of a numbering uniformly solve this class of systems of equations and have the separability property then the numbering is negative.     

On Classifying Subsets of Natural Numbers by Their Computable Permutations

We introduce some alternative definitions of the concept of computable automorphism of a set of natural numbers. We study their relationships and investigate whether some classes of sets having isomorphic groups of automorphisms coincide with other classes of sets usual in computability. Finally, we show that the classification of sets by these groups of automorphisms is nontrivial.