A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle

&
Annals of Pure and Applied Logic 167 (11):1161-1170 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2016.05.003

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The uniform boundedness theorem and a boundedness principle.Hajime Ishihara - 2012 - Annals of Pure and Applied Logic 163 (8):1057-1061.
Total sets and objects in domain theory.Ulrich Berger - 1993 - Annals of Pure and Applied Logic 60 (2):91-117.
Aligning the weak König lemma, the uniform continuity theorem, and Brouwer’s fan theorem.Josef Berger - 2012 - Annals of Pure and Applied Logic 163 (8):981-985.
A cut elimination theorem for stationary logic.M. E. Szabo - 1987 - Annals of Pure and Applied Logic 33 (C):181-193.
The Löwenheim-Skolem theorem for Gödel logic.J. P. Aguilera - 2023 - Annals of Pure and Applied Logic 174 (4):103235.
Tarski's theorem on intuitionistic logic, for polyhedra.Nick Bezhanishvili, Vincenzo Marra, Daniel McNeill & Andrea Pedrini - 2018 - Annals of Pure and Applied Logic 169 (5):373-391.
Mitchell's theorem revisited.Thomas Gilton & John Krueger - 2017 - Annals of Pure and Applied Logic 168 (5):922-1016.
A dichotomy theorem for regular types.Ehud Hrushovski & Saharon Shelah - 1989 - Annals of Pure and Applied Logic 45 (2):157-169.
A Lindström theorem for intuitionistic first-order logic.Grigory Olkhovikov, Guillermo Badia & Reihane Zoghifard - 2023 - Annals of Pure and Applied Logic 174 (10):103346.
A formalised theorem in the partition calculus.Lawrence C. Paulson - 2024 - Annals of Pure and Applied Logic 175 (1):103246.

Analytics

Added to PP
2016-06-30

Downloads
28 (#557,911)

6 months
5 (#837,573)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Constructive mathematics.Douglas Bridges - 2008 - Stanford Encyclopedia of Philosophy.
Convexity and unique minimum points.Josef Berger & Gregor Svindland - 2019 - Archive for Mathematical Logic 58 (1-2):27-34.
On Farkas' lemma and related propositions in BISH.Josef Berger & Gregor Svindland - 2022 - Annals of Pure and Applied Logic 173 (2):103059.

Add more citations

References found in this work

An omniscience principle, the König Lemma and the Hahn-Banach theorem.Hajime Ishihara - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (3):237-240.
Weak König's Lemma Implies Brouwer's Fan Theorem: A Direct Proof.Hajime Ishihara - 2006 - Notre Dame Journal of Formal Logic 47 (2):249-252.

Add more references