Richard G. jun. Heck

From MaRDI portal
Person:766294

Available identifiers

zbMath Open heck.richard-g-junMaRDI QIDQ766294

List of research outcomes





PublicationDate of PublicationType
A Logic for Frege’s Theorem2020-12-02Paper
Formal Arithmetic Before Grundgesetze2020-08-19Paper
The Basic Laws of Cardinal Number2020-08-19Paper
The logical strength of compositional principles2018-03-08Paper
On The Consistency of Second-Order Contextual Definitions2017-07-14Paper
Is Frege's Definition of the Ancestral Adequate2017-03-03Paper
CONSISTENCY AND THE THEORY OF TRUTH2015-10-20Paper
https://portal.mardi4nfdi.de/entity/Q52623802015-07-14Paper
Predicative Frege Arithmetic and 'Everyday' Mathematics2015-04-17Paper
Frege's theorem2014-10-07Paper
Sir Michael Anthony Eardley Dummett, 1925-20112014-06-20Paper
https://portal.mardi4nfdi.de/entity/Q31433812012-11-30Paper
Ramified Frege arithmetic2012-03-23Paper
https://portal.mardi4nfdi.de/entity/Q30948422011-10-27Paper
https://portal.mardi4nfdi.de/entity/Q54439172008-02-22Paper
Self-reference and the Languages of Arithmetic2007-09-12Paper
Truth and disquotation2005-08-22Paper
Cardinality, counting, and equinumerosity2003-03-05Paper
Syntactic reductionism2001-02-28Paper
https://portal.mardi4nfdi.de/entity/Q45234762001-01-11Paper
A Note on the Logic of (Higher-Order) Vagueness2000-08-22Paper
Grundgesetze der Arithmetic I §102000-06-07Paper
https://portal.mardi4nfdi.de/entity/Q42660531999-10-04Paper
https://portal.mardi4nfdi.de/entity/Q42584291999-09-13Paper
https://portal.mardi4nfdi.de/entity/Q42275611999-05-18Paper
https://portal.mardi4nfdi.de/entity/Q42275621999-05-18Paper
Grundgesetze der Arithmetik I \S\S 29-321998-10-27Paper
https://portal.mardi4nfdi.de/entity/Q42085221998-09-02Paper
https://portal.mardi4nfdi.de/entity/Q42085231998-09-02Paper
Finitude and Hume's principle1998-03-31Paper
The Consistency of predicative fragments of frege’s grundgesetze der arithmetik1997-11-20Paper
The development of arithmetic in Frege'sGrundgesetze der arithmetik1993-10-24Paper

Research outcomes over time

This page was built for person: Richard G. jun. Heck