Some principles weaker than Markov's principle
type: Item
instance of: scholarly article
title: Some principles weaker than Markov's principle
zbMATH Open document ID: 1354.03093
author: Makoto Fujiwara
author: Hajime Ishihara
author: Takako Nemoto
published in: Archive for Mathematical Logic
publication date: 2015-11-18T00:00:00Z
Mathematics Subject Classification ID: 03F65
Mathematics Subject Classification ID: 03F60
zbMATH DE Number: 6511004
zbMATH Keywords: Markov's principle
zbMATH Keywords: disjunctive Markov's principle
zbMATH Keywords: weak Markov's principle
zbMATH Keywords: independence of premiss schema
zbMATH Keywords: Church's thesis
MaRDI profile type: Publication
full work available at URL: s00153-015-0444-9
OpenAlex ID: W2163156470
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: On the disjunctive Markov principle
cites work: Über das Markov-Prinzip
cites work: Constructively Complete Finite Sets
cites work: Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
cites work: Constructivism in mathematics. An introduction. Volume II
DOI: 10.1007/S00153-015-0444-9
Recommended article: On a weakening of Markov's Principle
Recommended article: On Weak Markov's Principle
Recommended article: Markov's principle, Church's thesis and Lindelöf's theorem
Recommended article: Markov's rule revisited
Recommended article: Weak Pinsker property and Markov processes
Recommended article: On the disjunctive Markov principle
Recommended article: Markov's theorem revisited
Recommended article: Weak Markov operators
Recommended article: The Invariance Principle for Some Class of Markov Chains
description: scientific article; zbMATH DE number 6511004