11 found
Order:
Disambiguations
Terrence Millar [12]Terrence S. Millar [5]
  1.  33
    Recursive categoricity and persistence.Terrence Millar - 1986 - Journal of Symbolic Logic 51 (2):430-434.
  2.  40
    Omitting types, type spectrums, and decidability.Terrence Millar - 1983 - Journal of Symbolic Logic 48 (1):171-181.
  3.  21
    Decidability and the number of countable models.Terrence Millar - 1984 - Annals of Pure and Applied Logic 27 (2):137-153.
  4.  48
    Meeting of the association for symbolic logic: Milwaukee, 1981.Jon Barwise, Robert Soare & Terrence Millar - 1983 - Journal of Symbolic Logic 48 (2):514-518.
  5.  38
    A complete, decidable theory with two decidable models.Terrence S. Millar - 1979 - Journal of Symbolic Logic 44 (3):307-312.
  6.  39
    Finite extensions and the number of countable models.Terrence Millar - 1989 - Journal of Symbolic Logic 54 (1):264-270.
  7.  40
    Model completions and omitting types.Terrence Millar - 1995 - Journal of Symbolic Logic 60 (2):654-672.
    Universal theories with model completions are characterized. A new omitting types theorem is proved. These two results are used to prove the existence of a universal ℵ 0 -categorical partial order with an interesting embedding property. Other aspects of these results also are considered.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  19
    Prime models and almost decidability.Terrence Millar - 1986 - Journal of Symbolic Logic 51 (2):412-420.
  9.  26
    Vaught's theorem recursively revisited.Terrence Millar - 1981 - Journal of Symbolic Logic 46 (2):397-411.
  10.  16
    (2 other versions)On the Number of Countable Models of a Countable Superstable Theory.Terrence Millar - 1982 - Journal of Symbolic Logic 47 (1):215-217.
  11.  24
    (1 other version)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.