Richard G. jun. Heck

Available identifiers

zbMath Open heck.richard-g-junMaRDI QIDQ766294

List of research outcomes

Publication	Date of Publication	Type
A Logic for Frege’s Theorem	2020-12-02	Paper
Formal Arithmetic Before Grundgesetze	2020-08-19	Paper
The Basic Laws of Cardinal Number	2020-08-19	Paper
The logical strength of compositional principles	2018-03-08	Paper
On The Consistency of Second-Order Contextual Definitions	2017-07-14	Paper
Is Frege's Definition of the Ancestral Adequate	2017-03-03	Paper
CONSISTENCY AND THE THEORY OF TRUTH	2015-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q5262380	2015-07-14	Paper
Predicative Frege Arithmetic and 'Everyday' Mathematics	2015-04-17	Paper
Frege's theorem	2014-10-07	Paper
Sir Michael Anthony Eardley Dummett, 1925-2011	2014-06-20	Paper
https://portal.mardi4nfdi.de/entity/Q3143381	2012-11-30	Paper
Ramified Frege arithmetic	2012-03-23	Paper
https://portal.mardi4nfdi.de/entity/Q3094842	2011-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q5443917	2008-02-22	Paper
Self-reference and the Languages of Arithmetic	2007-09-12	Paper
Truth and disquotation	2005-08-22	Paper
Cardinality, counting, and equinumerosity	2003-03-05	Paper
Syntactic reductionism	2001-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q4523476	2001-01-11	Paper
A Note on the Logic of (Higher-Order) Vagueness	2000-08-22	Paper
Grundgesetze der Arithmetic I §10	2000-06-07	Paper
https://portal.mardi4nfdi.de/entity/Q4266053	1999-10-04	Paper
https://portal.mardi4nfdi.de/entity/Q4258429	1999-09-13	Paper
https://portal.mardi4nfdi.de/entity/Q4227561	1999-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4227562	1999-05-18	Paper
Grundgesetze der Arithmetik I \S\S 29-32	1998-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q4208522	1998-09-02	Paper
https://portal.mardi4nfdi.de/entity/Q4208523	1998-09-02	Paper
Finitude and Hume's principle	1998-03-31	Paper
The Consistency of predicative fragments of frege’s grundgesetze der arithmetik	1997-11-20	Paper
The development of arithmetic in Frege'sGrundgesetze der arithmetik	1993-10-24	Paper

Research outcomes over time

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