Maximal theories

Annals of Pure and Applied Logic 33 (C):245-282 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(87)90083-2

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,290

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

On Maximal Theories.Zofia Adamowicz - 1991 - Journal of Symbolic Logic 56 (3):885-890.
Laforte, G., see Downey, R.T. Arai, Z. Chatzidakis & A. Pillay - 1998 - Annals of Pure and Applied Logic 95 (1-3):287.
Downey, R., f, iiForte, G. and Nies, A., Addendum to.R. Jin, I. Kalantari, L. Welch, B. Khoussainov, R. A. Shore, A. P. Pynko, P. Scowcroft, S. Shelah, J. Zapletal & J. B. Wells - 1999 - Annals of Pure and Applied Logic 98:299.
Downey, R., Gasarch, W. and Moses, M., The structure.S. D. Friedman, W. G. Handley, S. S. Wainer, A. Joyal, I. Moerdijk, L. Newelski, F. van Engelen & J. van Oosten - 1994 - Annals of Pure and Applied Logic 70 (1):287.
Downey, R., Fiiredi, Z., Jockusch Jr., CG and Ruhel, LA.W. I. Gasarch, A. C. Y. Lee, M. Groszek, T. Hummel, V. S. Harizanov, H. Ishihara, B. Khoussainov, A. Nerode, I. Kalantari & L. Welch - 1998 - Annals of Pure and Applied Logic 93:263.
A note on r-maximal subspaces of V[infinity].David R. Guichard - 1984 - Annals of Pure and Applied Logic 26 (1):1.
CUMMINGS, J., Possible behaviours for the Mitchell ordering DOUGHERTY, R., Critical points in an algebra of elementary embeddings DOWNEY, R. and STOB, M., Splitting theorems in recursion theory. [REVIEW]J. Vaananen - 1993 - Annals of Pure and Applied Logic 65:307.
Abrahamson, KA, Downey, RG and Fellows, MR.R. Banacb, H. Barendregt, J. A. Bergstra, J. V. Tucker, J. Brendle, I. Moerdijk, E. Palmgren, J. I. Seiferas, A. R. Meyer & J. Terlouw - 1995 - Annals of Pure and Applied Logic 73 (1):327.
BAILEY, C. and DOWNEY, R., Tabular degrees in (Y-recursion theory BALDWIN, JT and SHELAH, S., The primal framework II: Smoothness BERARDUCCI, A. and INTRIGILA, B., Combinatorial. [REVIEW]Sb Cooper, L. Harrington & Ah Lachlan - 1992 - Annals of Pure and Applied Logic 55:321.
BERGER, U., Total sets and objects in domain theory DOWNEY, R., Every recursive boolean algebra is isomorphic to one with incomplete atoms GONCHAREV, S., YAKHNIS, A. and YAKHNIS, V., Some effectively infinite classes of enumerations. [REVIEW]P. Lincoln, A. Scedrov & N. Shankar - 1993 - Annals of Pure and Applied Logic 60:291.

Analytics

Added to PP
2014-01-16

Downloads
36 (#618,808)

6 months
3 (#1,465,011)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Countable thin Π01 classes.Douglas Cenzer, Rodney Downey, Carl Jockusch & Richard A. Shore - 1993 - Annals of Pure and Applied Logic 59 (2):79-139.
Initial segments of the lattice of Π10 classes.Douglas Cenzer & Andre Nies - 2001 - Journal of Symbolic Logic 66 (4):1749-1765.
Sound, totally sound, and unsound recursive equivalence types.R. G. Downey - 1986 - Annals of Pure and Applied Logic 31:1-20.
The upward closure of a perfect thin class.Rod Downey, Noam Greenberg & Joseph S. Miller - 2008 - Annals of Pure and Applied Logic 156 (1):51-58.

View all 7 citations / Add more citations

References found in this work

Theory of Formal Systems.Raymond M. Smullyan - 1965 - Journal of Symbolic Logic 30 (1):88-90.
The infinite injury priority method.Robert I. Soare - 1976 - Journal of Symbolic Logic 41 (2):513-530.

View all 11 references / Add more references