Models of number theory
After introducing basic notation and results in chapter one, we begin studying the model theory of the Peano axioms, P, proper in the second chapter where we give a proof of Rabin's theorem :- that P is not axiomatizable by any consistent set of [sigma]n sentences for any n[epsilon][omega], and...
| Main Author: | |
|---|---|
| Published: |
Royal Holloway, University of London
1972
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.704204 |