Informal theory of choice sequences

DOI10.1007/BF02297268MaRDI QIDQ2561210zbMATH OpenFDO

Authors A. S. Troelstra

Publication date 1969

Published in Studia Logica (Search for Journal in Brave)

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55)

Cites work

• scientific article; zbMATH DE number 3216177 (Why is no real title available?)
• scientific article; zbMATH DE number 3253161 (Why is no real title available?)
• scientific article; zbMATH DE number 3298807 (Why is no real title available?)
• scientific article; zbMATH DE number 3325546 (Why is no real title available?)
• scientific article; zbMATH DE number 3042659 (Why is no real title available?)
• Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis

Cited in

(4)

• scientific article; zbMATH DE number 3313428 (Why is no real title available?)
• A very strong intuitionistic theory
• Brouwer's constructivism
• Intuitionistic views on the nature of mathematics

This page was built for publication: Informal theory of choice sequences

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