Edit Profile Knight, Julia F. Compute Distance To: Compute Author ID: knight.julia-f Published as: Knight, Julia F.; Knight, J. F.; Knight, Julia; Knight, J. Documents Indexed: 116 Publications since 1973, including 1 Book all top 5 Co-Authors 32 single-authored 14 Ash, Christopher John 13 Harizanov, Valentina S. 12 Goncharov, Sergeĭ Savost’yanovich 9 Lange, Karen 8 Calvert, Wesley 8 McCoy, Charles F. D. 7 D’Aquino, Paola 6 Fokina, Ekaterina B. 4 Downey, Rodney Graham 4 Melnikov, Alexander G. 4 Miller, Sara 4 Morozov, Andreĭ Sergeevich 4 Quinn, Sara 3 Andrews, Uri 3 Carson, Jacob 3 Igusa, Gregory 3 Johnson, Jesse Werth 3 Millar, Jessica 3 Safranski, C. 3 Wallbaum, John 2 Brattka, Vasco 2 Chisholm, John Stephen Roy 2 Friedman, Sy-David 2 Greenberg, Noam 2 Jockusch, Carl G. jun. 2 Kudinov, Oleg Victorovich 2 Lachlan, Alistair H. 2 Lempp, Steffen 2 Miller, Russell G. 2 Montalbán, Antonio 2 Nadel, Mark E. 2 Ocasio, Victor A. 2 Schweber, Noah David 2 Slaman, Theodore A. 2 Soare, Robert I. 2 Soskova, Alexandra A. 2 Starchenko, Sergei 2 Turetsky, Daniel D. 2 VanDenDriessche, S. 2 Vatev, Stefan V. 1 Alvir, Rachael 1 Ash, Chris 1 Cholak, Peter A. 1 Crossley, John Newsome 1 Csc, Charles Mccoy 1 Csima, Barbara F. 1 Cummins, Desmond F. 1 Dolich, Alf 1 Dushenin, D. I. 1 Frolov, Andrey N. 1 Harrison-Trainor, Matthew 1 Hirschfeldt, Denis Roman 1 Kach, Asher M. 1 Keisler, Howard Jerome 1 Kuhlmann, Salma 1 Manasse, Mark S. 1 Marker, David E. 1 Passino, Kevin M. 1 Pillay, Anand 1 Puzarenko, Vadim G. 1 Remmel, Jeffrey B. 1 Romina, A. V. 1 Saraph, Vikram 1 Shore, Richard A. 1 Solomon, Reed 1 Souldatos, Ioannis A. 1 Steinhorn, Charles I. 1 Stob, Michael 1 Tusupov, Dzhamalbek Aliaskarovich 1 Vanden Boom, Michael 1 Woodrow, Robert E. all top 5 Serials 42 The Journal of Symbolic Logic 10 Annals of Pure and Applied Logic 10 Archive for Mathematical Logic 6 Fundamenta Mathematicae 4 Algebra i Logika 3 Algebra and Logic 3 Transactions of the American Mathematical Society 3 The Bulletin of Symbolic Logic 2 Proceedings of the American Mathematical Society 2 Journal of Logic and Computation 2 Mathematical Logic Quarterly (MLQ) 2 Computability 1 International Journal of Control 1 Israel Journal of Mathematics 1 The Australian Mathematical Society Gazette 1 Notre Dame Journal of Formal Logic 1 Proceedings of the London Mathematical Society. Third Series 1 Sibirskiĭ Matematicheskiĭ Zhurnal 1 Selecta Mathematica. New Series 1 Journal of the European Mathematical Society (JEMS) 1 Journal of Mathematical Logic 1 Lobachevskii Journal of Mathematics 1 Quantitative Finance 1 Oberwolfach Reports 1 Studies in Logic and the Foundations of Mathematics all top 5 Fields 112 Mathematical logic and foundations (03-XX) 5 Field theory and polynomials (12-XX) 5 Group theory and generalizations (20-XX) 3 History and biography (01-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 2 General and overarching topics; collections (00-XX) 1 Combinatorics (05-XX) 1 General algebraic systems (08-XX) 1 Number theory (11-XX) 1 Numerical analysis (65-XX) 1 Computer science (68-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 90 Publications have been cited 936 times in 513 Documents Cited by ▼ Year ▼ Computable structures and the hyperarithmetical hierarchy. Zbl 0960.03001Ash, C. J.; Knight, J. F. 222 2000 Definable sets in ordered structures. II. Zbl 0662.03024Knight, Julia F.; Pillay, Anand; Steinhorn, Charles 69 1986 Generic copies of countable structures. Zbl 0678.03012Ash, Chris; Knight, Julia; Manasse, Mark; Slaman, Theodore 63 1989 Degrees coded in jumps of orderings. Zbl 0633.03038Knight, Julia F. 54 1986 Enumerations in computable structure theory. Zbl 1081.03033Goncharov, Sergey; Harizanov, Valentina; Knight, Julia; McCoy, Charles; Miller, Russell; Solomon, Reed 38 2005 Pairs of recursive structures. Zbl 0712.03020Ash, C. J.; Knight, J. F. 37 1990 Computable structure and non-structure theorems. Zbl 1034.03044Goncharov, S. S.; Knight, Julia F. 31 2002 Computable Boolean algebras. Zbl 0974.03041Knight, Julia F.; Stob, Michael 22 2000 Index sets of computable structures. Zbl 1164.03325Calvert, W.; Harizanov, V. S.; Knight, J. F.; Miller, S. 20 2006 Comparing classes of finite structures. Zbl 1097.03026Calvert, Wesley; Cummins, Desmond; Knight, Julia F.; Miller, Sara 19 2004 Turing computable embeddings. Zbl 1123.03026Knight, Julia F.; Miller, Sara; Vanden Boom, M. 17 2007 Isomorphism relations on computable structures. Zbl 1255.03040Fokina, Ekaterina B.; Friedman, Sy-David; Harizanov, Valentina; Knight, Julia F.; McCoy, Charles; Montalbán, Antonio 14 2012 Intrinsic bounds on complexity and definability at limit levels. Zbl 1201.03019Chisholm, John; Fokina, Ekaterina B.; Goncharov, Sergey S.; Harizanov, Valentina S.; Knight, Julia F.; Quinn, Sara 14 2009 Describing free groups. Zbl 1302.03045Carson, J.; Harizanov, V.; Knight, J.; Lange, K.; McCoy, C.; Morozov, A.; Quinn, S.; Safranski, C.; Wallbaum, J. 14 2012 Jumps of orderings. Zbl 0705.03022Ash, C. J.; Jockusch, C. G. jun.; Knight, J. F. 13 1990 Bounding prime models. Zbl 1071.03021Csima, Barbara F.; Hirschfeldt, Denis R.; Knight, Julia F.; Soare, Robert I. 12 2004 Computable trees of Scott rank \(\omega_1^{CK}\), and computable approximation. Zbl 1112.03039Calvert, Wesley; Knight, Julia F.; Millar, Jessica 11 2006 Orderings with \(\alpha\)th jump degree 0\(^{(\alpha)}\). Zbl 0748.03027Downey, Rodney; Knight, Julia F. 10 1992 Classification from a computable viewpoint. Zbl 1123.03024Calvert, Wesley; Knight, Julia F. 10 2006 Permitting, forcing, and copying of a given recursive relation. Zbl 0883.03029Ash, C. J.; Cholak, P.; Knight, J. F. 9 1997 \(\Pi^1_1\) relations and paths through \(\mathcal O\). Zbl 1107.03051Goncharov, Sergey S.; Harizanov, Valentina; Knight, Julia F.; Shore, Richard A. 9 2004 Ramified systems. Zbl 0819.03024Ash, C. J.; Knight, J. F. 8 1994 Real closed fields and models of Peano arithmetic. Zbl 1186.03061D’Aquino, P.; Knight, J. F.; Starchenko, S. 8 2010 A metatheorem for constructions by finitely many workers. Zbl 0708.03012Knight, J. F. 7 1990 Recursive structures and Ershov’s hierarchy. Zbl 0863.03018Ash, Christopher J.; Knight, Julia F. 7 1996 Classes of Ulm type and coding rank-homogeneous trees in other structures. Zbl 1241.03042Fokina, E.; Knight, J. F.; Melnikov, A.; Quinn, S. M.; Safranski, C. 7 2011 Decidability for a temporal logic used in discrete-event system analysis. Zbl 0719.93005Knight, J. F.; Passino, K. M. 6 1990 Models of arithmetic and closed ideals. Zbl 0518.03032Knight, Julia; Nadel, Mark 6 1982 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 Nonarithmetical \(\aleph_ 0\)-categorical theories with recursive models. Zbl 0804.03021Knight, Julia F. 6 1994 Degrees of models. Zbl 0933.03043Knight, J. F. 6 1998 Barwise: Infinitary logic and admissible sets. Zbl 1080.03026Keisler, H. Jerome; Knight, Julia F. 6 2004 Index sets for classes of high rank structures. Zbl 1145.03021Calvert, W.; Fokina, E.; Goncharov, S. S.; Knight, J. F.; Kudinov, O.; Morozov, A. S.; Puzarenko, V. 6 2007 Decidability and computability of certain torsion-free abelian groups. Zbl 1211.03063Downey, Rodney G.; Goncharov, Sergei S.; Kach, Asher M.; Knight, Julia F.; Kudinov, Oleg V.; Melnikov, Alexander G.; Turetsky, Daniel 6 2010 Complexity of structures associated with real closed fields. Zbl 1294.03029Knight, Julia F.; Lange, Karen 6 2013 Two theorems on degrees of models of true arithmetic. Zbl 0576.03044Knight, Julia; Lachlan, Alistair H.; Soare, Robert I. 5 1984 A complete \(L_{\omega_1\omega}\)-sentence characterizing \(\aleph_1\). Zbl 0426.03037Knight, Julia F. 5 1977 Theories whose resplendent models are homogeneous. Zbl 0497.03023Knight, Julia F. 5 1982 Relatively recursive expansions. Zbl 0809.03023Ash, C. J.; Knight, J. F. 5 1992 Scott sentences for certain groups. Zbl 06860723Knight, Julia F.; Saraph, Vikram 5 2018 Index sets and Scott sentences. Zbl 1338.03087Knight, J. F.; McCoy, C. 5 2014 Computable structures in generic extensions. Zbl 1388.03042Knight, Julia; Montalbán, Antonio; Schweber, Noah 5 2016 Expansions of models and Turing degrees. Zbl 0527.03013Knight, Julia; Nadel, Mark 4 1982 Quasi-simple relations in copies of a given recursive structure. Zbl 0883.03030Ash, C. J.; Knight, J. F.; Remmel, J. B. 4 1997 Uniform procedures in uncountable structures. Zbl 06915712Greenberg, Noam; Melnikov, Alexander G.; Knight, Julia F.; Turetsky, Daniel 4 2018 Computable structures of Scott rank \(\omega_1^{CK}\) in familiar classes. Zbl 1143.03016Calvert, W.; Goncharov, S. S.; Knight, J. F. 4 2007 Computable structures of rank \(\omega _1^{\mathrm{CK}}\). Zbl 1258.03039Knight, Julia F.; Millar, Jessica 4 2010 Computable structure theory on \(\omega_1\) using admissibility. Zbl 1369.03116Greenberg, Noam; Knight, Julia F. 3 2013 Hanf numbers for omitting types over particular theories. Zbl 0343.02039Knight, Julia F. 3 1976 Prime and atomic models. Zbl 0388.03014Knight, Julia F. 3 1978 Constructions by transfinitely many workers. Zbl 0712.03035Knight, Julia F. 3 1990 True approximations and models of arithmetic. Zbl 0942.03047Knight, Julia F. 3 1999 Mixed systems. Zbl 0819.03023Ash, C. J.; Knight, J. F. 3 1994 Classes of structures with universe a subset of \(\omega _{1}\). Zbl 1327.03027Fokina, Ekaterina; Friedman, Sy-David; Knight, Julia; Miller, Russell 3 2013 The arithmetical hierarchy in the setting of \(\omega_1\). Zbl 1350.03034Carson, Jacob; Johnson, Jesse; Knight, Julia; Lange, Karen; McCoy, Charles; Wallbaum, John 3 2013 Chains and antichains in partial orderings. Zbl 1160.03013Harizanov, Valentina S.; Jockusch, Carl G. jun.; Knight, Julia F. 3 2009 The computable embedding problem. Zbl 1334.03037Carson, J.; Fokina, E.; Harizanov, V. S.; Knight, J. F.; Quinn, S.; Safranski, C.; Wallbaum, J. 3 2012 Computing strength of structures related to the field of real numbers. Zbl 1429.03141Igusa, Gregory; Knight, Julia F.; Schweber, Noah David 2 2017 Degrees of types and independent sequences. Zbl 0541.03015Knight, Julia F. 2 1983 Relatively recursive expansions. II. Zbl 0809.03024Ash, C. J.; Knight, J. F.; Slaman, T. A. 2 1993 Some new computable structures of high rank. Zbl 1469.03122Harrison-Trainor, Matthew; Igusa, Gregory; Knight, Julia F. 2 2018 Using computability to measure complexity of algebraic structures and classes of structures. Zbl 1325.03036Knight, J. F. 2 2014 Spectra of atomic theories. Zbl 1327.03025Andrews, Uri; Knight, Julia F. 2 2013 Corrigendum to: “Real closed fields and models of arithmetic”. Zbl 1239.03026D’Aquino, P.; Knight, J. F.; Starchenko, S. 2 2012 Comparing two versions of the reals. Zbl 1371.03051Igusa, G.; Knight, J. F. 2 2016 Categoricity of computable infinitary theories. Zbl 1161.03020Calvert, W.; Goncharov, S. S.; Knight, J. F.; Millar, Jessica 2 2009 Coding a family of sets. Zbl 0924.03083Knight, J. F. 2 1998 Simple and immune relations on countable structures. Zbl 1024.03034Goncharov, Sergei S.; Harizanov, Valentina S.; Knight, Julia F.; McCoy, Charles F. D. 2 2003 Exact properties of measures of optimal investment for benchmarked portfolios. Zbl 1195.91145Knight, J.; Satchell, S. E. 2 2010 On automorphic tuples of elements in computable models. Zbl 1224.03013Goncharov, S. S.; Harizanov, V. S.; Knight, J. F.; Morozov, A. S.; Romina, A. V. 2 2005 Complexity of Scott sentences. Zbl 07301036Alvir, Rachael; Knight, Julia F.; Csc, Charles Mccoy 2 2020 Comparing classes of finite sums. Zbl 1375.03034Andrews, U.; Dushenin, D. I.; Hill, C.; Knight, J. F.; Melnikov, Alexander G. 1 2016 Effective construction of models. Zbl 0624.03029Knight, Julia F. 1 1986 A complete theory with arbitrarily large minimality ranks. Zbl 0538.03026Woodrow, Robert E.; Knight, Julia F. 1 1983 Additive structure in uncountable models for a fixed completion of P. Zbl 0549.03026Knight, Julia F. 1 1983 Omitting types in set theory and arithmetic. Zbl 0328.02039Knight, Julia F. 1 1976 Representing Scott sets in algebraic settings. Zbl 1408.03030Dolich, Alf; Knight, Julia F.; Lange, Karen; Marker, David 1 2015 A completeness theorem for certain classes of recursive infinitary formulas. Zbl 0810.03037Ash, Christopher J.; Knight, Julia F. 1 1994 Lengths of developments in \(K((G))\). Zbl 1428.12011Knight, Julia F.; Lange, Karen 1 2019 Strongly minimal theories with recursive models. Zbl 1437.03127Andrews, Uri; Knight, Julia F. 1 2018 Shrinking, stretching and codes for homogeneous structures. Zbl 0691.03020Knight, Julia F.; Lachlan, Alistair H. 1 1987 Complete types and the natural numbers. Zbl 0276.02035Knight, Julia F. 1 1973 Generic expansions of structures. Zbl 0285.02044Knight, Julia F. 1 1974 Sequences of \(n\)-diagrams. Zbl 1035.03015Harizanov, Valentina S.; Knight, Julia F.; Morozov, Andrei S. 1 2002 The Kleene-Mostowski hierarchy and the Davis-Mostowski hierarchy. Zbl 1180.03038Knight, Julia F. 1 2008 Computable embeddings and strongly minimal theories. Zbl 1127.03030Chisholm, J.; Knight, J. F.; Miller, S. 1 2007 Computable structures of Scott rank \(\omega_1^{\mathrm{CK}}\). Zbl 1243.03049Knight, Julia F. 1 2011 Limit computable integer parts. Zbl 1247.03060D’Aquino, Paola; Knight, Julia; Lange, Karen 1 2011 Real closed exponential fields. Zbl 1285.03036D’Aquino, Paola; Knight, Julia F.; Kuhlmann, Salma; Lange, Karen 1 2012 Complexity of Scott sentences. Zbl 07301036Alvir, Rachael; Knight, Julia F.; Csc, Charles Mccoy 2 2020 Lengths of developments in \(K((G))\). Zbl 1428.12011Knight, Julia F.; Lange, Karen 1 2019 Scott sentences for certain groups. Zbl 06860723Knight, Julia F.; Saraph, Vikram 5 2018 Uniform procedures in uncountable structures. Zbl 06915712Greenberg, Noam; Melnikov, Alexander G.; Knight, Julia F.; Turetsky, Daniel 4 2018 Some new computable structures of high rank. Zbl 1469.03122Harrison-Trainor, Matthew; Igusa, Gregory; Knight, Julia F. 2 2018 Strongly minimal theories with recursive models. Zbl 1437.03127Andrews, Uri; Knight, Julia F. 1 2018 Computing strength of structures related to the field of real numbers. Zbl 1429.03141Igusa, Gregory; Knight, Julia F.; Schweber, Noah David 2 2017 Computable structures in generic extensions. Zbl 1388.03042Knight, Julia; Montalbán, Antonio; Schweber, Noah 5 2016 Comparing two versions of the reals. Zbl 1371.03051Igusa, G.; Knight, J. F. 2 2016 Comparing classes of finite sums. Zbl 1375.03034Andrews, U.; Dushenin, D. I.; Hill, C.; Knight, J. F.; Melnikov, Alexander G. 1 2016 Representing Scott sets in algebraic settings. Zbl 1408.03030Dolich, Alf; Knight, Julia F.; Lange, Karen; Marker, David 1 2015 Index sets and Scott sentences. Zbl 1338.03087Knight, J. F.; McCoy, C. 5 2014 Using computability to measure complexity of algebraic structures and classes of structures. Zbl 1325.03036Knight, J. F. 2 2014 Complexity of structures associated with real closed fields. Zbl 1294.03029Knight, Julia F.; Lange, Karen 6 2013 Computable structure theory on \(\omega_1\) using admissibility. Zbl 1369.03116Greenberg, Noam; Knight, Julia F. 3 2013 Classes of structures with universe a subset of \(\omega _{1}\). Zbl 1327.03027Fokina, Ekaterina; Friedman, Sy-David; Knight, Julia; Miller, Russell 3 2013 The arithmetical hierarchy in the setting of \(\omega_1\). Zbl 1350.03034Carson, Jacob; Johnson, Jesse; Knight, Julia; Lange, Karen; McCoy, Charles; Wallbaum, John 3 2013 Spectra of atomic theories. Zbl 1327.03025Andrews, Uri; Knight, Julia F. 2 2013 Isomorphism relations on computable structures. Zbl 1255.03040Fokina, Ekaterina B.; Friedman, Sy-David; Harizanov, Valentina; Knight, Julia F.; McCoy, Charles; Montalbán, Antonio 14 2012 Describing free groups. Zbl 1302.03045Carson, J.; Harizanov, V.; Knight, J.; Lange, K.; McCoy, C.; Morozov, A.; Quinn, S.; Safranski, C.; Wallbaum, J. 14 2012 The computable embedding problem. Zbl 1334.03037Carson, J.; Fokina, E.; Harizanov, V. S.; Knight, J. F.; Quinn, S.; Safranski, C.; Wallbaum, J. 3 2012 Corrigendum to: “Real closed fields and models of arithmetic”. Zbl 1239.03026D’Aquino, P.; Knight, J. F.; Starchenko, S. 2 2012 Real closed exponential fields. Zbl 1285.03036D’Aquino, Paola; Knight, Julia F.; Kuhlmann, Salma; Lange, Karen 1 2012 Classes of Ulm type and coding rank-homogeneous trees in other structures. Zbl 1241.03042Fokina, E.; Knight, J. F.; Melnikov, A.; Quinn, S. M.; Safranski, C. 7 2011 Computable structures of Scott rank \(\omega_1^{\mathrm{CK}}\). Zbl 1243.03049Knight, Julia F. 1 2011 Limit computable integer parts. Zbl 1247.03060D’Aquino, Paola; Knight, Julia; Lange, Karen 1 2011 Real closed fields and models of Peano arithmetic. Zbl 1186.03061D’Aquino, P.; Knight, J. F.; Starchenko, S. 8 2010 Decidability and computability of certain torsion-free abelian groups. Zbl 1211.03063Downey, Rodney G.; Goncharov, Sergei S.; Kach, Asher M.; Knight, Julia F.; Kudinov, Oleg V.; Melnikov, Alexander G.; Turetsky, Daniel 6 2010 Computable structures of rank \(\omega _1^{\mathrm{CK}}\). Zbl 1258.03039Knight, Julia F.; Millar, Jessica 4 2010 Exact properties of measures of optimal investment for benchmarked portfolios. Zbl 1195.91145Knight, J.; Satchell, S. E. 2 2010 Intrinsic bounds on complexity and definability at limit levels. Zbl 1201.03019Chisholm, John; Fokina, Ekaterina B.; Goncharov, Sergey S.; Harizanov, Valentina S.; Knight, Julia F.; Quinn, Sara 14 2009 Chains and antichains in partial orderings. Zbl 1160.03013Harizanov, Valentina S.; Jockusch, Carl G. jun.; Knight, Julia F. 3 2009 Categoricity of computable infinitary theories. Zbl 1161.03020Calvert, W.; Goncharov, S. S.; Knight, J. F.; Millar, Jessica 2 2009 The Kleene-Mostowski hierarchy and the Davis-Mostowski hierarchy. Zbl 1180.03038Knight, Julia F. 1 2008 Turing computable embeddings. Zbl 1123.03026Knight, Julia F.; Miller, Sara; Vanden Boom, M. 17 2007 Index sets for classes of high rank structures. Zbl 1145.03021Calvert, W.; Fokina, E.; Goncharov, S. S.; Knight, J. F.; Kudinov, O.; Morozov, A. S.; Puzarenko, V. 6 2007 Computable structures of Scott rank \(\omega_1^{CK}\) in familiar classes. Zbl 1143.03016Calvert, W.; Goncharov, S. S.; Knight, J. F. 4 2007 Computable embeddings and strongly minimal theories. Zbl 1127.03030Chisholm, J.; Knight, J. F.; Miller, S. 1 2007 Index sets of computable structures. Zbl 1164.03325Calvert, W.; Harizanov, V. S.; Knight, J. F.; Miller, S. 20 2006 Computable trees of Scott rank \(\omega_1^{CK}\), and computable approximation. Zbl 1112.03039Calvert, Wesley; Knight, Julia F.; Millar, Jessica 11 2006 Classification from a computable viewpoint. Zbl 1123.03024Calvert, Wesley; Knight, Julia F. 10 2006 Enumerations in computable structure theory. Zbl 1081.03033Goncharov, Sergey; Harizanov, Valentina; Knight, Julia; McCoy, Charles; Miller, Russell; Solomon, Reed 38 2005 On automorphic tuples of elements in computable models. Zbl 1224.03013Goncharov, S. S.; Harizanov, V. S.; Knight, J. F.; Morozov, A. S.; Romina, A. V. 2 2005 Comparing classes of finite structures. Zbl 1097.03026Calvert, Wesley; Cummins, Desmond; Knight, Julia F.; Miller, Sara 19 2004 Bounding prime models. Zbl 1071.03021Csima, Barbara F.; Hirschfeldt, Denis R.; Knight, Julia F.; Soare, Robert I. 12 2004 \(\Pi^1_1\) relations and paths through \(\mathcal O\). Zbl 1107.03051Goncharov, Sergey S.; Harizanov, Valentina; Knight, Julia F.; Shore, Richard A. 9 2004 Barwise: Infinitary logic and admissible sets. Zbl 1080.03026Keisler, H. Jerome; Knight, Julia F. 6 2004 Simple and immune relations on countable structures. Zbl 1024.03034Goncharov, Sergei S.; Harizanov, Valentina S.; Knight, Julia F.; McCoy, Charles F. D. 2 2003 Computable structure and non-structure theorems. Zbl 1034.03044Goncharov, S. S.; Knight, Julia F. 31 2002 Sequences of \(n\)-diagrams. Zbl 1035.03015Harizanov, Valentina S.; Knight, Julia F.; Morozov, Andrei S. 1 2002 Computable structures and the hyperarithmetical hierarchy. Zbl 0960.03001Ash, C. J.; Knight, J. F. 222 2000 Computable Boolean algebras. Zbl 0974.03041Knight, Julia F.; Stob, Michael 22 2000 True approximations and models of arithmetic. Zbl 0942.03047Knight, Julia F. 3 1999 Degrees of models. Zbl 0933.03043Knight, J. F. 6 1998 Coding a family of sets. Zbl 0924.03083Knight, J. F. 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 Nonarithmetical \(\aleph_ 0\)-categorical theories with recursive models. Zbl 0804.03021Knight, Julia F. 6 1994 Mixed systems. Zbl 0819.03023Ash, C. J.; Knight, J. F. 3 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 Orderings with \(\alpha\)th jump degree 0\(^{(\alpha)}\). Zbl 0748.03027Downey, Rodney; Knight, Julia F. 10 1992 Relatively recursive expansions. Zbl 0809.03023Ash, C. J.; Knight, J. F. 5 1992 Pairs of recursive structures. Zbl 0712.03020Ash, C. J.; Knight, J. F. 37 1990 Jumps of orderings. Zbl 0705.03022Ash, C. J.; Jockusch, C. G. jun.; Knight, J. F. 13 1990 A metatheorem for constructions by finitely many workers. Zbl 0708.03012Knight, J. F. 7 1990 Decidability for a temporal logic used in discrete-event system analysis. Zbl 0719.93005Knight, J. F.; Passino, K. M. 6 1990 Constructions by transfinitely many workers. Zbl 0712.03035Knight, Julia F. 3 1990 Generic copies of countable structures. Zbl 0678.03012Ash, Chris; Knight, Julia; Manasse, Mark; Slaman, Theodore 63 1989 Shrinking, stretching and codes for homogeneous structures. Zbl 0691.03020Knight, Julia F.; Lachlan, Alistair H. 1 1987 Definable sets in ordered structures. II. Zbl 0662.03024Knight, Julia F.; Pillay, Anand; Steinhorn, Charles 69 1986 Degrees coded in jumps of orderings. Zbl 0633.03038Knight, Julia F. 54 1986 Effective construction of models. Zbl 0624.03029Knight, Julia F. 1 1986 Two theorems on degrees of models of true arithmetic. Zbl 0576.03044Knight, Julia; Lachlan, Alistair H.; Soare, Robert I. 5 1984 Degrees of types and independent sequences. Zbl 0541.03015Knight, Julia F. 2 1983 A complete theory with arbitrarily large minimality ranks. Zbl 0538.03026Woodrow, Robert E.; Knight, Julia F. 1 1983 Additive structure in uncountable models for a fixed completion of P. Zbl 0549.03026Knight, Julia F. 1 1983 Models of arithmetic and closed ideals. Zbl 0518.03032Knight, Julia; Nadel, Mark 6 1982 Theories whose resplendent models are homogeneous. Zbl 0497.03023Knight, Julia F. 5 1982 Expansions of models and Turing degrees. Zbl 0527.03013Knight, Julia; Nadel, Mark 4 1982 Prime and atomic models. Zbl 0388.03014Knight, Julia F. 3 1978 A complete \(L_{\omega_1\omega}\)-sentence characterizing \(\aleph_1\). Zbl 0426.03037Knight, Julia F. 5 1977 Hanf numbers for omitting types over particular theories. Zbl 0343.02039Knight, Julia F. 3 1976 Omitting types in set theory and arithmetic. Zbl 0328.02039Knight, Julia F. 1 1976 Generic expansions of structures. Zbl 0285.02044Knight, Julia F. 1 1974 Complete types and the natural numbers. Zbl 0276.02035Knight, Julia F. 1 1973 all cited Publications top 5 cited Publications all top 5 Cited by 340 Authors 53 Knight, Julia F. 42 Melnikov, Alexander G. 39 Bazhenov, Nikolaĭ Alekseevich 34 Montalbán, Antonio 29 Harizanov, Valentina S. 22 Kalimullin, Iskander Shagitovich 22 Ng, KengMeng 21 Downey, Rodney Graham 19 Miller, Russell G. 16 Goncharov, Sergeĭ Savost’yanovich 16 Harrison-Trainor, Matthew 15 Hirschfeldt, Denis Roman 14 Fokina, Ekaterina B. 13 Greenberg, Noam 12 Ash, Christopher John 11 Csima, Barbara F. 11 Lange, Karen 11 Lempp, Steffen 10 Shore, Richard A. 9 Andrews, Uri 9 Calvert, Wesley 9 Kach, Asher M. 9 Marchuk, Margaret I. 9 Morozov, Andreĭ Sergeevich 8 Cenzer, Douglas 8 Jockusch, Carl G. jun. 8 Sorbi, Andrea 7 Khoussainov, Bakhadyr M. 7 McCoy, Charles F. D. 7 Mustafa, Manat 7 Solomon, Reed 7 Turetsky, Daniel D. 6 Cholak, Peter A. 6 Frolov, Andrey N. 6 Remmel, Jeffrey B. 6 San Mauro, Luca 6 Soare, Robert I. 6 Yamaleev, Mars Mansurovich 5 Chubb, Jennifer 5 Simpson, Stephen G. 5 Slaman, Theodore A. 5 Tari, Somayyeh 4 Alaev, Pavel Evgenievich 4 Badaev, Serikzhan A. 4 Case, John 4 Chisholm, John Stephen Roy 4 D’Aquino, Paola 4 Enayat, Ali 4 Friedman, Sy-David 4 Igusa, Gregory 4 Jain, Sanjay 4 Kogabaev, Nurlan Talgatovich 4 Kudinov, Oleg Victorovich 4 Marker, David E. 4 Miller, Chris 4 Peterzil, Ya’acov 4 Quinn, Sara 4 Rossegger, Dino 4 Schweber, Noah David 4 Selivanov, Viktor L’vovich 4 Shlapentokh, Alexandra 4 Stephan, Frank 3 Carson, Jacob 3 Dimitrov, Rumen D. 3 Eleftheriou, Pantelis E. 3 Faĭzrahmanov, Marat Khaidarovich 3 Ho, Meng-Che 3 Johnson, Jesse Werth 3 Kalmurzaev, Birzhan S. 3 Korovina, Margarita Vladimirovna 3 Laskowski, Michael Chris 3 Leont’eva, Margarita Nikolaevna 3 Lerman, Manuel 3 Macintyre, Angus John 3 McNicholl, Timothy H. 3 Millar, Jessica 3 Miller, Joseph S. 3 Pillay, Anand 3 Puzarenko, Vadim G. 3 Safranski, C. 3 Schmerl, James H. 3 Souldatos, Ioannis A. 3 Turetsky, Dan 3 Tusupov, Dzhamalbek Aliaskarovich 3 Vatev, Stefan V. 3 Wallbaum, John 3 Westrick, Linda Brown 3 Wu, Guohua 2 Ackerman, Nathanael Leedom 2 Alvir, Rachael 2 Anderson, Bernard A. 2 Arana, Andrew 2 Baldwin, John T. 2 Bélanger, David R. 2 Belegradek, Oleg V. 2 Brihaye, Thomas 2 Buechler, Steven 2 Cai, Mingzhong 2 Carl, Merlin 2 Conidis, Chris J. ...and 240 more Authors all top 5 Cited in 69 Serials 82 The Journal of Symbolic Logic 82 Annals of Pure and Applied Logic 41 Archive for Mathematical Logic 40 Algebra and Logic 23 Transactions of the American Mathematical Society 23 The Bulletin of Symbolic Logic 22 Proceedings of the American Mathematical Society 19 Notre Dame Journal of Formal Logic 15 Mathematical Logic Quarterly (MLQ) 14 Siberian Mathematical Journal 13 Journal of Mathematical Logic 10 Lobachevskii Journal of Mathematics 8 Israel Journal of Mathematics 5 Advances in Mathematics 5 Journal of Algebra 5 Theoretical Computer Science 4 Journal of Mathematical Sciences (New York) 4 Doklady Mathematics 3 Journal of Pure and Applied Algebra 3 International Journal of Algebra and Computation 3 Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika 3 Sibirskie Èlektronnye Matematicheskie Izvestiya 2 Annales de l’Institut Fourier 2 Fundamenta Mathematicae 2 Memoirs of the American Mathematical Society 2 Order 2 Discrete Event Dynamic Systems 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 Matematicheskie Trudy 2 Logical Methods in Computer Science 2 Journal of Logic and Analysis 2 The Review of Symbolic Logic 1 Archiv für Mathematische Logik und Grundlagenforschung 1 International Journal of Control 1 International Journal of General Systems 1 International Journal of Systems Science 1 Journal of Mathematical Analysis and Applications 1 Algebra Universalis 1 Inventiones Mathematicae 1 Journal of Computer and System Sciences 1 Journal of Mathematical Economics 1 Journal of the Mathematical Society of Japan 1 Manuscripta Mathematica 1 Proceedings of the Japan Academy. Series A 1 Studia Logica 1 Discrete & Computational Geometry 1 Information and Computation 1 Journal of the American Mathematical Society 1 Mathematical and Computer Modelling 1 Forum Mathematicum 1 MSCS. Mathematical Structures in Computer Science 1 Annales de la Faculté des Sciences de Toulouse. Mathématiques. Série VI 1 Russian Mathematics 1 Selecta Mathematica. New Series 1 Advances in Computational Mathematics 1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 1 Journal of the European Mathematical Society (JEMS) 1 Advances in Geometry 1 Sādhanā 1 Natural Computing 1 Journal of the Institute of Mathematics of Jussieu 1 Journal of Applied Logic 1 Sarajevo Journal of Mathematics 1 Proceedings of the Steklov Institute of Mathematics 1 RAIRO. Theoretical Informatics and Applications 1 Forum of Mathematics, Sigma 1 Computability all top 5 Cited in 31 Fields 494 Mathematical logic and foundations (03-XX) 52 Order, lattices, ordered algebraic structures (06-XX) 34 Group theory and generalizations (20-XX) 30 Computer science (68-XX) 24 Field theory and polynomials (12-XX) 13 General and overarching topics; collections (00-XX) 8 Algebraic geometry (14-XX) 7 Combinatorics (05-XX) 6 Geometry (51-XX) 6 Systems theory; control (93-XX) 4 Number theory (11-XX) 4 Dynamical systems and ergodic theory (37-XX) 3 History and biography (01-XX) 3 Commutative algebra (13-XX) 3 Real functions (26-XX) 3 Several complex variables and analytic spaces (32-XX) 3 Convex and discrete geometry (52-XX) 3 General topology (54-XX) 2 General algebraic systems (08-XX) 2 Associative rings and algebras (16-XX) 2 Topological groups, Lie groups (22-XX) 2 Functional analysis (46-XX) 2 Manifolds and cell complexes (57-XX) 2 Statistics (62-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Category theory; homological algebra (18-XX) 1 Measure and integration (28-XX) 1 Partial differential equations (35-XX) 1 Abstract harmonic analysis (43-XX) 1 Probability theory and stochastic processes (60-XX) 1 Numerical analysis (65-XX) Citations by Year