Computer Science Logic

DOI10.1007/b13224zbMath1116.03329OpenAlexW2623947920MaRDI QIDQ5292647

Margarita Korovina

Publication date: 21 June 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b13224

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Other infinitary logic (03C75) Theory of numerations, effectively presented structures (03D45) Logic on admissible sets (03C70)

Related Items (3)

Computable elements and functions in effectively enumerable topological spaces ⋮ On Σ‐definability without equality over the real numbers ⋮ Remarks on Σ–definability without the equality test over the Reals

This page was built for publication: Computer Science Logic