scientific article; zbMATH DE number 3821727

zbMATH Open0519.03047MaRDI QIDQ3669409FDOQ3669409

Authors: Newcomb Greenleaf 

Publication date: 1981

Title of this publication is not available (Why is that?)

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
• Title not available (Why is that?)
• 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)