Generalized effective completeness for continuous logic

DOI10.4115/jla.2023.15.4arXiv2202.11151OpenAlexW4387006460MaRDI QIDQ6091635

No author found.

Publication date: 27 November 2023

Published in: Journal of Logic and Analysis (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2202.11151

zbMATH Keywords

continuous logicmetric structureseffective completenesscomputable presentations

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Computation over the reals, computable analysis (03D78)

Cites Work

• Unnamed Item
• Unnamed Item
• Metric structures and probabilistic computation
• Effectiveness in RPL, with applications to continuous logic
• Continuous first order logic and local stability
• Foundations of recursive model theory
• Degrees of and lowness for isometric isomorphism
• A proof of completeness for continuous first-order logic
• Computably Isometric Spaces
• ON THE COMPLEXITY OF CLASSIFYING LEBESGUE SPACES

This page was built for publication: Generalized effective completeness for continuous logic