## Ash, Christopher John

Compute Distance To:
 Author ID: ash.christopher-john Published as: Ash, C. J.; Ash, Christopher J.
 Documents Indexed: 49 Publications since 1972, including 3 Books Biographic References: 3 Publications Co-Authors: 15 Co-Authors with 23 Joint Publications 577 Co-Co-Authors
all top 5

### Co-Authors

 25 single-authored 14 Knight, Julia F. 2 Brickhill, C. J. 2 Crossley, John Newsome 2 Nerode, Anil 2 Stillwell, John C. 2 Williams, Neil H. 1 Cholak, Peter A. 1 Downey, Rodney Graham 1 Goncharov, Sergeĭ Savost’yanovich 1 Jockusch, Carl G. jun. 1 Millar, Terrence S. 1 Pin, Jean-Eric 1 Remmel, Jeffrey B. 1 Rosenthal, John W. 1 Slaman, Theodore A.
all top 5

### Serials

 11 Annals of Pure and Applied Logic 6 Journal of the Australian Mathematical Society. Series A 4 The Journal of Symbolic Logic 3 Fundamenta Mathematicae 3 Mathematical Logic Quarterly (MLQ) 2 Algebra Universalis 2 Semigroup Forum 2 Transactions of the American Mathematical Society 1 Algebra and Logic 1 Journal of Algebra 1 Journal of the London Mathematical Society. Second Series 1 Proceedings of the American Mathematical Society 1 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 1 Information and Computation 1 International Journal of Algebra and Computation 1 Studies in Logic and the Foundations of Mathematics
all top 5

