Effectively open real functions

DOI10.1016/j.jco.2006.05.002zbMath1126.03042MaRDI QIDQ864433

Martin Ziegler

Publication date: 8 February 2007

Published in: Journal of Complexity (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jco.2006.05.002

zbMATH Keywords

quantifier elimination; topology; open mapping theorem; recursion theory; computable analysis

Mathematics Subject Classification ID

54C10: Special maps on topological spaces (open, closed, perfect, etc.)

03F60: Constructive and recursive analysis

26E40: Constructive real analysis

03D45: Theory of numerations, effectively presented structures

03C10: Quantifier elimination, model completeness, and related topics