Skip to main content Accessibility help
×
Home

Axiomatizable theories with few axiomatizable extensions

  • D. A. Martin (a1) and M. B. Pour-El (a2)

Extract

In this paper we prove two theorems. They answer questions raised by Myhill in 1956. (We recall the well-known fact that Myhill's invention of the maximal set in 1956 [2] stemmed from his attempt to prove I below.)

I. There exists an axiomatizable, essentially undecidable theory in standard formalization such that all axiomatizable extensions of are finite extensions.

II. There exists an axiomatizable but undecidable theory in standard formalization such that

(a) has a consistent, complete, decidable extension ,

(b) If is an axiomatizable extension of then either

(i) is a finite extension of , or

(ii) is a finite extension of .

Copyright

References

Hide All
[1]Janiczak, A., Undecidability of some simple formalized theories, Fundamenta Mathematicae, vol. 40 (1953), pp. 131139.
[2]Myhill, J., Problem 9, this Journal, vol. 21 (1956).

Axiomatizable theories with few axiomatizable extensions

  • D. A. Martin (a1) and M. B. Pour-El (a2)

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed.