16 results
Incompatible extensions of combinatorial functions
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 752-755
- Print publication:
- September 1983
-
- Article
- Export citation
Hyper-torre isols
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 1 / March 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-5
- Print publication:
- March 1981
-
- Article
- Export citation
Categoricity regained
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 3 / September 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 639-643
- Print publication:
- September 1976
-
- Article
- Export citation
The foundations of Suslin logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 567-575
- Print publication:
- December 1975
-
- Article
- Export citation
Hereditarily universal sets
-
- Journal:
- Journal of the Australian Mathematical Society. Series A. Pure Mathematics / Volume 19 / Issue 3 / May 1975
- Published online by Cambridge University Press:
- 09 April 2009, pp. 292-296
- Print publication:
- May 1975
-
- Article
-
- You have access
- Export citation
A Δ02 theory of regressive isols
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 3 / September 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 459-468
- Print publication:
- September 1974
-
- Article
- Export citation
A new proof that analytic sets are Ramsey
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 1 / March 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 163-165
- Print publication:
- March 1974
-
- Article
- Export citation
An algebraic difference between isols and cosimple isols
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 557-561
- Print publication:
- September 1972
-
- Article
- Export citation
Nonrecursive combinatorial functions
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 90-95
- Print publication:
- March 1972
-
- Article
- Export citation
The positive properties of isolic integers
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 114-132
- Print publication:
- March 1972
-
- Article
- Export citation
A coding theorem for isols
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 378-382
- Print publication:
- September 1970
-
- Article
- Export citation
Almost combinatorial Skolem functions
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 65-72
- Print publication:
- March 1970
-
- Article
- Export citation
A choice free theory of Dedekind cardinals1
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 70-84
- Print publication:
- 29 May 1969
-
- Article
- Export citation
John Myhill. Ω — Λ. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 97–104.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 619-620
- Print publication:
- January 1969
-
- Article
- Export citation
J. C. E. Dekker. The minimum of two regressive isols. Mathematische Zeitschrift, vol. 83 (1964), pp. 345–366.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 527
- Print publication:
- February 1968
-
- Article
- Export citation
J. Barback. Recursive functions and regressive isols. Mathematica Scandinavica, vol. 15 (1964), pp. 29–42.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 269-270
- Print publication:
- August 1967
-
- Article
- Export citation