John Mayberry published what he calls a Euclidean set theory in his book The Foundations of Mathematics in the Theory of Sets. It is ZF with the axiom of infinity replaced by an axiom saying "the whole is always larger than the part." In other words every set is asserted to be Dedekind finite: no proper subset of $S$ is in bijection with $S$.

The hereditarily finite sets of ZF form a model of this set theory. But, besides that this set theory obviously does not give a set which models arithmetic, it has no minimal definable infinite sequence of sets. Every definable infinite sequence of sets has definable subsequences that also contain (the interpretant of) 0 and are closed under (the interpretation of) successor.

Is there a known description of which theories of arithmetic are interpretable in this set theory? Of course I mean a description in more conventional terms than just saying "the ones interpretable here."

For that matter, this theory obviously implies the theory ZF-inf which is just ZF with the negation of the usual ZF axiom of infinity. See Non-standard models of finite set theory

But is there a known more specific relation between these set theories?

These questions seem not to be answered in the book, but left as open questions (p. 387).

  • 3
    $\begingroup$ So, the theory is contained in $\mathrm{ZF_{Fin}}$, and contains $\mathrm{ZF}-\mathrm{Inf}$? Well then, it is mutually interpretable with PA, so your question boils down to characterization of arithmetical theories interpretable in PA. $\endgroup$ – Emil Jeřábek Nov 13 '17 at 13:41
  • 2
    $\begingroup$ The theory "ZF without infinity" is ambiguous unless you specify how you are treating the axiom of foundation. For example, if you just use the usual $\in$-minimal element formulation, then you can't prove the $\in$-induction scheme, so many people like to have $\in$-induction added as a scheme. $\endgroup$ – Joel David Hamkins Nov 13 '17 at 13:43
  • 2
    $\begingroup$ @ColinMcLarty Yes, and yes. $\endgroup$ – Emil Jeřábek Nov 13 '17 at 14:46
  • 5
    $\begingroup$ (Also, I apparently have a time machine.) $\endgroup$ – Emil Jeřábek Nov 13 '17 at 14:51
  • 1
    $\begingroup$ It is worth pointing out the following paper of Pettigrew on a system related to Mayberry´s since besides its content, its list of references are useful: On Interpretations of Bounded Arithmetic and Bounded Set Theory, Notre Dame Journal of Formal Logic Volume 50, Number 2, 2009 $\endgroup$ – Ali Enayat Nov 14 '17 at 19:43

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.