George C. Nelson

According to our database, George C. Nelson authored at least 7 papers between 1978 and 1998.

Collaborative distances:

• Dijkstra number of seven.
• Erdős number of seven.

1998

Preservation Theorems Without Continuum Hypothesis.

George C. Nelson

Stud Logica, 1998

1992

Constructive Ultraproducts and Isomorphisms of Recursively Saturated Ultrapowers.

George C. Nelson

Notre Dame J. Formal Log., 1992

1988

Other logics for (equational) theories.

George C. Nelson

Proceedings of the Algebraic Logic and Universal Algebra in Computer Science, Conference, 1988

1983

Addendum to "Logic of Reduced Power Structures".

George C. Nelson

J. Symb. Log., 1983

Logic of Reduced Power Structures.

George C. Nelson

J. Symb. Log., 1983

1980

Model Companions and k-Model Completeness for the Complete Theories of Boolean Algebras.

J. Mead, George C. Nelson

J. Symb. Log., 1980

1978

Isomorphism types of the hyperarithmetic sets H_a.

George C. Nelson

Notre Dame J. Formal Log., 1978