Other Versions
No versions found
(no proxy)My notes
Similar books and articles
Haim Gaifman. Models and types of Peano's arithmetic. Annals of mathematical logic, vol. 9, pp. 223–306. - Julia F. Knight. Omitting types in set theory and arithmetic. The journal of symbolic logic, vol. 41 , pp. 25–32. - Julia F. Knight. Hanf numbers for omitting types over particular theories. The journal of symbolic logic, vol. 41 , pp. 583–588. - Fred G. Abramson and Leo A. Harrington. Models without indiscernibles. The journal of symbolic logic, vol. 41 , vol. 43 , pp. 572–600. [REVIEW]J. P. Ressayre -1983 -Journal of Symbolic Logic 48 (2):484-485.
Double Jumps of Minimal Degrees.Carl G. Jockusch &David B. Posner -1978 -Journal of Symbolic Logic 43 (4):715 - 724.
Jumps of quasi-minimal enumeration degrees.Kevin McEvoy -1985 -Journal of Symbolic Logic 50 (3):839-848.
Double jumps of minimal degrees over cardinals.C. T. Chong -1982 -Journal of Symbolic Logic 47 (2):329-334.
David Marker. Degrees of models of true arithmetic. Proceedings of the Herbrand Symposium, Logic Colloquium '81, Proceedings of the Herbrand Symposium held in Marseilles, France, July 1981, edited by J. Stern, Studies in logic and the foundations of mathematics, vol. 107, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1982, pp. 233–242. - Julia Knight, Alistair H. Lachlan, and Robert I. Soare. Two theorems on degrees of models of true arithmetic. The journal of symbolic logic, vol. 49 , pp. 425–436. [REVIEW]Terrence S. Millar -1987 -Journal of Symbolic Logic 52 (2):562-563.
Jon Barwise and John Schlipf. On recursively saturated models of arithmetic. Model theory and algebra, A memorial tribute to Abraham Robinson, edited by D. H. Saracino and V. B. Weispfenning, Lecture notes in mathematics, vol. 498, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 42–55. - Patrick Cegielski, Kenneth McAloon, and George Wilmers. Modèles récursivement saturés de l'addition et de la multiplication des entiers naturels. Logic Colloquium '80, Papers intended for the European summer meeting of the Association for Symbolic Logic, edited by D. van Dalen, D. Lascar, and T. J. Smiley, Studies in logic and the foundations of mathematics, vol. 108, North-Holland Publishing Company, Amsterdam, New York, and London, 1982, pp. 57–68. - Julia F. Knight. Theories whose resplendent models are homogeneous. Israel journal of mathematics, vol. 42 , pp. 151–161. - Julia Knight and Mark Nadel. Expansions of models and Turing degrees. The journal of symbolic logic, vol. 47 , pp. 58. [REVIEW]J. -P. Ressayre -1987 -Journal of Symbolic Logic 52 (1):279-284.
Chris Ash, Julia Knight, Mark Manasse, and Theodore Slaman. Generic copies of countable structures. Annals of pure and applied logic, vol. 42 , pp. 195–205. [REVIEW]Ivan N. Soskov -1993 -Journal of Symbolic Logic 58 (3):1078-1079.
The existential theory of the poset of R.e. Degrees with a predicate for single jump reducibility.Steffen Lempp &Manuel Lerman -1992 -Journal of Symbolic Logic 57 (3):1120-1130.
Analytics
Added to PP
2009-01-28
Downloads
55 (#432,821)
6 months
13 (#258,983)
2009-01-28
Downloads
55 (#432,821)
6 months
13 (#258,983)
Historical graph of downloads
How can I increase my downloads?Citations of this work
Degree spectra and computable dimensions in algebraic structures.Denis R. Hirschfeldt,Bakhadyr Khoussainov,Richard A. Shore &Arkadii M. Slinko -2002 -Annals of Pure and Applied Logic 115 (1-3):71-113.
Generic copies of countable structures.Chris Ash,Julia Knight,Mark Manasse &Theodore Slaman -1989 -Annals of Pure and Applied Logic 42 (3):195-205.
Degrees of orderings not isomorphic to recursive linear orderings.Carl G. Jockusch &Robert I. Soare -1991 -Annals of Pure and Applied Logic 52 (1-2):39-64.
Computable isomorphisms, degree spectra of relations, and Scott families.Bakhadyr Khoussainov &Richard A. Shore -1998 -Annals of Pure and Applied Logic 93 (1-3):153-193.
Uncountable degree spectra.Valentina S. Harizanov -1991 -Annals of Pure and Applied Logic 54 (3):255-263.
References found in this work
Home |New books and articles |Bibliographies |Philosophy journals |About PhilPapers |API |Contact us |Code of conduct
PhilPapers logo byAndrea Andrews andMeghan Driscoll.
This site uses cookies and Google Analytics (see ourterms & conditions for details regarding the privacy implications).Use of this site is subject toterms & conditions.
All rights reserved byThe PhilPapers Foundation
Server: philpapers-web-54b44b69b7-k24bk uwo