scientific article; zbMATH DE number 3821727

MaRDI QIDQ3669409zbMATH OpenFDO

Authors Newcomb Greenleaf

Publication date 1981

zbMATH Keywords

cardinalityidentityimpredicativitypresetsliberal constructive set theory

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Metamathematics of constructive systems (03F50) Other constructive mathematics (03F65)

Cited in

(3)

• Direct spectra of Bishop spaces and their limits
• scientific article; zbMATH DE number 7561488 (Why is no real title available?)
• Towards a computation system based on set theory

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 Q3669409)