**
**

**Berger, Josef and Svindland, Gregor (2016): A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle. In: Annals of Pure and Applied Logic, Vol. 167, No. 11: pp. 1161-1170**

**Full text not available from 'Open Access LMU'.**

## Abstract

We prove constructively that every uniformly continuous convex function f : X -> R+ has positive infimum, where X is the convex hull of finitely many vectors. Using this result, we prove that a separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle are constructively equivalent. This is the first time that important theorems are classified into Markov's principle within constructive reverse mathematics. (C) 2016 Elsevier B.V. All rights reserved.

Item Type: | Journal article |
---|---|

Faculties: | Mathematics, Computer Science and Statistics > Mathematics |

Subjects: | 500 Science > 510 Mathematics |

ISSN: | 0168-0072 |

Language: | English |

Item ID: | 47320 |

Date Deposited: | 27. Apr 2018, 08:12 |

Last Modified: | 04. Nov 2020, 13:24 |