Edit Profile (opens in new tab) Knight, Julia F. Compute Distance To: Compute Author ID: knight.julia-f Published as: Knight, Julia F.; Knight, J. F.; Knight, Julia; Knight, J. more...less Documents Indexed: 115 Publications since 1973, including 1 Book 2 Contributions as Editor Co-Authors: 69 Co-Authors with 84 Joint Publications 1,011 Co-Co-Authors all top 5 Co-Authors 32 single-authored 14 Ash, Christopher John 13 Harizanov, Valentina S. 12 Goncharov, Sergeĭ Savost’yanovich 10 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 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 Arnold 1 Solomon, Reed 1 Souldatos, Ioannis A. 1 Steinhorn, Charles I. 1 Stob, Michael 1 Tusupov, Dzhamalbek Aliaskarovich 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 and Logic 4 Algebra i Logika 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 113 Mathematical logic and foundations (03-XX) 6 Group theory and generalizations (20-XX) 5 Field theory and polynomials (12-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 91 Publications have been cited 997 times in 542 Documents Cited by ▼ Year ▼ Computable structures and the hyperarithmetical hierarchy. Zbl 0960.03001Ash, C. J.; Knight, J. F. 235 2000 Definable sets in ordered structures. II. Zbl 0662.03024Knight, Julia F.; Pillay, Anand; Steinhorn, Charles 74 1986 Generic copies of countable structures. Zbl 0678.03012Ash, Chris; Knight, Julia; Manasse, Mark; Slaman, Theodore 66 1989 Degrees coded in jumps of orderings. Zbl 0633.03038Knight, Julia F. 57 1986 Pairs of recursive structures. Zbl 0712.03020Ash, C. J.; Knight, J. F. 40 1990 Enumerations in computable structure theory. Zbl 1081.03033Goncharov, Sergey; Harizanov, Valentina; Knight, Julia; McCoy, Charles; Miller, Russell; Solomon, Reed 40 2005 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 23 2000 Index sets of computable structures. Zbl 1164.03325Calvert, W.; Harizanov, V. S.; Knight, J. F.; Miller, S. 21 2006 Comparing classes of finite structures. Zbl 1097.03026Calvert, Wesley; Cummins, Desmond; Knight, Julia F.; Miller, Sara 20 2004 Turing computable embeddings. Zbl 1123.03026Knight, Julia F.; Miller, Sara; Vanden Boom, M. 18 2007 Describing free groups. Zbl 1302.03045Carson, J.; Harizanov, V.; Knight, J.; Lange, K.; McCoy, C.; Morozov, A.; Quinn, S.; Safranski, C.; Wallbaum, J. 16 2012 Isomorphism relations on computable structures. Zbl 1255.03040Fokina, Ekaterina B.; Friedman, Sy-David; Harizanov, Valentina; Knight, Julia F.; McCoy, Charles; Montalbán, Antonio 16 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 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. 13 2004 Computable trees of Scott rank \(\omega_1^{CK}\), and computable approximation. Zbl 1112.03039Calvert, Wesley; Knight, Julia F.; Millar, Jessica 13 2006 Classification from a computable viewpoint. Zbl 1123.03024Calvert, Wesley; Knight, Julia F. 11 2006 Orderings with \(\alpha\)th jump degree 0\(^{(\alpha)}\). Zbl 0748.03027Downey, Rodney; Knight, Julia F. 11 1992 \(\Pi^1_1\) relations and paths through \(\mathcal O\). Zbl 1107.03051Goncharov, Sergey S.; Harizanov, Valentina; Knight, Julia F.; Shore, Richard A. 9 2004 Permitting, forcing, and copying of a given recursive relation. Zbl 0883.03029Ash, C. J.; Cholak, P.; Knight, J. F. 9 1997 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. 8 2011 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 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. 7 2007 Complexity of structures associated with real closed fields. Zbl 1294.03029Knight, Julia F.; Lange, Karen 7 2013 Scott sentences for certain groups. Zbl 06860723Knight, Julia F.; Saraph, Vikram 7 2018 Nonarithmetical \(\aleph_ 0\)-categorical theories with recursive models. Zbl 0804.03021Knight, Julia F. 7 1994 Index sets and Scott sentences. Zbl 1338.03087Knight, J. F.; McCoy, C. 6 2014 Decidability for a temporal logic used in discrete-event system analysis. Zbl 0719.93005Knight, J. F.; Passino, K. M. 6 1990 Possible degrees in recursive copies. II. Zbl 0877.03022Ash, C. J.; Knight, J. F. 6 1997 Models of arithmetic and closed ideals. Zbl 0518.03032Knight, Julia; Nadel, Mark 6 1982 Barwise: Infinitary logic and admissible sets. Zbl 1080.03026Keisler, H. Jerome; Knight, Julia F. 6 2004 Degrees of models. Zbl 0933.03043Knight, J. F. 6 1998 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 6 2010 Possible degrees in recursive copies. Zbl 0837.03036Ash, C. J.; Knight, J. F. 6 1995 Computable structures in generic extensions. Zbl 1388.03042Knight, Julia; Montalbán, Antonio; Schweber, Noah 6 2016 Two theorems on degrees of models of true arithmetic. Zbl 0576.03044Knight, Julia; Lachlan, Alistair H.; Soare, Robert I. 5 1984 Theories whose resplendent models are homogeneous. Zbl 0497.03023Knight, Julia F. 5 1982 A complete \(L_{\omega_1\omega}\)-sentence characterizing \(\aleph_1\). Zbl 0426.03037Knight, Julia F. 5 1977 Relatively recursive expansions. Zbl 0809.03023Ash, C. J.; Knight, J. F. 5 1992 Expansions of models and Turing degrees. Zbl 0527.03013Knight, Julia; Nadel, Mark 4 1982 Classes of structures with universe a subset of \(\omega _{1}\). Zbl 1327.03027Fokina, Ekaterina; Friedman, Sy-David; Knight, Julia; Miller, Russell 4 2013 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 Some new computable structures of high rank. Zbl 1469.03122Harrison-Trainor, Matthew; Igusa, Gregory; Knight, Julia F. 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 Constructions by transfinitely many workers. Zbl 0712.03035Knight, Julia F. 3 1990 Computable structure theory on \(\omega_1\) using admissibility. Zbl 1369.03116Greenberg, Noam; Knight, Julia F. 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 Hanf numbers for omitting types over particular theories. Zbl 0343.02039Knight, Julia F. 3 1976 True approximations and models of arithmetic. Zbl 0942.03047Knight, Julia F. 3 1999 Prime and atomic models. Zbl 0388.03014Knight, Julia F. 3 1978 Mixed systems. Zbl 0819.03023Ash, C. J.; Knight, J. F. 3 1994 Complexity of Scott sentences. Zbl 1485.03103Alvir, Rachael; Knight, Julia F.; McCoy CSC, Charles 3 2020 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 Degrees of types and independent sequences. Zbl 0541.03015Knight, Julia F. 2 1983 Spectra of atomic theories. Zbl 1327.03025Andrews, Uri; Knight, Julia F. 2 2013 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 Computable embeddings and strongly minimal theories. Zbl 1127.03030Chisholm, J.; Knight, J. F.; Miller, S. 2 2007 Using computability to measure complexity of algebraic structures and classes of structures. Zbl 1325.03036Knight, J. F. 2 2014 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 Strongly minimal theories with recursive models. Zbl 1437.03127Andrews, Uri; Knight, Julia F. 2 2018 Lengths of developments in \(K((G))\). Zbl 1428.12011Knight, Julia F.; Lange, Karen 2 2019 Relatively recursive expansions. II. Zbl 0809.03024Ash, C. J.; Knight, J. F.; Slaman, T. A. 2 1993 Categoricity of computable infinitary theories. Zbl 1161.03020Calvert, W.; Goncharov, S. S.; Knight, J. F.; Millar, Jessica 2 2009 Comparing two versions of the reals. Zbl 1371.03051Igusa, G.; Knight, J. F. 2 2016 Computing strength of structures related to the field of real numbers. Zbl 1429.03141Igusa, Gregory; Knight, Julia F.; Schweber, Noah David 2 2017 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 2 2012 Shrinking, stretching and codes for homogeneous structures. Zbl 0691.03020Knight, Julia F.; Lachlan, Alistair H. 1 1987 Effective construction of models. Zbl 0624.03029Knight, Julia F. 1 1986 Representing Scott sets in algebraic settings. Zbl 1408.03030Dolich, Alf; Knight, Julia F.; Lange, Karen; Marker, David 1 2015 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 Complete types and the natural numbers. Zbl 0276.02035Knight, Julia F. 1 1973 Generic expansions of structures. Zbl 0285.02044Knight, Julia F. 1 1974 Omitting types in set theory and arithmetic. Zbl 0328.02039Knight, Julia F. 1 1976 Comparing classes of finite sums. Zbl 1375.03034Andrews, U.; Dushenin, D. I.; Hill, C.; Knight, J. F.; Melnikov, Alexander G. 1 2016 Sequences of \(n\)-diagrams. Zbl 1035.03015Harizanov, Valentina S.; Knight, Julia F.; Morozov, Andrei S. 1 2002 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 Coding in graphs and linear orderings. Zbl 1459.03046Knight, Julia F.; Soskova, Alexandra A.; Vatev, Stefan V. 1 2020 The Kleene-Mostowski hierarchy and the Davis-Mostowski hierarchy. Zbl 1180.03038Knight, Julia F. 1 2008 A completeness theorem for certain classes of recursive infinitary formulas. Zbl 0810.03037Ash, Christopher J.; Knight, Julia F. 1 1994 Complexity of Scott sentences. Zbl 1485.03103Alvir, Rachael; Knight, Julia F.; McCoy CSC, Charles 3 2020 Coding in graphs and linear orderings. Zbl 1459.03046Knight, Julia F.; Soskova, Alexandra A.; Vatev, Stefan V. 1 2020 Lengths of developments in \(K((G))\). Zbl 1428.12011Knight, Julia F.; Lange, Karen 2 2019 Scott sentences for certain groups. Zbl 06860723Knight, Julia F.; Saraph, Vikram 7 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. 4 2018 Strongly minimal theories with recursive models. Zbl 1437.03127Andrews, Uri; Knight, Julia F. 2 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 6 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. 6 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 7 2013 Classes of structures with universe a subset of \(\omega _{1}\). Zbl 1327.03027Fokina, Ekaterina; Friedman, Sy-David; Knight, Julia; Miller, Russell 4 2013 Computable structure theory on \(\omega_1\) using admissibility. Zbl 1369.03116Greenberg, Noam; Knight, Julia F. 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 Describing free groups. Zbl 1302.03045Carson, J.; Harizanov, V.; Knight, J.; Lange, K.; McCoy, C.; Morozov, A.; Quinn, S.; Safranski, C.; Wallbaum, J. 16 2012 Isomorphism relations on computable structures. Zbl 1255.03040Fokina, Ekaterina B.; Friedman, Sy-David; Harizanov, Valentina; Knight, Julia F.; McCoy, Charles; Montalbán, Antonio 16 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 2 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. 8 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 6 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. 18 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. 7 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. 2 2007 Index sets of computable structures. Zbl 1164.03325Calvert, W.; Harizanov, V. S.; Knight, J. F.; Miller, S. 21 2006 Computable trees of Scott rank \(\omega_1^{CK}\), and computable approximation. Zbl 1112.03039Calvert, Wesley; Knight, Julia F.; Millar, Jessica 13 2006 Classification from a computable viewpoint. Zbl 1123.03024Calvert, Wesley; Knight, Julia F. 11 2006 Enumerations in computable structure theory. Zbl 1081.03033Goncharov, Sergey; Harizanov, Valentina; Knight, Julia; McCoy, Charles; Miller, Russell; Solomon, Reed 40 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 20 2004 Bounding prime models. Zbl 1071.03021Csima, Barbara F.; Hirschfeldt, Denis R.; Knight, Julia F.; Soare, Robert I. 13 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. 235 2000 Computable Boolean algebras. Zbl 0974.03041Knight, Julia F.; Stob, Michael 23 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. 7 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. 11 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. 40 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 66 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 74 1986 Degrees coded in jumps of orderings. Zbl 0633.03038Knight, Julia F. 57 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 358 Authors 54 Knight, Julia F. 43 Bazhenov, Nikolaĭ Alekseevich 42 Melnikov, Alexander G. 35 Montalbán, Antonio 29 Harizanov, Valentina S. 23 Kalimullin, Iskander Shagitovich 22 Ng, KengMeng 21 Downey, Rodney Graham 20 Harrison-Trainor, Matthew 20 Miller, Russell G. 16 Goncharov, Sergeĭ Savost’yanovich 15 Greenberg, Noam 15 Hirschfeldt, Denis Roman 14 Fokina, Ekaterina B. 12 Andrews, Uri 12 Ash, Christopher John 12 Lange, Karen 11 Csima, Barbara F. 11 Lempp, Steffen 10 Shore, Richard Arnold 9 Calvert, Wesley 9 Cenzer, Douglas 9 Kach, Asher M. 9 Marchuk, Margaret I. 9 Morozov, Andreĭ Sergeevich 9 Sorbi, Andrea 8 Jockusch, Carl G. jun. 8 Solomon, Reed 8 Turetsky, Daniel D. 7 Khoussainov, Bakhadyr M. 7 McCoy, Charles F. D. 7 Mustafa, Manat 6 Cholak, Peter A. 6 Remmel, Jeffrey B. 6 San Mauro, Luca 6 Soare, Robert I. 6 Yamaleev, Mars Mansurovich 5 Alaev, Pavel Evgenievich 5 Chubb, Jennifer 5 Friedman, Sy-David 5 Rossegger, Dino 5 Schweber, Noah David 5 Selivanov, Viktor L’vovich 5 Simpson, Stephen G. 5 Slaman, Theodore A. 5 Tari, Somayyeh 4 Badaev, Serikzhan A. 4 Case, John 4 Chisholm, John Stephen Roy 4 D’Aquino, Paola 4 Enayat, Ali 4 Faĭzrahmanov, Marat Khaidarovich 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 Shlapentokh, Alexandra 4 Stephan, Frank 4 Turetsky, Dan 4 Vatev, Stefan V. 4 Westrick, Linda Brown 3 Alvir, Rachael 3 Brihaye, Thomas 3 Carson, Jacob 3 Dimitrov, Rumen D. 3 Eleftheriou, Pantelis E. 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 Tusupov, Dzhamalbek Aliaskarovich 3 Wallbaum, John 3 Wu, Guohua 2 Ackerman, Nathanael Leedom 2 Anderson, Bernard A. 2 Arana, Andrew 2 Baldwin, John T. 2 Bélanger, David R. 2 Belegradek, Oleg V. 2 Bouyer, Patricia 2 Brown, Tyler A. 2 Buechler, Steven 2 Cai, Mingzhong 2 Carl, Merlin ...and 258 more Authors all top 5 Cited in 71 Serials 88 The Journal of Symbolic Logic 85 Annals of Pure and Applied Logic 43 Algebra and Logic 41 Archive for Mathematical Logic 24 The Bulletin of Symbolic Logic 23 Transactions of the American Mathematical Society 22 Proceedings of the American Mathematical Society 21 Notre Dame Journal of Formal Logic 15 Mathematical Logic Quarterly (MLQ) 14 Siberian Mathematical Journal 14 Journal of Mathematical Logic 10 Lobachevskii Journal of Mathematics 8 Israel Journal of Mathematics 6 Advances in Mathematics 5 Journal of Algebra 5 Theoretical Computer Science 4 Journal of Mathematical Sciences (New York) 4 Doklady Mathematics 4 Sibirskie Èlektronnye Matematicheskie Izvestiya 3 Fundamenta Mathematicae 3 Journal of Pure and Applied Algebra 3 International Journal of Algebra and Computation 3 Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika 3 The Review of Symbolic Logic 2 Annales de l’Institut Fourier 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 Computability 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 i Logika 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, Pi 1 Forum of Mathematics, Sigma all top 5 Cited in 32 Fields 520 Mathematical logic and foundations (03-XX) 54 Order, lattices, ordered algebraic structures (06-XX) 37 Group theory and generalizations (20-XX) 32 Computer science (68-XX) 26 Field theory and polynomials (12-XX) 13 General and overarching topics; collections (00-XX) 10 Algebraic geometry (14-XX) 8 Combinatorics (05-XX) 6 Geometry (51-XX) 6 Systems theory; control (93-XX) 5 Number theory (11-XX) 4 Several complex variables and analytic spaces (32-XX) 4 General topology (54-XX) 3 History and biography (01-XX) 3 Commutative algebra (13-XX) 3 Real functions (26-XX) 3 Dynamical systems and ergodic theory (37-XX) 3 Convex and discrete geometry (52-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-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) 1 Category theory; homological algebra (18-XX) 1 Measure and integration (28-XX) 1 Partial differential equations (35-XX) 1 Approximations and expansions (41-XX) 1 Abstract harmonic analysis (43-XX) 1 Probability theory and stochastic processes (60-XX) 1 Numerical analysis (65-XX) Citations by Year