Local computability and uncountable structures

MaRDI QIDQ3464658zbMATH OpenFDO

Authors Russell Miller

Publication date 27 January 2016

zbMATH Keywords

Turing computability

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Computation over the reals, computable analysis (03D78)

Recommendations

• Locally Computable Structures
• Lifting proofs from countable to uncountable mathematics
• scientific article; zbMATH DE number 1390023
• scientific article; zbMATH DE number 1344955
• Computability in uncountable binary trees

Cited in

(6)

• Essential localizations and infinitary exact completion
• Perfect Local Computability and Computable Simulations
• The locally definable property of the product control structure
• Locally Computable Structures
• Computability on Subsets of Locally Compact Spaces
• Complexity profiles and generic Muchnik reducibility

This page was built for publication: Local computability and uncountable structures

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