scientific article; zbMATH DE number 3260753

MaRDI QIDQ5546767zbMATH OpenFDO

Authors A. S. Troelstra

Publication date 1967

Full work available at URL http://www.numdam.org/item?id=CM_1967__18_1-2_94_0, https://eudml.org/doc/88946

zbMATH Keywords

general logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cited in

(7)

• Explicit finitism
• Paradox and potential infinity
• Infinite computations and the generic finite
• Finite and infinite sets: definitions and intuitions
• Weyl and Intuitionistic Infinitesimals
• Intuitionistic notions of boundedness in ℕ
• scientific article; zbMATH DE number 3248787 (Why is no real title available?)

This page was built for publication:

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