The nonhomogeneity of the $E$-tree—answer to a problem raised by D. Jensen and A. Ehrenfeucht
HTML articles powered by AMS MathViewer
- by Didier Misercque PDF
- Proc. Amer. Math. Soc. 84 (1982), 573-575 Request permission
Abstract:
We prove that the ordered system of all ${C^1}EP’{\text {s}}$, under the order "admits embedding in" is not homogeneous. This answers a problem raised in [2].References
- D. Guaspari, Partially conservative extensions of arithmetic, Trans. Amer. Math. Soc. 254 (1979), 47–68. MR 539907, DOI 10.1090/S0002-9947-1979-0539907-7
- D. Jensen and A. Ehrenfeucht, Some problem in elementary arithmetics, Fund. Math. 92 (1976), no. 3, 223–245. MR 419212, DOI 10.4064/fm-92-3-223-245
- D. Misercque, Solutions de deux problèmes posés par H. Simmons, Bull. Soc. Math. Belg. Sér. B 33 (1981), no. 1, 65–72 (French). MR 620963
- H. Simmons, Existentially closed models of basic number theory, Logic Colloquium 76 (Oxford, 1976) Studies in Logic and Found. Math., Vol. 87, North-Holland, Amsterdam, 1977, pp. 325–369. MR 0485339
Additional Information
- © Copyright 1982 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 84 (1982), 573-575
- MSC: Primary 03F30
- DOI: https://doi.org/10.1090/S0002-9939-1982-0643752-7
- MathSciNet review: 643752