D. Willard

activity

20112020

most citedA Detailed Examination of Methods for Unifying, Simplifying and Extending Several Results About Self-Justifying Logics

1 citations · 1 across the 6 of their papers we have counts for

collaborators

Showing 2016Show all

1 paper · 1 filter

math.LO2016

On How the Introducing of a New $θ$ Function Symbol Into Arithmetic's Formalism Is Germane to Devising Axiom Systems that Can Appreciate Fragments of Their Own Hilbert Consistency

Dan E. Willard

A new $θ$ function primitive is proposed that almost achieves the combined efficiency of the addition, multiplication and successor growth operations. This $θ$ function symbol enab…

On How the Introducing of a New θ Function Symbol Into Arithmetic's Formalism Is Germane to Devising Axiom Systems that Can Appreciate Fragments of Their Own Hilbert Consistency

On How the Introducing of a New $θ$ Function Symbol Into Arithmetic's Formalism Is Germane to Devising Axiom Systems that Can Appreciate Fragments of Their Own Hilbert Consistency