Author:
Berger Josef,Svindland Gregor
Publisher
Springer International Publishing
Reference10 articles.
1. Berger, J., & Svindland, G. (2018). Brouwer’s fan theorem and convexity. Journal of Symbolic Logic, 83(4), 1363–1375.
2. Berger, J., & Svindland, G. (2016a). Convexity and constructive infima. Archive for Mathematical Logic, 55(7–8), 873–881. https://doi.org/10.1007/s00153-016-0502-y.
3. Berger, J., & Svindland, G. (2016b). A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov’s principle. Annals of Pure and Applied Logic, 167(11), 1161–1170. https://doi.org/10.1016/j.apal.2016.05.003.
4. Berger, J., & Svindland, G. (2018). Constructive convex programming. In K. Mainzer, P. Schuster, & H. Schwichtenberg (Eds.), Proof and computation: Digitalization in mathematics, computer science, and philosophy. Singapore: World Scientific Publishing Co. Pte. Ltd.
5. Berger, J., & Svindland, G. (2019) Convexity and unique minimum points. Archive for Mathematical Logic, 58(1–2), 27–34. https://doi.org/10.1007/s00153-018-0619-2.