Robin J. Grayson

MaRDI QIDQ3322098zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 3916267 (Why is no real title available?)	1984-01-01	Paper
Forcing in intuitionistic systems without power-set Journal of Symbolic Logic	1983-01-01	Paper
On CLOSED SUBSETS OF THE INTUITIONISTIC REALS Mathematical Logic Quarterly	1983-01-01	Paper
scientific article; zbMATH DE number 3900745 (Why is no real title available?)	1983-01-01	Paper
scientific article; zbMATH DE number 3853067 (Why is no real title available?)	1982-01-01	Paper
Concepts of general topology in constructive mathematics and in sheaves, II Annals of Mathematical Logic	1982-01-01	Paper
A correction to “concepts of general topology in constructive mathematics and in sheaves” Annals of Mathematical Logic	1982-01-01	Paper
Constructive Well‐Orderings Mathematical Logic Quarterly	1982-01-01	Paper
Concepts of general topology in constructive mathematics and in sheaves Annals of Mathematical Logic	1981-01-01	Paper
scientific article; zbMATH DE number 3652330 (Why is no real title available?)	1979-01-01	Paper

Research outcomes over time

This page was built for person: Robin J. Grayson