Effective metric model theory

DOI10.1017/S0960129513000352zbMath1362.03033OpenAlexW2130092000MaRDI QIDQ5740682

Masoud Pourmahdian, Farzad Didehvar, Nazanin R. Tavana

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)

Cites Work

• Generic separable metric structures
• Computability of Fraïssé limits
• On d-finiteness in continuous structures
• A proof of completeness for continuous first-order logic
• Unnamed Item
• Unnamed Item

This page was built for publication: Effective metric model theory