most recent 30 from http://mathoverflow.net 2013-05-22T22:00:47Z http://mathoverflow.net/feeds/question/23366 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/23366/a-question-about-set-theory-and-frege-logic Garabed Gulbenkian 2010-05-03T19:36:14Z 2010-05-03T19:36:14Z

<p>Does there exist a very weak axiomatic theory of arithmetic-weaker than (but possibly a sub-theory of) Robinson's theory Q-which can be interpreted in the first order fragment of Frege logic? If so, what are the axioms of such a theory? By "the first order fragment of Frege logic" I mean the system discussed on pages 251-252 of the book "One Hundred years of Russell's Paradox" (edited by Godehard Link).</p>