12 found
Order:
  1.  22
    Intersections of algebraically closed fields.C. J. Ash & John W. Rosenthal - 1986 - Annals of Pure and Applied Logic 30 (2):103-119.
  2.  47
    A new proof of a theorem of Shelah.John W. Rosenthal - 1972 - Journal of Symbolic Logic 37 (1):133-134.
  3.  27
    Some highly undecidable lattices.Menachem Magidor, John W. Rosenthal, Mattiyahu Rubin & Gabriel Srour - 1990 - Annals of Pure and Applied Logic 46 (1):41-63.
  4.  37
    More undecidable lattices of Steinitz exchange systems.L. R. Galminas & John W. Rosenthal - 2002 - Journal of Symbolic Logic 67 (2):859-878.
    We show that the first order theory of the lattice $\mathscr{L}^{ (S) of finite dimensional closed subsets of any nontrivial infinite dimensional Steinitz Exhange System S has logical complexity at least that of first order number theory and that the first order theory of the lattice L(S ∞ ) of computably enumerable closed subsets of any nontrivial infinite dimensional computable Steinitz Exchange System S ∞ has logical complexity exactly that of first order number theory. Thus, for example, the lattice of (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  5.  17
    The expected complexity of analytic tableaux analyses in propositional calculus.J. M. Plotkin & John W. Rosenthal - 1982 - Notre Dame Journal of Formal Logic 23 (4):409-426.
  6.  10
    Models of ${\rm Th}(\langle \omega^\omega<\rangle)$.John W. Rosenthal - 1974 - Notre Dame Journal of Formal Logic 15 (1):122-132.
  7. Models of Th.John W. Rosenthal - 1974 - Notre Dame Journal of Formal Logic 15:122.
  8.  18
    (1 other version)On the Dimension Theory of N1‐Categorical Theories with the Nontrivial Strong Elementary Intersection Property.John W. Rosenthal - 1979 - Mathematical Logic Quarterly 25 (19‐24):359-362.
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  12
    Partial n1- homogeneity of the countable saturated model of an n1 -categorical theory.John W. Rosenthal - 1975 - Mathematical Logic Quarterly 21 (1):307-308.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  27
    Truth in all of certain well‐founded countable models arising in set theory.John W. Rosenthal - 1975 - Mathematical Logic Quarterly 21 (1):97-106.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  5
    Truth in All of Certain Well-Founded Countable Models Arising in Set Theory II.John W. Rosenthal - 1979 - Mathematical Logic Quarterly 25 (25-29):403-405.
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  18
    (1 other version)Michael Morley. Countable models of ℵ1-categorical theories. Israel journal of mathematics, vol. 5 , pp. 65–72. - J. T. Baldwin and A. H. Lachlan. On strongly minimal sets. The journal of symbolic logic, vol. 36 ,pp. 79–96. [REVIEW]John W. Rosenthal - 1975 - Journal of Symbolic Logic 40 (4):636-637.