An official website of the United States government
Abstract In recent years, computability theorists have extensively studied generically and coarsely computable sets. This study of approximate computability was originally motivated by asymptotic density problems in combinatorial group theory. We generalize the notions of generic and coarse computability of sets, introduced by Jockusch and Schupp, to arbitrary structures by defining generically and coarsely computable and computably enumerable structures. There are two directions in which these notions could potentially trivialize: either all structures could have a densely computable copy or only those having a computable (or computably enumerable) copy. We show that some particular classes of structures realize each of these extremal conditions, while other classes realize neither of them. To further explore these concepts, we introduce a graded family of elementarity conditions for substructures, in which we require that the dense sets under consideration be ‘strong’ substructures of the original structure. Here, again, for a given class, the notion could trivialize in the same two directions and we show that both are possible. For each class that we investigate, there is some natural number $$n$$ such that requiring $$\varSigma _{n}$$ elementarity of substructures is enough to trivialize the class of generically or densely computable structures, witnessing the essentially structural character of these notions.
more »
« less
Generically computable Abelian groups
Generically computable sets, as introduced by Jockusch and Schupp, have been of great interest in recent years. This idea of approximate computability was motivated by asymptotic density problems studied by Gromov in combinatorial group theory. More recently, we have defined notions of generically computable structures, and studied in particular equivalence structures and injection structures. A structure is said to be generically computable if there is a c.e. substructure defined on an asymptotically dense set, where the functions are computable and the relations are computably enumerable. It turned out that every equivalence structure has a generically computable copy, whereas there is a non-trivial characterization of the injection structures with generically computable copies. In this paper, we return to group theory, as we explore the generic computability of Abelian groups. We show that any Abelian p-group has a generically computable copy and that such a group has a Σ2-generically computably enumerable copy if and only it has a computable copy. We also give a partial characterization of the Σ1-generically computably enumerable Abelian p-groups. We also give a non-trivial characterization of the generically computable Abelian groups that are not p-groups.
more »
« less
- Award ID(s):
- 2152095
- PAR ID:
- 10427607
- Editor(s):
- Genova, D.; Kari, J.
- Date Published:
- Journal Name:
- Unconventional Computation and Natural Computation
- Volume:
- LNCS 14003
- ISSN:
- 03029743
- Page Range / eLocation ID:
- 32–45
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Brattka, Vasco; Greenberg, Noam; Kalimullin, Iskander; Soskova, Mariya (Ed.)Inspired by the study of generic and coarse computability in computability theory, we extend such investigation to the context of computable model theory. In this paper, we continue our study initiated in the previous paper (Journal of Logic and Computation 32 (2022) 581–607) , where we introduced and studied the notions of generically and coarsely computable structures and their generalizations. In this paper, we introduce the notions of generically and coarsely computable isomorphisms, and their weaker variants. We sometimes also require that the isomorphisms preserve the density structure. For example, for any coarsely computable structure A, there is a density preserving coarsely computable isomorphism from A to a computable structure. We demonstrate that each notion of generically and coarsely computable isomorphisms, density preserving or not, gives interesting insights into the structures we consider, focusing on various equivalence structures and injection structures.more » « less
-
Abstract We introduce a notion of algorithmic randomness for algebraic fields. We prove the existence of a continuum of algebraic extensions of that are random according to our definition. We show that there are noncomputable algebraic fields which are not random. We also partially characterize the index set, relative to an oracle, of the set of random algebraic fields computable relative to that oracle. In order to carry out this investigation of randomness for fields, we develop computability in the context of the infinite Galois theory (where the relevant Galois groups are uncountable), including definitions of computable and computably enumerable Galois groups and computability of Haar measure on the Galois groups.more » « less
-
We study notions of generic and coarse computability in the context of computable structure theory. Our notions are stratified by the Σβ hierarchy. We focus on linear orderings. We show that at the Σ1 level, all linear orderings have both generically and coarsely computable copies. This behavior changes abruptly at higher levels; we show that at the Σα+2 level for any α ∈ ωCK 1 the set of linear orderings with generically or coarsely computable copies is Σ1 1-complete and therefore maximally complicated. This development is new even in the general analysis of generic and coarse computability of countable structures. In the process of proving these results, we introduce new tools for understanding generically and coarsely computable structures. We are able to give a purely structural statement that is equivalent to having a generically computable copy and show that every relational structure with only finitely many relations has coarsely and generically computable copies at the lowest level of the hierarchy.more » « less
-
Effective Ultrapowers and Applications; Aspects of Computation and Automata Theory with ApplicationsGreenberg, Noam; Jain, Sanjay; Ng, Keng Meng; Schewe, Sven; Stephan, Frank; Wu, Guohua; Yang, Yue (Ed.)We give a systematic account of the current state of knowledge of an e↵ective analogue of the ultraproduct construction. We start with a product of a uniformly computable sequence of computable structures indexed by the set of natural numbers. The equality of elements and sat- isfaction of formulas are defined modulo a subset of the index set, which is cohesive, i.e., indecomposable with respect to computably enumerable sets. We present an analogue of Lo ́s’s theorem for e↵ective ultraprod- ucts and a number of results on definability and isomorphism types of the e↵ective ultrapowers of the field of rational numbers, when the com- plements of cohesive sets are computably enumerable. These e↵ective ultraproducts arose naturally in the study of the automorphisms of the lattice of computably enumerable vector spaces. Previously, a number of authors considered related constructions in the context of nonstandard models of fragments of arithmetic.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Conference Paper:
- https://doi.org/10.1007/978-3-031-34034-5_3
