Effective metric model theory

DOI10.1017/S0960129513000352MaRDI QIDQ5740682zbMATH OpenOpenAlexFDO

Authors Masoud Pourmahdian, N. R. Tavana, F. Didehvar

Publication date 27 July 2016

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129513000352

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Recommendations

• Metric structures and probabilistic computation
• Effectiveness in RPL, with applications to continuous logic
• scientific article; zbMATH DE number 1302870
• Uniform procedures in uncountable structures
• Effective properties of sets and functions in metric spaces with computability structure

Cites work

• A proof of completeness for continuous first-order logic
• Computability of Fraïssé limits
• Computable analysis. An introduction
• Generic separable metric structures
• scientific article; zbMATH DE number 1302869 (Why is no real title available?)
• On d-finiteness in continuous structures

Cited in

(5)

• Decision procedures for the conditions true in certain metric structures
• Canonical effective subalgebras of classical algebras as constructive metric completions
• Canonical effective subalgebras of classical algebras as constructive metric completions
• Uniform procedures in uncountable structures
• Metric structures and probabilistic computation

This page was built for publication: Effective metric model theory

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