### Fields

 38 Mathematical logic and foundations (03-XX) 10 Group theory and generalizations (20-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 3 General algebraic systems (08-XX) 3 Computer science (68-XX) 2 Combinatorics (05-XX) 1 Field theory and polynomials (12-XX) 1 Nonassociative rings and algebras (17-XX) 1 Category theory; homological algebra (18-XX)

### Citations contained in zbMATH Open

42 Publications have been cited 760 times in 532 Documents Cited by Year
Computable structures and the hyperarithmetical hierarchy. Zbl 0960.03001
Ash, C. J.; Knight, J. F.
2000
Inevitable graphs: A proof of the type II conjecture and some related decision procedures. Zbl 0722.20039
Ash, C. J.
1991
Recursive labelling systems and stability of recursive structures in hyperarithmetical degrees. Zbl 0631.03017
Ash, C. J.
1986
Pairs of recursive structures. Zbl 0712.03020
Ash, C. J.; Knight, J. F.
1990
Pseudovarieties, generalized varieties and similarly described classes. Zbl 0548.08007
Ash, C. J.
1985
Categoricity in hyperarithmetical degrees. Zbl 0617.03016
Ash, C. J.
1987
Stability of recursive structures in arithmetical degrees. Zbl 0631.03016
Ash, C. J.
1986
Intrinsically recursive relations. Zbl 0467.03041
Ash, C. J.; Nerode, A.
1981
Finite semigroups with commuting idempotents. Zbl 0634.20032
Ash, C. J.
1987
Inverse semigroups on graphs. Zbl 0334.20043
Ash, C. J.; Hall, T. E.
1975
Labelling systems and r.e. structures. Zbl 0712.03021
Ash, C. J.
1990
Jumps of orderings. Zbl 0705.03022
Ash, C. J.; Jockusch, C. G. jun.; Knight, J. F.
1990
A construction for recursive linear orderings. Zbl 0742.03013
Ash, C. J.
1991
Inevitable sequences and a proof of the “type II conjecture”. Zbl 1039.20505
Ash, C. J.
1991
Decidable subspaces and recursively enumerable subspaces. Zbl 0585.03016
Ash, C. J.; Downey, R. G.
1984
Permitting, forcing, and copying of a given recursive relation. Zbl 0883.03029
Ash, C. J.; Cholak, P.; Knight, J. F.
1997
Ramified systems. Zbl 0819.03024
Ash, C. J.; Knight, J. F.
1994
Recursive structures and Ershov’s hierarchy. Zbl 0863.03018
Ash, Christopher J.; Knight, Julia F.
1996
On the varieties of languages associated with some varieties of finite monoids with commuting idempotents. Zbl 0699.68091
Ash, C. J.; Hall, T. E.; Pin, J. E.
1990
Possible degrees in recursive copies. II. Zbl 0877.03022
Ash, C. J.; Knight, J. F.
1997
Possible degrees in recursive copies. Zbl 0837.03036
Ash, C. J.; Knight, J. F.
1995
Intersections of algebraically closed fields. Zbl 0593.12011
Ash, C. J.; Rosenthal, John W.
1986
Relatively recursive expansions. Zbl 0809.03023
Ash, C. J.; Knight, J. F.
1992
Generalizations of enumeration reducibility using recursive infinitary propositional sentences. Zbl 0769.03025
Ash, C. J.
1992
Quasi-simple relations in copies of a given recursive structure. Zbl 0883.03030
Ash, C. J.; Knight, J. F.; Remmel, J. B.
1997
The $$\mathcal J$$-classes of an inverse semigroup. Zbl 0436.20041
Ash, C. J.
1979
Mixed systems. Zbl 0819.03023
Ash, C. J.; Knight, J. F.
1994
Finite idempotent-commuting semigroups. Zbl 0623.20048
Ash, C. J.
1987
What is mathematical logic? Zbl 0251.02001
Crossley, J. N.; Ash, C. J.; Brickhill, C. J.; Stillwell, J. C.; Williams, N. H.
1972
Embedding theorems using amalgamation bases. Zbl 0574.20054
Ash, C. J.
1980
On countable n-valued Post algebras. Zbl 0258.08002
Ash, C. J.
1972
Reduced powers and Boolean extensions. Zbl 0304.02021
Ash, C. J.
1975
Relatively recursive expansions. II. Zbl 0809.03024
Ash, C. J.; Knight, J. F.; Slaman, T. A.
1993
Isomorphic recursive structures. Zbl 0933.03042
Ash, C. J.
1998
Uniform labelled semilattices. Zbl 0426.06001
Ash, C. J.
1979
Functorial properties of algebraic closure and Skolemization. Zbl 0463.18001
Ash, C. J.; Nerode, A.
1981
A consequence of the axiom of choice. Zbl 0312.02053
Ash, C. J.
1975
Dense, uniform and densely subuniform chains. Zbl 0352.06001
Ash, C. J.
1977
The lattice of ideals of a semigroup. Zbl 0388.20049
Ash, C. J.
1980
A conjecture concerning the spectrum of a sentence. Zbl 0806.03005
Ash, Christopher J.
1994
A completeness theorem for certain classes of recursive infinitary formulas. Zbl 0810.03037
Ash, Christopher J.; Knight, Julia F.
1994
Persistently finite, persistently arithmetic theories. Zbl 0527.03014
Ash, C. J.; Millar, T. S.
1983
Computable structures and the hyperarithmetical hierarchy. Zbl 0960.03001
Ash, C. J.; Knight, J. F.
2000
Isomorphic recursive structures. Zbl 0933.03042
Ash, C. J.
1998
Permitting, forcing, and copying of a given recursive relation. Zbl 0883.03029
Ash, C. J.; Cholak, P.; Knight, J. F.
1997
Possible degrees in recursive copies. II. Zbl 0877.03022
Ash, C. J.; Knight, J. F.
1997
Quasi-simple relations in copies of a given recursive structure. Zbl 0883.03030
Ash, C. J.; Knight, J. F.; Remmel, J. B.
1997
Recursive structures and Ershov’s hierarchy. Zbl 0863.03018
Ash, Christopher J.; Knight, Julia F.
1996
Possible degrees in recursive copies. Zbl 0837.03036
Ash, C. J.; Knight, J. F.
1995
Ramified systems. Zbl 0819.03024
Ash, C. J.; Knight, J. F.
1994
Mixed systems. Zbl 0819.03023
Ash, C. J.; Knight, J. F.
1994
A conjecture concerning the spectrum of a sentence. Zbl 0806.03005
Ash, Christopher J.
1994
A completeness theorem for certain classes of recursive infinitary formulas. Zbl 0810.03037
Ash, Christopher J.; Knight, Julia F.
1994
Relatively recursive expansions. II. Zbl 0809.03024
Ash, C. J.; Knight, J. F.; Slaman, T. A.
1993
Relatively recursive expansions. Zbl 0809.03023
Ash, C. J.; Knight, J. F.
1992
Generalizations of enumeration reducibility using recursive infinitary propositional sentences. Zbl 0769.03025
Ash, C. J.
1992
Inevitable graphs: A proof of the type II conjecture and some related decision procedures. Zbl 0722.20039
Ash, C. J.
1991
A construction for recursive linear orderings. Zbl 0742.03013
Ash, C. J.
1991
Inevitable sequences and a proof of the “type II conjecture”. Zbl 1039.20505
Ash, C. J.
1991
Pairs of recursive structures. Zbl 0712.03020
Ash, C. J.; Knight, J. F.
1990
Labelling systems and r.e. structures. Zbl 0712.03021
Ash, C. J.
1990
Jumps of orderings. Zbl 0705.03022
Ash, C. J.; Jockusch, C. G. jun.; Knight, J. F.
1990
On the varieties of languages associated with some varieties of finite monoids with commuting idempotents. Zbl 0699.68091
Ash, C. J.; Hall, T. E.; Pin, J. E.
1990
Categoricity in hyperarithmetical degrees. Zbl 0617.03016
Ash, C. J.
1987
Finite semigroups with commuting idempotents. Zbl 0634.20032
Ash, C. J.
1987
Finite idempotent-commuting semigroups. Zbl 0623.20048
Ash, C. J.
1987
Recursive labelling systems and stability of recursive structures in hyperarithmetical degrees. Zbl 0631.03017
Ash, C. J.
1986
Stability of recursive structures in arithmetical degrees. Zbl 0631.03016
Ash, C. J.
1986
Intersections of algebraically closed fields. Zbl 0593.12011
Ash, C. J.; Rosenthal, John W.
1986
Pseudovarieties, generalized varieties and similarly described classes. Zbl 0548.08007
Ash, C. J.
1985
Decidable subspaces and recursively enumerable subspaces. Zbl 0585.03016
Ash, C. J.; Downey, R. G.
1984
Persistently finite, persistently arithmetic theories. Zbl 0527.03014
Ash, C. J.; Millar, T. S.
1983
Intrinsically recursive relations. Zbl 0467.03041
Ash, C. J.; Nerode, A.
1981
Functorial properties of algebraic closure and Skolemization. Zbl 0463.18001
Ash, C. J.; Nerode, A.
1981
Embedding theorems using amalgamation bases. Zbl 0574.20054
Ash, C. J.
1980
The lattice of ideals of a semigroup. Zbl 0388.20049
Ash, C. J.
1980
The $$\mathcal J$$-classes of an inverse semigroup. Zbl 0436.20041
Ash, C. J.
1979
Uniform labelled semilattices. Zbl 0426.06001
Ash, C. J.
1979
Dense, uniform and densely subuniform chains. Zbl 0352.06001
Ash, C. J.
1977
Inverse semigroups on graphs. Zbl 0334.20043
Ash, C. J.; Hall, T. E.
1975
Reduced powers and Boolean extensions. Zbl 0304.02021
Ash, C. J.
1975
A consequence of the axiom of choice. Zbl 0312.02053
Ash, C. J.
1975
What is mathematical logic? Zbl 0251.02001
Crossley, J. N.; Ash, C. J.; Brickhill, C. J.; Stillwell, J. C.; Williams, N. H.
1972
On countable n-valued Post algebras. Zbl 0258.08002
Ash, C. J.
1972
all top 5

### Cited by 342 Authors

 42 Bazhenov, Nikolaĭ Alekseevich 42 Knight, Julia F. 35 Melnikov, Alexander G. 31 Almeida, Jorge 29 Montalbán, Antonio 28 Harizanov, Valentina S. 26 Downey, Rodney Graham 26 Steinberg, Benjamin 18 Ash, Christopher John 17 Goncharov, Sergeĭ Savost’yanovich 17 Ng, KengMeng 14 Harrison-Trainor, Matthew 12 Greenberg, Noam 12 Hirschfeldt, Denis Roman 12 Kalimullin, Iskander Shagitovich 11 Auinger, Karl 10 Costa, José Carlos 10 Fokina, Ekaterina B. 10 Pin, Jean-Eric 9 Csima, Barbara F. 9 Rhodes, John Lewis 8 Lempp, Steffen 8 Miller, Russell G. 8 Remmel, Jeffrey B. 8 Shore, Richard Arnold 7 Calvert, Wesley 7 Delgado, Manuel 7 Henckell, Karsten 7 Kach, Asher M. 7 Lange, Karen 7 Marchuk, Margaret I. 7 Turetsky, Daniel D. 7 Zeitoun, Marc 6 Margolis, Stuart W. 6 McCoy, Charles F. D. 6 Morozov, Andreĭ Sergeevich 6 Mustafa, Manat 6 Weil, Pascal 5 Cenzer, Douglas 5 Jockusch, Carl G. jun. 5 Rossegger, Dino 5 Trotter, Peter G. 5 Yamaleev, Mars Mansurovich 4 Case, John 4 Chubb, Jennifer 4 Kudinov, Oleg Victorovich 4 Nogueira, Conceição 4 Quinn, Sara 4 San Mauro, Luca 4 Selivanov, Viktor L’vovich 4 Simpson, Stephen G. 4 Solomon, Reed 4 Sorbi, Andrea 4 Teixeira, Maria Lurdes 4 Vatev, Stefan V. 4 Wang, Zhengpan 3 Alaev, Pavel Evgenievich 3 Alvir, Rachael 3 Andrews, Uri 3 Badaev, Serikzhan A. 3 Blanchet-Sadri, Francine 3 Bogdanović, Stojan M. 3 Cholak, Peter A. 3 Ćirić, Miroslav D. 3 Costa, Alfredo 3 Crossley, John Newsome 3 Jain, Sanjay 3 Kaďourek, Jiří 3 Kalmurzaev, Birzhan S. 3 Khoussainov, Bakhadyr M. 3 McNicholl, Timothy H. 3 Milan, David P. 3 Petković, Tatjana 3 Safranski, C. 3 Shlapentokh, Alexandra 3 Silva, Pedro V. 3 Soare, Robert I. 3 Turetsky, Dan 3 Ventsov, Yu. G. 3 Westrick, Linda Brown 2 Alibabaei, Khadijeh 2 Anderson, Bernard A. 2 Arana, Andrew 2 Baleva, Vessela 2 Bélanger, David R. 2 Belyaev, Vissarion V. 2 Borlido, Célia 2 Brown, Tyler A. 2 Carson, Jacob 2 Chisholm, John Stephen Roy 2 Churchill, Genevieve 2 Conidis, Chris J. 2 Cordeiro, Edite 2 Dabkowska, Malgorzata A. 2 Dabkowski, Mieczysław K. 2 Donsig, Allan P. 2 Escada, Ana P. 2 Faĭzrahmanov, Marat Khaidarovich 2 Fernandes, Vítor H. 2 Flood, Stephen P. ...and 242 more Authors
all top 5

### Cited in 74 Serials

 68 The Journal of Symbolic Logic 62 Annals of Pure and Applied Logic 41 Algebra and Logic 37 International Journal of Algebra and Computation 27 Semigroup Forum 18 Transactions of the American Mathematical Society 18 Archive for Mathematical Logic 17 Journal of Algebra 16 Proceedings of the American Mathematical Society 16 The Bulletin of Symbolic Logic 15 Journal of Pure and Applied Algebra 12 Communications in Algebra 12 Journal of Mathematical Logic 10 Notre Dame Journal of Formal Logic 10 Siberian Mathematical Journal 10 Theoretical Computer Science 7 Advances in Mathematics 6 Algebra Universalis 5 Bulletin of the Australian Mathematical Society 5 Lobachevskii Journal of Mathematics 4 Studia Logica 4 Order 4 Journal of Mathematical Sciences (New York) 4 Mathematical Logic Quarterly (MLQ) 4 Doklady Mathematics 3 Ergodic Theory and Dynamical Systems 3 RAIRO. Informatique Théorique et Applications 3 RAIRO. Theoretical Informatics and Applications 3 Sibirskie Èlektronnye Matematicheskie Izvestiya 2 Discrete Mathematics 2 Israel Journal of Mathematics 2 Periodica Mathematica Hungarica 2 Fundamenta Mathematicae 2 Memoirs of the American Mathematical Society 2 Monatshefte für Mathematik 2 Information and Computation 2 Publicacions Matemàtiques 2 Godishnik na Sofiĭskiya Universitet “Sv. Kliment Okhridski”. Fakultet po Matematika i Informatika 2 Journal of Knot Theory and its Ramifications 2 Theory of Computing Systems 2 Portugaliae Mathematica. Nova Série 2 Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika 2 The Review of Symbolic Logic 2 Computability 1 International Journal of General Systems 1 Journal of Mathematical Analysis and Applications 1 Rocky Mountain Journal of Mathematics 1 Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica 1 Applied Mathematics and Computation 1 Archiv der Mathematik 1 Czechoslovak Mathematical Journal 1 Glasgow Mathematical Journal 1 Journal of Soviet Mathematics 1 Manuscripta Mathematica 1 Mathematica Slovaca 1 Mathematische Zeitschrift 1 Mathematika 1 Proceedings of the Edinburgh Mathematical Society. Series II 1 Topology and its Applications 1 European Journal of Combinatorics 1 Journal of the American Mathematical Society 1 MSCS. Mathematical Structures in Computer Science 1 Algebra Colloquium 1 Journal of the Australian Mathematical Society 1 Natural Computing 1 Journal of the Institute of Mathematics of Jussieu 1 Journal of Algebra and its Applications 1 Bulletin of the American Mathematical Society 1 Proceedings of the Steklov Institute of Mathematics 1 Logical Methods in Computer Science 1 Forum of Mathematics, Sigma 1 Journal of Discrete Mathematics 1 European Journal of Mathematics 1 Open Mathematics
all top 5

### Cited in 27 Fields

 348 Mathematical logic and foundations (03-XX) 169 Group theory and generalizations (20-XX) 56 Computer science (68-XX) 52 General algebraic systems (08-XX) 44 Order, lattices, ordered algebraic structures (06-XX) 16 Combinatorics (05-XX) 12 Category theory; homological algebra (18-XX) 9 Associative rings and algebras (16-XX) 9 General topology (54-XX) 7 Field theory and polynomials (12-XX) 7 Dynamical systems and ergodic theory (37-XX) 6 History and biography (01-XX) 6 Functional analysis (46-XX) 5 Topological groups, Lie groups (22-XX) 3 General and overarching topics; collections (00-XX) 3 Geometry (51-XX) 2 Commutative algebra (13-XX) 2 Nonassociative rings and algebras (17-XX) 2 Abstract harmonic analysis (43-XX) 2 Information and communication theory, circuits (94-XX) 1 Number theory (11-XX) 1 Real functions (26-XX) 1 Measure and integration (28-XX) 1 Operator theory (47-XX) 1 Probability theory and stochastic processes (60-XX) 1 Statistics (62-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)