Topological spaces over algorithmic representations of universal algebras

DOI10.1007/S10958-020-04692-6zbMATH Open1484.03082OpenAlexW3005121215MaRDI QIDQ2199377FDOQ2199377

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebras over negative equivalences
• Homomorphisms onto effectively separable algebras
• Recursively separable enumerated algebras
• CONSTRUCTIVE ALGEBRAS I
• Algebras with finitely approximable positively representable enrichments
• Positive algebras with congruences of finite index
• Positive algebras with countable congruence lattices
• Homomorphisms onto negative algebras
• Separation axioms and partitions of the set of natural numbers
• Enumerated algebras with uniformly recursive-separable classes
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (4)

• Title not available (Why is that?)
• Effective compacts over co-immune sets
• Structures of degrees of negative representations of linear orders
• Computability and universal determinability of negatively representable models

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)