Abstract:The theory of numberings studies uniform computations for families of mathematical objects. In this area, computability-theoretic properties of at most countable families of sets are typically classified via the corresponding Rogers upper semilattices. In most cases, a Rogers semilattice cannot be a lattice. Working within the framework of Formal Concept Analysis, we develop two new approaches to the classification of families . Similarly to the classical theory of numberings, each of the approaches assigns to a family its own concept lattice. The first approach captures the cardinality of a family : if contains more than 2 elements, then the corresponding concept lattice FC1( ) is a modular lattice of height 3, such that the number of its atoms to the cardinality of . Our second approach gives a much richer environment. We prove that for any countable poset , there exists a family such that the induced concept lattice FC2 ( ) is isomorphic to the Dedekind-MacNeille completion of . We also establish connections with the class of enumerative lattices introduced by Hoyrup and Rojas in their studies of algorithmic randomness. We show that every lattice FC2 ( ) is anti-isomorphic to an enumerative lattice. In addition, every enumerative lattice is anti-isomorphic to a sublattice of the lattice FC2 ( ) for some family .

On computable numberings of families of Turing degrees

On Non-principal Arithmetical Numberings and Families

On Concept Lattices for Numberings

Degrees of relations on canonically ordered natural numbers and integers

Degree-Theoretic Aspects of Computably Enumerable Reals

A Family with a Single Minimal but Not Least Numbering

A Join Theorem for the Computably Enumerable Degrees

Turing degrees of isomorphism types of geometric objects

On A Conjecture of Lempp

Definable families of theories, related calculi and ranks

Degrees that are not degrees of categoricity

Degree spectra of unary relations on 〈ω,≤〉

Finite final segments of the d.c.e. Turing degrees

Computably enumerable equivalence relations via primitive recursive reductions

On Index Sets Of Some Properties Of Computable Algebras

TURING DEGREES AND THE ERSHOV HIERARCHY

Non-empty open intervals of computably enumerable sQ 1-degrees

Bounding Computably Enumerable Degrees in the Ershov Hierarchy

DNR and incomparable Turing degrees

Generically Computable Linear Orderings

Computably Enumerable Algebras, Their Expansions, and Isomorphisms