George C. Nelson

Publication Activity (10 Years)

Years Active: 1978-1998
Publications (10 Years): 0

Publications

George C. Nelson
Preservation Theorems Without Continuum Hypothesis. Stud Logica 60 (2) (1998)
George C. Nelson
Constructive Ultraproducts and Isomorphisms of Recursively Saturated Ultrapowers. Notre Dame J. Formal Log. 33 (3) (1992)
George C. Nelson
Other logics for (equational) theories. Algebraic Logic and Universal Algebra in Computer Science (1988)
George C. Nelson
Addendum to "Logic of Reduced Power Structures". J. Symb. Log. 48 (4) (1983)
George C. Nelson
Logic of Reduced Power Structures. J. Symb. Log. 48 (1) (1983)
J. Mead, George C. Nelson
Model Companions and k-Model Completeness for the Complete Theories of Boolean Algebras. J. Symb. Log. 45 (1) (1980)
George C. Nelson
. Notre Dame J. Formal Log. 19 (1) (1978)