Edit Profile (opens in new tab) Ash, Christopher John Compute Distance To: Compute 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 583 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) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 42 Publications have been cited 756 times in 529 Documents Cited by ▼ Year ▼ Computable structures and the hyperarithmetical hierarchy. Zbl 0960.03001Ash, C. J.; Knight, J. F. 233 2000 Inevitable graphs: A proof of the type II conjecture and some related decision procedures. Zbl 0722.20039Ash, C. J. 92 1991 Recursive labelling systems and stability of recursive structures in hyperarithmetical degrees. Zbl 0631.03017Ash, C. J. 61 1986 Pairs of recursive structures. Zbl 0712.03020Ash, C. J.; Knight, J. F. 40 1990 Pseudovarieties, generalized varieties and similarly described classes. Zbl 0548.08007Ash, C. J. 35 1985 Stability of recursive structures in arithmetical degrees. Zbl 0631.03016Ash, C. J. 31 1986 Categoricity in hyperarithmetical degrees. Zbl 0617.03016Ash, C. J. 31 1987 Intrinsically recursive relations. Zbl 0467.03041Ash, C. J.; Nerode, A. 31 1981 Finite semigroups with commuting idempotents. Zbl 0634.20032Ash, C. J. 25 1987 Inverse semigroups on graphs. Zbl 0334.20043Ash, C. J.; Hall, T. E. 21 1975 Labelling systems and r.e. structures. Zbl 0712.03021Ash, C. J. 16 1990 Jumps of orderings. Zbl 0705.03022Ash, C. J.; Jockusch, C. G. jun.; Knight, J. F. 13 1990 A construction for recursive linear orderings. Zbl 0742.03013Ash, C. J. 12 1991 Inevitable sequences and a proof of the “type II conjecture”. Zbl 1039.20505Ash, C. J. 11 1991 Decidable subspaces and recursively enumerable subspaces. Zbl 0585.03016Ash, C. J.; Downey, R. G. 10 1984 Permitting, forcing, and copying of a given recursive relation. Zbl 0883.03029Ash, C. J.; Cholak, P.; Knight, J. F. 9 1997 Ramified systems. Zbl 0819.03024Ash, C. J.; Knight, J. F. 8 1994 Recursive structures and Ershov’s hierarchy. Zbl 0863.03018Ash, Christopher J.; Knight, Julia F. 7 1996 Possible degrees in recursive copies. Zbl 0837.03036Ash, C. J.; Knight, J. F. 6 1995 Possible degrees in recursive copies. II. Zbl 0877.03022Ash, C. J.; Knight, J. F. 6 1997 Intersections of algebraically closed fields. Zbl 0593.12011Ash, C. J.; Rosenthal, John W. 6 1986 On the varieties of languages associated with some varieties of finite monoids with commuting idempotents. Zbl 0699.68091Ash, C. J.; Hall, T. E.; Pin, J. E. 6 1990 Relatively recursive expansions. Zbl 0809.03023Ash, C. J.; Knight, J. F. 5 1992 Quasi-simple relations in copies of a given recursive structure. Zbl 0883.03030Ash, C. J.; Knight, J. F.; Remmel, J. B. 4 1997 The \(\mathcal J\)-classes of an inverse semigroup. Zbl 0436.20041Ash, C. J. 4 1979 Generalizations of enumeration reducibility using recursive infinitary propositional sentences. Zbl 0769.03025Ash, C. J. 4 1992 Mixed systems. Zbl 0819.03023Ash, C. J.; Knight, J. F. 3 1994 Finite idempotent-commuting semigroups. Zbl 0623.20048Ash, C. J. 3 1987 What is mathematical logic? Zbl 0251.02001Crossley, J. N.; Ash, C. J.; Brickhill, C. J.; Stillwell, J. C.; Williams, N. H. 3 1972 Reduced powers and Boolean extensions. Zbl 0304.02021Ash, C. J. 2 1975 Relatively recursive expansions. II. Zbl 0809.03024Ash, C. J.; Knight, J. F.; Slaman, T. A. 2 1993 Embedding theorems using amalgamation bases. Zbl 0574.20054Ash, C. J. 2 1980 Uniform labelled semilattices. Zbl 0426.06001Ash, C. J. 2 1979 Functorial properties of algebraic closure and Skolemization. Zbl 0463.18001Ash, C. J.; Nerode, A. 2 1981 Isomorphic recursive structures. Zbl 0933.03042Ash, C. J. 2 1998 On countable n-valued Post algebras. Zbl 0258.08002Ash, C. J. 2 1972 A consequence of the axiom of choice. Zbl 0312.02053Ash, C. J. 1 1975 Dense, uniform and densely subuniform chains. Zbl 0352.06001Ash, C. J. 1 1977 A conjecture concerning the spectrum of a sentence. Zbl 0806.03005Ash, Christopher J. 1 1994 A completeness theorem for certain classes of recursive infinitary formulas. Zbl 0810.03037Ash, Christopher J.; Knight, Julia F. 1 1994 Persistently finite, persistently arithmetic theories. Zbl 0527.03014Ash, C. J.; Millar, T. S. 1 1983 The lattice of ideals of a semigroup. Zbl 0388.20049Ash, C. J. 1 1980 Computable structures and the hyperarithmetical hierarchy. Zbl 0960.03001Ash, C. J.; Knight, J. F. 233 2000 Isomorphic recursive structures. Zbl 0933.03042Ash, C. J. 2 1998 Permitting, forcing, and copying of a given recursive relation. Zbl 0883.03029Ash, C. J.; Cholak, P.; Knight, J. F. 9 1997 Possible degrees in recursive copies. II. Zbl 0877.03022Ash, C. J.; Knight, J. F. 6 1997 Quasi-simple relations in copies of a given recursive structure. Zbl 0883.03030Ash, C. J.; Knight, J. F.; Remmel, J. B. 4 1997 Recursive structures and Ershov’s hierarchy. Zbl 0863.03018Ash, Christopher J.; Knight, Julia F. 7 1996 Possible degrees in recursive copies. Zbl 0837.03036Ash, C. J.; Knight, J. F. 6 1995 Ramified systems. Zbl 0819.03024Ash, C. J.; Knight, J. F. 8 1994 Mixed systems. Zbl 0819.03023Ash, C. J.; Knight, J. F. 3 1994 A conjecture concerning the spectrum of a sentence. Zbl 0806.03005Ash, Christopher J. 1 1994 A completeness theorem for certain classes of recursive infinitary formulas. Zbl 0810.03037Ash, Christopher J.; Knight, Julia F. 1 1994 Relatively recursive expansions. II. Zbl 0809.03024Ash, C. J.; Knight, J. F.; Slaman, T. A. 2 1993 Relatively recursive expansions. Zbl 0809.03023Ash, C. J.; Knight, J. F. 5 1992 Generalizations of enumeration reducibility using recursive infinitary propositional sentences. Zbl 0769.03025Ash, C. J. 4 1992 Inevitable graphs: A proof of the type II conjecture and some related decision procedures. Zbl 0722.20039Ash, C. J. 92 1991 A construction for recursive linear orderings. Zbl 0742.03013Ash, C. J. 12 1991 Inevitable sequences and a proof of the “type II conjecture”. Zbl 1039.20505Ash, C. J. 11 1991 Pairs of recursive structures. Zbl 0712.03020Ash, C. J.; Knight, J. F. 40 1990 Labelling systems and r.e. structures. Zbl 0712.03021Ash, C. J. 16 1990 Jumps of orderings. Zbl 0705.03022Ash, C. J.; Jockusch, C. G. jun.; Knight, J. F. 13 1990 On the varieties of languages associated with some varieties of finite monoids with commuting idempotents. Zbl 0699.68091Ash, C. J.; Hall, T. E.; Pin, J. E. 6 1990 Categoricity in hyperarithmetical degrees. Zbl 0617.03016Ash, C. J. 31 1987 Finite semigroups with commuting idempotents. Zbl 0634.20032Ash, C. J. 25 1987 Finite idempotent-commuting semigroups. Zbl 0623.20048Ash, C. J. 3 1987 Recursive labelling systems and stability of recursive structures in hyperarithmetical degrees. Zbl 0631.03017Ash, C. J. 61 1986 Stability of recursive structures in arithmetical degrees. Zbl 0631.03016Ash, C. J. 31 1986 Intersections of algebraically closed fields. Zbl 0593.12011Ash, C. J.; Rosenthal, John W. 6 1986 Pseudovarieties, generalized varieties and similarly described classes. Zbl 0548.08007Ash, C. J. 35 1985 Decidable subspaces and recursively enumerable subspaces. Zbl 0585.03016Ash, C. J.; Downey, R. G. 10 1984 Persistently finite, persistently arithmetic theories. Zbl 0527.03014Ash, C. J.; Millar, T. S. 1 1983 Intrinsically recursive relations. Zbl 0467.03041Ash, C. J.; Nerode, A. 31 1981 Functorial properties of algebraic closure and Skolemization. Zbl 0463.18001Ash, C. J.; Nerode, A. 2 1981 Embedding theorems using amalgamation bases. Zbl 0574.20054Ash, C. J. 2 1980 The lattice of ideals of a semigroup. Zbl 0388.20049Ash, C. J. 1 1980 The \(\mathcal J\)-classes of an inverse semigroup. Zbl 0436.20041Ash, C. J. 4 1979 Uniform labelled semilattices. Zbl 0426.06001Ash, C. J. 2 1979 Dense, uniform and densely subuniform chains. Zbl 0352.06001Ash, C. J. 1 1977 Inverse semigroups on graphs. Zbl 0334.20043Ash, C. J.; Hall, T. E. 21 1975 Reduced powers and Boolean extensions. Zbl 0304.02021Ash, C. J. 2 1975 A consequence of the axiom of choice. Zbl 0312.02053Ash, C. J. 1 1975 What is mathematical logic? Zbl 0251.02001Crossley, J. N.; Ash, C. J.; Brickhill, C. J.; Stillwell, J. C.; Williams, N. H. 3 1972 On countable n-valued Post algebras. Zbl 0258.08002Ash, C. J. 2 1972 all cited Publications top 5 cited Publications all top 5 Cited by 336 Authors 42 Bazhenov, Nikolaĭ Alekseevich 42 Knight, Julia F. 37 Melnikov, Alexander G. 31 Almeida, Jorge 29 Montalbán, Antonio 28 Harizanov, Valentina S. 26 Downey, Rodney Graham 25 Steinberg, Benjamin 19 Ng, KengMeng 18 Ash, Christopher John 17 Goncharov, Sergeĭ Savost’yanovich 14 Harrison-Trainor, Matthew 12 Costa, José Carlos 12 Hirschfeldt, Denis Roman 12 Kalimullin, Iskander Shagitovich 11 Auinger, Karl 11 Greenberg, Noam 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 Zeitoun, Marc 6 Margolis, Stuart W. 6 McCoy, Charles F. D. 6 Morozov, Andreĭ Sergeevich 6 Mustafa, Manat 6 Turetsky, Daniel D. 6 Weil, Pascal 5 Cenzer, Douglas 5 Jockusch, Carl G. jun. 5 Rossegger, Dino 5 San Mauro, Luca 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 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 Blyth, Tom S. 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. ...and 236 more Authors all top 5 Cited in 74 Serials 68 The Journal of Symbolic Logic 61 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 Journal of Mathematical Logic 11 Communications in Algebra 10 Notre Dame Journal of Formal Logic 10 Siberian Mathematical Journal 10 Theoretical Computer Science 6 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 345 Mathematical logic and foundations (03-XX) 168 Group theory and generalizations (20-XX) 58 Computer science (68-XX) 52 General algebraic systems (08-XX) 44 Order, lattices, ordered algebraic structures (06-XX) 15 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) Citations by Year