A ‘theory’ mechanism for a proof-verifier based on first-order set theory ? Eugenio G. Omodeo1 and Jacob T. Schwartz2 1 2 - T-schema - Document - PDFSEARCH.IO

First Page	Meta Content
	A ‘theory’ mechanism for a proof-verifier based on first-order set theory ? Eugenio G. Omodeo1 and Jacob T. Schwartz2 1 2 Add to Reading List Document Date: 2014-03-05 10:43:38 Open Document File Size: 241,95 KB Share Result on Facebook / Facility Courant Institute / University of New York / University of L’Aquila / / Organization U.S. Securities and Exchange Commission / University of New York / Italian National Research Council / Department of Computer Science / US Federal Reserve / University of L’Aquila / Courant Institute / / Person Laurent Schwartz / / Position guard / / ProgrammingLanguage L / / Technology dom / Proof-verification technology / / SocialTag Functions and mappings Function Axiom schema of replacement First-order logic Equivalence relation Model theory Μ operator Primitive recursive function Mathematics Mathematical logic

A ‘theory’ mechanism for a proof-verifier based on first-order set theory ? Eugenio G. Omodeo1 and Jacob T. Schwartz2 1 2Add to Reading List