Terrence Millar

Publication Activity (10 Years)

Years Active: 1979-1995
Publications (10 Years): 0

Publications

Terrence Millar
Model Completeness and Omitting Types. J. Symb. Log. 60 (2) (1995)
Terrence Millar
Finite Extensions and the Number of Countable Models. J. Symb. Log. 54 (1) (1989)
Terrence Millar
Prime Models and Almost Decidability. J. Symb. Log. 51 (2) (1986)
Terrence Millar
Recursive Categoricity and Persistence. J. Symb. Log. 51 (2) (1986)
Terrence Millar
Decidability and the number of countable models. Ann. Pure Appl. Log. 27 (2) (1984)
Jon Barwise, Robert I. Soare, Terrence Millar
Meeting of the Association for Symbolic Logic: Milwaukee, 1981. J. Symb. Log. 48 (2) (1983)
Terrence Millar
Omitting Types, Type Spectrums, and Decidability. J. Symb. Log. 48 (1) (1983)
Terrence Millar
Vaught's Theorem Recursively Revisited. J. Symb. Log. 46 (2) (1981)
Terrence Millar
A Complete, Decidable Theory with Two Decidable Models. J. Symb. Log. 44 (3) (1979)