Decidable classes of number theoretic sentences
The thesis is in two parts. In the first, I give a method for constructing decidable classes of number theoretic sentences, and in the second, I apply this method in the construction of particular decidable classes. Let B0,B1,.. be an increasing sequence of finite Boolean algebras of subsets, of the...
| Main Author: | |
|---|---|
| Published: |
University of Leicester
1968
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.673941 |