×

On representations as an infinite series of isols. (English) Zbl 0214.01703


MSC:

03D50 Recursive equivalence types of sets and structures, isols
PDFBibTeX XMLCite
Full Text: Numdam EuDML

References:

[1] J. Barback [1] Recursive functions and regressive isols , Math. Scand., vol. 15 (1964) 29-42. · Zbl 0148.24701 · doi:10.7146/math.scand.a-10724
[2] J. Barback [2] Two notes on regressive isols , Pacific J. Math., vol. 16 (1966), 407-420. · Zbl 0199.02503 · doi:10.2140/pjm.1966.16.407
[3] J. Barback [3] Double series of isols , Canad. J. Math., vol. 19 (1967), 1-15. · Zbl 0207.30802 · doi:10.4153/CJM-1967-001-x
[4] J. Barback [4] Regressive upper bounds , Rend. Sem. Mat. Univ. Padova, vol 39 (1967), 248-272. · Zbl 0159.01002
[5] J. Barback [5] On recursive sets and regressive isols , Michigan J. Math., vol. 15 (1968), 27-32. · Zbl 0155.01602 · doi:10.1307/mmj/1028999902
[6] J. Barback [6] Extensions to regressive isols , Math. Scand., to appear. · Zbl 0212.33002 · doi:10.7146/math.scand.a-10953
[7] J. Barback [7] Two notes on recursive functions and regressive isols , Trans. A.M.S., to appear. · Zbl 0148.24701 · doi:10.7146/math.scand.a-10724
[8] J.C.E. Dekker [8] Infinite series of isols , Proc. Symposia Pure Math., vol. 5 (1962), 77-96. · Zbl 0171.27001
[9] J.C.E. Dekker [9] The minimum of two regressive isols , Math. Z., vol. 83 (1964), 345-366. · Zbl 0122.01002 · doi:10.1007/BF01111167
[10] J.C.E. Dekker [10] Regressive isols, Sets, Models and Recursive Theory , North-Holland Pub. Co., (1967), 272-296. · Zbl 0155.34002
[11] J.C.E. Dekker And J. Myhill [11] Recursive equivalence types , Univ. Califiornia Publ. Math. (N.S.), vol. 3 (1960), 67-213. · Zbl 0249.02021
[12] E. Ellentuck [12] Review of Extensions to isols , by A. Nerode (see [14]), Math. Reviews, vol. 24 (1962), #A1215.
[13] J. Myhill [13] Recursive equivalence types and combinatorial functions , Proc. of the 1960 International Congress in Logic, Methodology and Philosophy of Science, Stanford, pp. 46-55; Stanford University Press, Stanford, Calif., (1962). · Zbl 0149.24605
[14] A. Nerode [14] Extensions to isols , Ann. of Math., vol. 73 (1961), 362-403. · Zbl 0101.01203 · doi:10.2307/1970338
[15] A. Nerode [15] Extensions to isolic integers , Ann. of Math., vol. 75 (1962), 419-448. · Zbl 0106.00801 · doi:10.2307/1970206
[16] A. Nerode [16] Diophatine correct non-standard models in the isols , Ann. of Math., vol. 84 (1966), 421-432. · Zbl 0158.25104 · doi:10.2307/1970455
[17] F.J. Sansone [17] Cambinatorial functions and regressive isols , Pacific J. Math., vol. 13 (1963), 703-707. · Zbl 0121.25502 · doi:10.2140/pjm.1963.13.703
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.