Nicolas D. Goodman

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
Modernizing the philosophy of mathematics Synthese	1992-06-28	Paper
Mathematics as natural science Journal of Symbolic Logic	1990-01-01	Paper
Topological models of epistemic set theory Annals of Pure and Applied Logic	1990-01-01	Paper
Intensions, Church's Thesis, and the formalization of mathematics Notre Dame Journal of Formal Logic	1987-01-01	Paper
Replacement and collection: a correction Journal of Symbolic Logic	1986-01-01	Paper
Flagg realizability in arithmetic Journal of Symbolic Logic	1986-01-01	Paper
scientific article; zbMATH DE number 3999912 (Why is no real title available?)	1985-01-01	Paper
Replacement and collection in intuitionistic set theory Journal of Symbolic Logic	1985-01-01	Paper
Epistemic arithmetic is a conservative extension of intuitionistic arithmetic Journal of Symbolic Logic	1984-01-01	Paper
The knowing mathematician Synthese	1984-01-01	Paper
Reflections on Bishop's philosophy of mathematics The Mathematical Intelligencer	1983-01-01	Paper
scientific article; zbMATH DE number 3731995 (Why is no real title available?)	1981-01-01	Paper
The Logic of Contradiction Mathematical Logic Quarterly	1981-01-01	Paper
Mathematics as an Objective Science The American Mathematical Monthly	1979-01-01	Paper
Relativized realizability in intuitionistic arithmetic of all finite types Journal of Symbolic Logic	1978-01-01	Paper
Choice Implies Excluded Middle Mathematical Logic Quarterly	1978-01-01	Paper
The nonconstructive content of sentences of arithmetic Journal of Symbolic Logic	1978-01-01	Paper
The theory of the Gödel functionals Journal of Symbolic Logic	1976-01-01	Paper
scientific article; zbMATH DE number 3427310 (Why is no real title available?)	1973-01-01	Paper
The faithfulness of the interpretation of arithmetic in the theory of constructions Journal of Symbolic Logic	1973-01-01	Paper
scientific article; zbMATH DE number 3390730 (Why is no real title available?)	1972-01-01	Paper
A simplification of combinatory logic Journal of Symbolic Logic	1972-01-01	Paper
scientific article; zbMATH DE number 3336772 (Why is no real title available?)	1970-01-01	Paper

Research outcomes over time

This page was built for person: Nicolas D. Goodman