Copyright

References

Hide All

[1976] Ehrenfeucht, Andrzej and Jensen, Don, Some problem in elementary arithmetics, Fundamenta Mathematical vol. 92 (1976), no. 3, pp. 223–245.

[2006a] Enayat, Ali, From bounded arithmetic to second order arithmetic via automorphisms, Logic in Tehran (Enayat, A., Kalantari, I., and Moniri, M., editors), Lecture Notes in Logic, vol. 26, Association for Symbolic Logic, 2006, pp. 87–113.

[2006b] Enayat, Ali, A standard model of peano arithmetic with no conservative elementary extension, 2006.

[2004] Engström, Fredrik, Expansions, omitting types, and standard systems. Doctoral thesis, Chalmers University of Technology, 2004.

[2008] Gitman, Victoria, Scott's problem for proper scott sets, this Journal, vol. 73 (2008), no. 3, pp. 845–860.

[1979] Guaspari, David, Partially conservative extensions of arithmetic, Transactions of the American Mathematical Society, vol. 254 (1979), pp. 47–68.

[2005] Hamkins, Joel and Gitman, Victoria, private communication, 2005.

[1991] Kaye, Richard, Models of Peano arithmetic, The Clarendon Press, Oxford University Press, New York, 1991, Oxford Science Publications.

[1984] Kirby, Laurence, Ultrafilters and types on models of arithmetic, Annals of Pure and Applied Logic, vol. 27 (1984), no. 3, pp. 215–252.

[1982] Knight, Julia and Nadel, Mark, Models of arithmetic and closed ideals, this Journal, vol. 47 (1982), no. 4, pp. 833–840 (1983).

[1962] Scott, Dana, Algebras of sets binumerable in complete extensions of arithmetic, Proceedings of symposia in pure mathematics, vol. V, American Mathematical Society, Providence, R.I., 1962, pp. 117–121.

[1999] Simpson, Stephen G., Subsystems of second order arithmetic, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1999.

[1984] Smoryński, Craig, Lectures on nonstandard models of arithmetic, Logic colloquium '82 (Florence, 1982), Studies in Logic and the Foundations of Mathematics, vol. 112, North-Holland, Amsterdam, 1984, pp. 1–70.

[1975] Wilmers, George, Some problems in set theory; non-standard models and their applications to model theory, Ph.D. thesis, University of Oxford, 1975.