The Strength of Nonstandard Methods in Arithmetic

C. Ward Henson, Matt Kaufmann, H. Jerome Keisler. The Strength of Nonstandard Methods in Arithmetic. Journal of Symbolic Logic, 49(4):1039-1058, 1984.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.