All Questions
Tagged with theories-of-arithmetic cardinal-arithmetic
1 question
-2
votes
1
answer
211
views
Can this theory interpret Peano arithmetic?
Logic: Bi-sorted first order logic with equality, first sort written in lower case range over natural numbers, the second sort written in upper case range over sets of naturals, "$=$" has no ...
- 11.3k