On the disjunctive Markov principle
type: Item
instance of: scholarly article
title: On the disjunctive Markov principle
zbMATH Open document ID: 1330.03091
author: Ulrich Kohlenbach
published in: Studia Logica
publication date: 2015-12-07T00:00:00Z
Mathematics Subject Classification ID: 03F65
Mathematics Subject Classification ID: 03F60
Mathematics Subject Classification ID: 03F55
zbMATH DE Number: 6516817
zbMATH Keywords: law of excluded middle
zbMATH Keywords: Markov principle
zbMATH Keywords: intuitionistic mathematics
zbMATH Keywords: realizability
MaRDI profile type: Publication
full work available at URL: s11225-015-9627-y
OpenAlex ID: W1199668674
cites work: Some principles weaker than Markov's principle
cites work: Markov's principle, Church's thesis and Lindelöf's theorem
cites work: Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
cites work: Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
DOI: 10.1007/S11225-015-9627-Y
description: scientific article; zbMATH DE number 6516817