Topological spaces over algorithmic representations of universal algebras

DOI10.1007/S10958-020-04692-6MaRDI QIDQ2199377zbMATHOpenAlexFDO

Authors N. Kh. Kasymov, I. A. Khodzhamuratova

Publication date 17 September 2020

Published in Journal of Mathematical Sciences (New York) (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10958-020-04692-6

zbMATH Keywords

negativitypositivitynumerationeffective spacealgorithmic representation of algebracomputable space

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Topological spaces and generalizations (closure spaces, etc.) (54A05) Topological fields, rings, etc. (topological aspects) (54H13)

Recommendations

• scientific article; zbMATH DE number 17702
• Products of effective topological spaces and a uniformly computable Tychonoff theorem
• Effective compacts over co-immune sets
• Effectivity on continuous functions in topological spaces
• Towards computability over effectively enumerable topological spaces

Cites work

• scientific article; zbMATH DE number 3113504 (Why is no real title available?)
• scientific article; zbMATH DE number 4216990 (Why is no real title available?)
• scientific article; zbMATH DE number 4085632 (Why is no real title available?)
• scientific article; zbMATH DE number 1390542 (Why is no real title available?)
• scientific article; zbMATH DE number 3110189 (Why is no real title available?)
• Algebras over negative equivalences
• Algebras with finitely approximable positively representable enrichments
• CONSTRUCTIVE ALGEBRAS I
• Enumerated algebras with uniformly recursive-separable classes
• Homomorphisms onto effectively separable algebras
• Homomorphisms onto negative algebras
• Positive algebras with congruences of finite index
• Positive algebras with countable congruence lattices
• Recursively separable enumerated algebras
• Separation axioms and partitions of the set of natural numbers

Cited in

(5)

• Effective compacts over co-immune sets
• Computability and universal determinability of negatively representable models
• Computably separable numbering of locally finitely separable algebras
• Structures of degrees of negative representations of linear orders
• scientific article; zbMATH DE number 1192208 (Why is no real title available?)

This page was built for publication: Topological spaces over algorithmic representations of universal algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2199377)