8 results
A characterization of the orders of regressive ω-groups
-
- Journal:
- Journal of the Australian Mathematical Society (1959) / Volume 14 / Issue 3 / November 1972
- Published online by Cambridge University Press:
- 09 April 2009, pp. 379-382
- Print publication:
- November 1972
-
- Article
-
- You have access
- Export citation
A. Nerode. Additive relations among recursive equivalence types. Mathematische Annalen, vol. 159 (1965), pp. 329–343.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 589-590
- Print publication:
- December 1970
-
- Article
- Export citation
Joseph Barback. A note on regressive isols. Notre Dame journal of formal logic, vol. 7 (1966), pp. 203–205.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 156
- Print publication:
- March 1970
-
- Article
- Export citation
Joseph Barback. Regressive upper bounds. Rendiconti del Seminario Matematico della Università di Padova, vol. 39 (1967), pp. 248–272.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 156-157
- Print publication:
- March 1970
-
- Article
- Export citation
Joseph Barback. Double series of isols. Canadian journal of mathematics, vol. 19 (1967), pp. 1–15.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 156
- Print publication:
- March 1970
-
- Article
- Export citation
Joseph Barback. An md-class of sets indexed by a regressive function. The journal of the Australian Mathematical Society, vol. 7 (1967), pp. 301–310.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 157
- Print publication:
- March 1970
-
- Article
- Export citation
Recursive equivalence types and groups1
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 13-20
- Print publication:
- 29 May 1969
-
- Article
- Export citation
Alfred B. Manaster. Higher-order indecomposable isols. Transactions of the American Mathematical Society, vol. 125 (1966), pp. 363–383.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 295-296
- Print publication:
- 23 July 1968
-
- Article
- Export citation