Effective metric model theory

DOI10.1017/S0960129513000352zbMATH Open1362.03033OpenAlexW2130092000MaRDI QIDQ5740682FDOQ5740682

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

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Generic separable metric structures
• On d-finiteness in continuous structures
• A proof of completeness for continuous first-order logic
• Title not available (Why is that?)
• Computability of Fraïssé limits

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)