On constructive mathematics

DOI10.1090/trans2/098/01zbMath0227.02016OpenAlexW4300622766MaRDI QIDQ5633979

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)

Related Items (5)

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

This page was built for publication: On constructive mathematics