scientific article; zbMATH DE number 3113504
From MaRDI portal
Publication:3227570
Cited in
(9)- Computably separable models
- Topological spaces over algorithmic representations of universal algebras
- Questions in algebra and mathematical logic. Scientific heritage of S. I. Adian
- Vladimir Andreevich Uspensky (27/11/1930–27/6/2018)
- Extremal numberings and fixed point theorems
- On two types of concept lattices in the theory of numberings
- Separable algorithmic representations of classical systems and their applications
- Finite logical specifications of effectively separable data models
- On cardinalities of Rogers semilattices for families in the Ershov hierarchy
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3227570)
