On constructive mathematics

DOI10.1090/TRANS2/098/01MaRDI QIDQ5633979zbMATH OpenOpenAlexFDO

Authors A. A. jun. Markoff

Publication date 1971

Published in Five Papers on Logic and Foundations (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/trans2/098/01

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Other constructive mathematics (03F65)

Cited in

(5)

• An intuitionist reasoning upon formal intuitionist logic: logical analysis of Kolmogorov's 1932 paper
• Über das Markov-Prinzip
• Majorants for eigenvalues of Sturm-Liouville problems with potentials lying in balls of weighted spaces
• How to Choose New Axioms for Set Theory?
• A mechanized proof of the basic perturbation lemma

This page was built for publication: On constructive mathematics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5633979)