Constructive order types, III

&
Archive for Mathematical Logic 9 (3-4):112-116 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf01973031

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,991

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

John N. Crossley and Kurt Schütte. Non-uniqueness at ω2 in Kleene's O. Archiv für mathematische Logik und Grundlagenforschung, vol. 9 , pp. 95–101. - Peter H. G. Aczel. Paths in Kleene's O. Archiv für mathematische Logik und Grundlagenforschung, vol. 10 , pp. 8–12. [REVIEW]Gustav B. Hensel - 1970 - Journal of Symbolic Logic 35 (2):336.
John N. Crossley. Recursive equivalence: a survey. Proceedings of the summer school in logic, Leeds, 1967, edited by M. H. Löb, Lecture notes in mathematics, no. 70, Springer-Verlag, Berlin, Heidelberg, and New York, 1968, pp. 241–251. - John N. Crossley. Recursive equivalence. The bulletin of the London Mathematical Society, vol. 2 , pp. 129–151. [REVIEW]Alfred B. Manaster - 1972 - Journal of Symbolic Logic 37 (2):406-407.
A problem in the theory of constructive order types.Robin O. Gandy & Robert I. Soare - 1970 - Journal of Symbolic Logic 35 (1):119-121.
Models with second order properties. III. Omitting types forL.Saharon Shelah - 1981 - Archive for Mathematical Logic 21 (1):1-11.
On the n-uniqueness of types in rosy theories.Byunghan Kim - 2016 - Archive for Mathematical Logic 55 (5-6):677-686.
Review: J. N. Crossley, C. J. Ash, C. J. Brickhill, J. C. Stillwell, N. H. Williams, What is Mathematical Logic? [REVIEW]William E. Gould - 1975 - Journal of Symbolic Logic 40 (2):241-241.
Review: John N. Crossley, Recursive equivalence: A survey; John N. Crossley, Recursive equivalence. [REVIEW]Alfred B. Manaster - 1972 - Journal of Symbolic Logic 37 (2):406-407.
J. N. Crossley, C. J. Ash, C. J. Brickhill, J. C. Still Well, and N. H. Williams. What is mathematical logic?Oxford University Press, London, Oxford, and New York, 1972, ix + 82 pp. [REVIEW]William E. Gould - 1975 - Journal of Symbolic Logic 40 (2):241.
Constructive order types.John N. Crossley - 1969 - London,: North-Holland Pub. Co..
J. N. Crossley and others, "what is mathematical logic?".José A. Robles - 1975 - Critica 7 (21):120.

Analytics

Added to PP
2020-12-03

Downloads
11 (#1,165,599)

6 months
10 (#309,337)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references