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

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

Cited in

(5)

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

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)