Über das Markov-Prinzip

DOI10.1007/BF02007259zbMath0356.02028OpenAlexW2008241564MaRDI QIDQ4128796

Horst Luckhardt

Publication date: 1976

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137929

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55)

Related Items (4)

Provability in principle and controversial constructivistic principles ⋮ Some principles weaker than Markov's principle ⋮ On a weakening of Markov's Principle ⋮ Über das Markov-Prinzip II

Cites Work

• Extensional Gödel functional interpretation. A consistency proof of classical analysis
• On constructive mathematics

This page was built for publication: Über das Markov-Prinzip