81 reputation
2
bio website
location
age
visits member for 2 years
seen Oct 25 '12 at 5:58

May
27
awarded  Nice Question
Oct
16
comment Is every model of modular arithmetic either even or odd?
The integers satisfy E2 and O1, so they are both even and odd. Or neither even or odd if you prefer. Proving E1 and E2 are equivalent in MA would answer my question. They are not equivalent in PA. Both are independent of the axioms of MA.
Oct
15
awarded  Student
Oct
15
asked Is every model of modular arithmetic either even or odd?