\(\Sigma\)-definability in hereditarily finite superstructures and computable analysis

DOI10.1134/S0037446618050026MaRDI QIDQ1734964

S. A. Aleksandrova

Publication date: 27 March 2019

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

admissible setcomputabilitycomputable analysis\(\Sigma\)-definabilityhereditarily finite superstructure

Mathematics Subject Classification ID

Model theory (03Cxx)

Cites Work

• Generalized computability on real functions
• Σ-programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: \(\Sigma\)-definability in hereditarily finite superstructures and computable analysis