Hyperarithmetic numerals

DOI10.1007/978-3-031-64309-5_22MaRDI QIDQ7030899zbMATH OpenFDO

Authors Timothy H. McNicholl

Publication date 7 February 2025

Full work available at URL https://doi.org/10.1007/978-3-031-64309-5_22

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Continuous model theory, model theory of metric structures (03C66) Other infinitary logic (03C75) Theory of numerations, effectively presented structures (03D45) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Cites work

• A proof of completeness for continuous first-order logic
• Computable structures and the hyperarithmetical hierarchy
• Continuous first order logic and local stability
• Expressive power of infinitary \([0,1]\)-logics
• scientific article; zbMATH DE number 194101 (Why is no real title available?)
• Model theoretic forcing in analysis
• Model theory for metric structures
• On the complexity of the theory of a computably presented metric structure

This page was built for publication: Hyperarithmetic numerals

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