Christopher J. Ash

发表

On the Varieties of Languages Associated with Some Varieties of Finite Monoids with Commuting Idempotents

Jean-Éric Pin, T. E. Hall, Christopher J. Ash, 1990, Inf. Comput..

A Conjecture Concerning the Spectrum of a Sentence

Christopher J. Ash, C. Ash, 1994, Math. Log. Q..

Sentences with finite models

Christopher J. Ash, 1975, Math. Log. Q..

Permitting, Forcing, and Copying of a Given Recursive Relation

Julia F. Knight, Peter Cholak, Christopher J. Ash, 1997, Ann. Pure Appl. Log..

On Countable Fractions from an Elementary Class

Christopher J. Ash, 1994, J. Symb. Log..

Mixed systems

Julia F. Knight, Christopher J. Ash, C. Ash, 1994, Journal of Symbolic Logic.

Pairs of Recursive Structures

Julia F. Knight, Christopher J. Ash, 1990, Ann. Pure Appl. Log..

Generic Copies of Countable Structures

Julia F. Knight, Theodore A. Slaman, Mark S. Manasse, 1989, Ann. Pure Appl. Log..

Possible Degrees in Recursive Copies II

Julia F. Knight, Christopher J. Ash, 1997, Ann. Pure Appl. Log..

A Construction for Recursive Linear Orderings

Christopher J. Ash, 1991, J. Symb. Log..

Possible Degrees in Recursive Copies

Julia F. Knight, Christopher J. Ash, 1995, Ann. Pure Appl. Log..

Intersections of algebraically closed fields

John W. Rosenthal, Christopher J. Ash, 1986, Ann. Pure Appl. Log..

Decidable subspaces and recursively enumerable subspaces

Rodney G. Downey, Christopher J. Ash, R. Downey, 1984, Journal of Symbolic Logic.

Quasi-Simple Relations in Copies of a Given Recursive Structure

Jeffrey B. Remmel, Julia F. Knight, Christopher J. Ash, 1997, Ann. Pure Appl. Log..

Inevitable Graphs: a Proof of the Type II Conjecture and some Related Decision Procedures

Christopher J. Ash, C. Ash, 1991, Int. J. Algebra Comput..

A Completeness Theorem for Certain Classes of Recursive Infinitary Formulas

Julia F. Knight, Christopher J. Ash, 1994, Math. Log. Q..

Stability of recursive structures in arithmetical degrees

Christopher J. Ash, 1986, Ann. Pure Appl. Log..

Labelling Systems and r.e. Structures

Christopher J. Ash, C. Ash, 1990, Ann. Pure Appl. Log..

Some Theories Associated with Algebraically Closed Fields

John W. Rosenthal, Christopher J. Ash, 1980, J. Symb. Log..

Categoricity in hyperarithmetical degrees

Christopher J. Ash, 1987, Ann. Pure Appl. Log..

Generalizations of Enumeration Reducibility Using Recursive Infinitary Propositional Sentences

Christopher J. Ash, 1992, Ann. Pure Appl. Log..

Jumps of orderings

Christopher J. Ash, C. G. Jockusch, Julia A. Knight, 1990 .

Pairs of computable structures

Christopher J. Ash, Julia A. Knight, 1990 .

Relatively recursive expansions II

Theodore A. Slaman, Christopher J. Ash, Julia A. Knight, 1992 .

Ramified Systems

Julia F. Knight, Christopher J. Ash, C. Ash, 1994, Ann. Pure Appl. Log..