Characterizations of semicomputable sets of real numbers

DOI10.1016/J.JLAP.2013.11.001MaRDI QIDQ478399zbMATH OpenOpenAlexFDO

Authors Bo Xie, Ming Quan Fu, Jeffery Zucker

Publication date 3 December 2014

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlap.2013.11.001

zbMATH Keywords

computability on realscomputability on topological algebrasEngeler's lemmasemicomputable sets of reals

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computation over the reals, computable analysis (03D78) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Abstract data types; algebraic specification (68Q65) Applications of universal algebra in computer science (08A70)

Recommendations

• Examples of semicomputable sets of real and complex numbers
• Notions of semicomputability in topological algebras over the reals
• scientific article; zbMATH DE number 1870419
• Computation by `While' programs on topological partial algebras
• scientific article; zbMATH DE number 1796999

Cites work

• scientific article; zbMATH DE number 42077 (Why is no real title available?)
• scientific article; zbMATH DE number 45836 (Why is no real title available?)
• scientific article; zbMATH DE number 51509 (Why is no real title available?)
• scientific article; zbMATH DE number 53085 (Why is no real title available?)
• scientific article; zbMATH DE number 3539473 (Why is no real title available?)
• scientific article; zbMATH DE number 1160037 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• scientific article; zbMATH DE number 1390022 (Why is no real title available?)
• scientific article; zbMATH DE number 3252196 (Why is no real title available?)
• scientific article; zbMATH DE number 3195517 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• scientific article; zbMATH DE number 3077999 (Why is no real title available?)
• Abstract versus concrete computation on metric partial algebras
• Computable total functions on metric algebras, universal algebraic specifications and dynamical systems
• Computation by `While' programs on topological partial algebras
• Concrete models of computation for topological algebras
• Continuity of operators on continuous and discrete time streams

Cited in

(6)

• scientific article; zbMATH DE number 2040958 (Why is no real title available?)
• scientific article; zbMATH DE number 3893184 (Why is no real title available?)
• scientific article; zbMATH DE number 1342214 (Why is no real title available?)
• Generalizing Computability Theory to Abstract Algebras
• Examples of semicomputable sets of real and complex numbers
• Notions of semicomputability in topological algebras over the reals

This page was built for publication: Characterizations of semicomputable sets of real numbers

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