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 .

Counting of lattices containing up to four comparable reducible elements and having nullity up to three

Counting of lattices on up to three reducible elements

Counting Unimodular Lattices in $\R^{r,s}$

Total graph of a lattice

Simplifying modular lattices by removing doubly irreducible elements

On a lattice of relational spaces (reducts) for the order of integers

On Concept Lattices for Numberings

Countable Ordered Groups and Weihrauch Reducibility

Towards Strong Reverse Minkowski-type Inequalities for Lattices

The chromatic number of 4-dimensional lattices

Reduction of Quasi-Lattices to Lattices

Lattice Minors and Eulerian Posets

Lattice Path Matroids and Quotients

Partial orders induced by the smallest and greatest nullnorms on bounded lattices

The enumeration of independent sets on some lattices

Lattices Generated by Partial Injective Maps of Finite Sets.

Lower spaces of multiplicative lattices

Central limit theorems for lattice point counting on tessellated domains

Counting lattice points that appear as algebraic invariants of Cameron-Walker graphs

The ordered set of principal congruences of a countable lattice