We examine the maximum theorem by Berge from the
point of view of Bishop style constructive mathematics. We will show
an approximate version of the maximum theorem and the maximum
theorem for functions with sequentially locally at most one maximum.
@article{"International Journal of Engineering, Mathematical and Physical Sciences:50623", author = "Yasuhito Tanaka", title = "On the Maximum Theorem: A Constructive Analysis", abstract = "We examine the maximum theorem by Berge from the
point of view of Bishop style constructive mathematics. We will show
an approximate version of the maximum theorem and the maximum
theorem for functions with sequentially locally at most one maximum.", keywords = "Maximum theorem, Constructive mathematics, Sequentially
locally at most one maximum.", volume = "6", number = "8", pages = "839-3", }