Nicolas D. Goodman

Available identifiers

Publication	Date of Publication	Type
Modernizing the philosophy of mathematics	1992-06-28	Paper
Mathematics as natural science	1990-01-01	Paper
Topological models of epistemic set theory	1990-01-01	Paper
Intensions, Church's Thesis, and the formalization of mathematics	1987-01-01	Paper
Replacement and collection: a correction	1986-01-01	Paper
Flagg realizability in arithmetic	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4726244	1985-01-01	Paper
Replacement and collection in intuitionistic set theory	1985-01-01	Paper
Epistemic arithmetic is a conservative extension of intuitionistic arithmetic	1984-01-01	Paper
The knowing mathematician	1984-01-01	Paper
Reflections on Bishop's philosophy of mathematics	1983-01-01	Paper
The Logic of Contradiction	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3919666	1981-01-01	Paper
Mathematics as an Objective Science	1979-01-01	Paper
Relativized realizability in intuitionistic arithmetic of all finite types	1978-01-01	Paper
Choice Implies Excluded Middle	1978-01-01	Paper
The nonconstructive content of sentences of arithmetic	1978-01-01	Paper
The theory of the Gödel functionals	1976-01-01	Paper
The faithfulness of the interpretation of arithmetic in the theory of constructions	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3214892	1973-01-01	Paper
A simplification of combinatory logic	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5659516	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5613908	1970-01-01	Paper

This page was built for person: Nicolas D. Goodman