Topological spaces over algorithmic representations of universal algebras

DOI10.1007/S10958-020-04692-6MaRDI QIDQ2199377zbMATH OpenOpenAlexFDO

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

algorithmic representation of algebracomputable spaceeffective spacenegativitynumerationpositivity

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

• 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
• 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?)
• 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)

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

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)