×

zbMATH — the first resource for mathematics

Knight, Julia F.

Compute Distance To:
Author ID: knight.julia-f Recent zbMATH articles by "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.

Publications by Year

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.03001
Ash, C. J.; Knight, J. F.
222
2000
Definable sets in ordered structures. II. Zbl 0662.03024
Knight, Julia F.; Pillay, Anand; Steinhorn, Charles
69
1986
Generic copies of countable structures. Zbl 0678.03012
Ash, Chris; Knight, Julia; Manasse, Mark; Slaman, Theodore
63
1989
Degrees coded in jumps of orderings. Zbl 0633.03038
Knight, Julia F.
54
1986
Enumerations in computable structure theory. Zbl 1081.03033
Goncharov, Sergey; Harizanov, Valentina; Knight, Julia; McCoy, Charles; Miller, Russell; Solomon, Reed
38
2005
Pairs of recursive structures. Zbl 0712.03020
Ash, C. J.; Knight, J. F.
37
1990
Computable structure and non-structure theorems. Zbl 1034.03044
Goncharov, S. S.; Knight, Julia F.
31
2002
Computable Boolean algebras. Zbl 0974.03041
Knight, Julia F.; Stob, Michael
22
2000
Index sets of computable structures. Zbl 1164.03325
Calvert, W.; Harizanov, V. S.; Knight, J. F.; Miller, S.
20
2006
Comparing classes of finite structures. Zbl 1097.03026
Calvert, Wesley; Cummins, Desmond; Knight, Julia F.; Miller, Sara
19
2004
Turing computable embeddings. Zbl 1123.03026
Knight, Julia F.; Miller, Sara; Vanden Boom, M.
17
2007
Isomorphism relations on computable structures. Zbl 1255.03040
Fokina, 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.03019
Chisholm, John; Fokina, Ekaterina B.; Goncharov, Sergey S.; Harizanov, Valentina S.; Knight, Julia F.; Quinn, Sara
14
2009
Describing free groups. Zbl 1302.03045
Carson, J.; Harizanov, V.; Knight, J.; Lange, K.; McCoy, C.; Morozov, A.; Quinn, S.; Safranski, C.; Wallbaum, J.
14
2012
Jumps of orderings. Zbl 0705.03022
Ash, C. J.; Jockusch, C. G. jun.; Knight, J. F.
13
1990
Bounding prime models. Zbl 1071.03021
Csima, 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.03039
Calvert, Wesley; Knight, Julia F.; Millar, Jessica
11
2006
Orderings with \(\alpha\)th jump degree 0\(^{(\alpha)}\). Zbl 0748.03027
Downey, Rodney; Knight, Julia F.
10
1992
Classification from a computable viewpoint. Zbl 1123.03024
Calvert, Wesley; Knight, Julia F.
10
2006
Permitting, forcing, and copying of a given recursive relation. Zbl 0883.03029
Ash, C. J.; Cholak, P.; Knight, J. F.
9
1997
\(\Pi^1_1\) relations and paths through \(\mathcal O\). Zbl 1107.03051
Goncharov, Sergey S.; Harizanov, Valentina; Knight, Julia F.; Shore, Richard A.
9
2004
Ramified systems. Zbl 0819.03024
Ash, C. J.; Knight, J. F.
8
1994
Real closed fields and models of Peano arithmetic. Zbl 1186.03061
D’Aquino, P.; Knight, J. F.; Starchenko, S.
8
2010
A metatheorem for constructions by finitely many workers. Zbl 0708.03012
Knight, J. F.
7
1990
Recursive structures and Ershov’s hierarchy. Zbl 0863.03018
Ash, Christopher J.; Knight, Julia F.
7
1996
Classes of Ulm type and coding rank-homogeneous trees in other structures. Zbl 1241.03042
Fokina, 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.93005
Knight, J. F.; Passino, K. M.
6
1990
Models of arithmetic and closed ideals. Zbl 0518.03032
Knight, Julia; Nadel, Mark
6
1982
Possible degrees in recursive copies. Zbl 0837.03036
Ash, C. J.; Knight, J. F.
6
1995
Possible degrees in recursive copies. II. Zbl 0877.03022
Ash, C. J.; Knight, J. F.
6
1997
Nonarithmetical \(\aleph_ 0\)-categorical theories with recursive models. Zbl 0804.03021
Knight, Julia F.
6
1994
Degrees of models. Zbl 0933.03043
Knight, J. F.
6
1998
Barwise: Infinitary logic and admissible sets. Zbl 1080.03026
Keisler, H. Jerome; Knight, Julia F.
6
2004
Index sets for classes of high rank structures. Zbl 1145.03021
Calvert, 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.03063
Downey, 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.03029
Knight, Julia F.; Lange, Karen
6
2013
Two theorems on degrees of models of true arithmetic. Zbl 0576.03044
Knight, Julia; Lachlan, Alistair H.; Soare, Robert I.
5
1984
A complete \(L_{\omega_1\omega}\)-sentence characterizing \(\aleph_1\). Zbl 0426.03037
Knight, Julia F.
5
1977
Theories whose resplendent models are homogeneous. Zbl 0497.03023
Knight, Julia F.
5
1982
Relatively recursive expansions. Zbl 0809.03023
Ash, C. J.; Knight, J. F.
5
1992
Scott sentences for certain groups. Zbl 06860723
Knight, Julia F.; Saraph, Vikram
5
2018
Index sets and Scott sentences. Zbl 1338.03087
Knight, J. F.; McCoy, C.
5
2014
Computable structures in generic extensions. Zbl 1388.03042
Knight, Julia; Montalbán, Antonio; Schweber, Noah
5
2016
Expansions of models and Turing degrees. Zbl 0527.03013
Knight, Julia; Nadel, Mark
4
1982
Quasi-simple relations in copies of a given recursive structure. Zbl 0883.03030
Ash, C. J.; Knight, J. F.; Remmel, J. B.
4
1997
Uniform procedures in uncountable structures. Zbl 06915712
Greenberg, Noam; Melnikov, Alexander G.; Knight, Julia F.; Turetsky, Daniel
4
2018
Computable structures of Scott rank \(\omega_1^{CK}\) in familiar classes. Zbl 1143.03016
Calvert, W.; Goncharov, S. S.; Knight, J. F.
4
2007
Computable structures of rank \(\omega _1^{\mathrm{CK}}\). Zbl 1258.03039
Knight, Julia F.; Millar, Jessica
4
2010
Computable structure theory on \(\omega_1\) using admissibility. Zbl 1369.03116
Greenberg, Noam; Knight, Julia F.
3
2013
Hanf numbers for omitting types over particular theories. Zbl 0343.02039
Knight, Julia F.
3
1976
Prime and atomic models. Zbl 0388.03014
Knight, Julia F.
3
1978
Constructions by transfinitely many workers. Zbl 0712.03035
Knight, Julia F.
3
1990
True approximations and models of arithmetic. Zbl 0942.03047
Knight, Julia F.
3
1999
Mixed systems. Zbl 0819.03023
Ash, C. J.; Knight, J. F.
3
1994
Classes of structures with universe a subset of \(\omega _{1}\). Zbl 1327.03027
Fokina, Ekaterina; Friedman, Sy-David; Knight, Julia; Miller, Russell
3
2013
The arithmetical hierarchy in the setting of \(\omega_1\). Zbl 1350.03034
Carson, Jacob; Johnson, Jesse; Knight, Julia; Lange, Karen; McCoy, Charles; Wallbaum, John
3
2013
Chains and antichains in partial orderings. Zbl 1160.03013
Harizanov, Valentina S.; Jockusch, Carl G. jun.; Knight, Julia F.
3
2009
The computable embedding problem. Zbl 1334.03037
Carson, 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.03141
Igusa, Gregory; Knight, Julia F.; Schweber, Noah David
2
2017
Degrees of types and independent sequences. Zbl 0541.03015
Knight, Julia F.
2
1983
Relatively recursive expansions. II. Zbl 0809.03024
Ash, C. J.; Knight, J. F.; Slaman, T. A.
2
1993
Some new computable structures of high rank. Zbl 1469.03122
Harrison-Trainor, Matthew; Igusa, Gregory; Knight, Julia F.
2
2018
Using computability to measure complexity of algebraic structures and classes of structures. Zbl 1325.03036
Knight, J. F.
2
2014
Spectra of atomic theories. Zbl 1327.03025
Andrews, Uri; Knight, Julia F.
2
2013
Corrigendum to: “Real closed fields and models of arithmetic”. Zbl 1239.03026
D’Aquino, P.; Knight, J. F.; Starchenko, S.
2
2012
Comparing two versions of the reals. Zbl 1371.03051
Igusa, G.; Knight, J. F.
2
2016
Categoricity of computable infinitary theories. Zbl 1161.03020
Calvert, W.; Goncharov, S. S.; Knight, J. F.; Millar, Jessica
2
2009
Coding a family of sets. Zbl 0924.03083
Knight, J. F.
2
1998
Simple and immune relations on countable structures. Zbl 1024.03034
Goncharov, 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.91145
Knight, J.; Satchell, S. E.
2
2010
On automorphic tuples of elements in computable models. Zbl 1224.03013
Goncharov, S. S.; Harizanov, V. S.; Knight, J. F.; Morozov, A. S.; Romina, A. V.
2
2005
Complexity of Scott sentences. Zbl 07301036
Alvir, Rachael; Knight, Julia F.; Csc, Charles Mccoy
2
2020
Comparing classes of finite sums. Zbl 1375.03034
Andrews, U.; Dushenin, D. I.; Hill, C.; Knight, J. F.; Melnikov, Alexander G.
1
2016
Effective construction of models. Zbl 0624.03029
Knight, Julia F.
1
1986
A complete theory with arbitrarily large minimality ranks. Zbl 0538.03026
Woodrow, Robert E.; Knight, Julia F.
1
1983
Additive structure in uncountable models for a fixed completion of P. Zbl 0549.03026
Knight, Julia F.
1
1983
Omitting types in set theory and arithmetic. Zbl 0328.02039
Knight, Julia F.
1
1976
Representing Scott sets in algebraic settings. Zbl 1408.03030
Dolich, Alf; Knight, Julia F.; Lange, Karen; Marker, David
1
2015
A completeness theorem for certain classes of recursive infinitary formulas. Zbl 0810.03037
Ash, Christopher J.; Knight, Julia F.
1
1994
Lengths of developments in \(K((G))\). Zbl 1428.12011
Knight, Julia F.; Lange, Karen
1
2019
Strongly minimal theories with recursive models. Zbl 1437.03127
Andrews, Uri; Knight, Julia F.
1
2018
Shrinking, stretching and codes for homogeneous structures. Zbl 0691.03020
Knight, Julia F.; Lachlan, Alistair H.
1
1987
Complete types and the natural numbers. Zbl 0276.02035
Knight, Julia F.
1
1973
Generic expansions of structures. Zbl 0285.02044
Knight, Julia F.
1
1974
Sequences of \(n\)-diagrams. Zbl 1035.03015
Harizanov, Valentina S.; Knight, Julia F.; Morozov, Andrei S.
1
2002
The Kleene-Mostowski hierarchy and the Davis-Mostowski hierarchy. Zbl 1180.03038
Knight, Julia F.
1
2008
Computable embeddings and strongly minimal theories. Zbl 1127.03030
Chisholm, J.; Knight, J. F.; Miller, S.
1
2007
Computable structures of Scott rank \(\omega_1^{\mathrm{CK}}\). Zbl 1243.03049
Knight, Julia F.
1
2011
Limit computable integer parts. Zbl 1247.03060
D’Aquino, Paola; Knight, Julia; Lange, Karen
1
2011
Real closed exponential fields. Zbl 1285.03036
D’Aquino, Paola; Knight, Julia F.; Kuhlmann, Salma; Lange, Karen
1
2012
Complexity of Scott sentences. Zbl 07301036
Alvir, Rachael; Knight, Julia F.; Csc, Charles Mccoy
2
2020
Lengths of developments in \(K((G))\). Zbl 1428.12011
Knight, Julia F.; Lange, Karen
1
2019
Scott sentences for certain groups. Zbl 06860723
Knight, Julia F.; Saraph, Vikram
5
2018
Uniform procedures in uncountable structures. Zbl 06915712
Greenberg, Noam; Melnikov, Alexander G.; Knight, Julia F.; Turetsky, Daniel
4
2018
Some new computable structures of high rank. Zbl 1469.03122
Harrison-Trainor, Matthew; Igusa, Gregory; Knight, Julia F.
2
2018
Strongly minimal theories with recursive models. Zbl 1437.03127
Andrews, Uri; Knight, Julia F.
1
2018
Computing strength of structures related to the field of real numbers. Zbl 1429.03141
Igusa, Gregory; Knight, Julia F.; Schweber, Noah David
2
2017
Computable structures in generic extensions. Zbl 1388.03042
Knight, Julia; Montalbán, Antonio; Schweber, Noah
5
2016
Comparing two versions of the reals. Zbl 1371.03051
Igusa, G.; Knight, J. F.
2
2016
Comparing classes of finite sums. Zbl 1375.03034
Andrews, U.; Dushenin, D. I.; Hill, C.; Knight, J. F.; Melnikov, Alexander G.
1
2016
Representing Scott sets in algebraic settings. Zbl 1408.03030
Dolich, Alf; Knight, Julia F.; Lange, Karen; Marker, David
1
2015
Index sets and Scott sentences. Zbl 1338.03087
Knight, J. F.; McCoy, C.
5
2014
Using computability to measure complexity of algebraic structures and classes of structures. Zbl 1325.03036
Knight, J. F.
2
2014
Complexity of structures associated with real closed fields. Zbl 1294.03029
Knight, Julia F.; Lange, Karen
6
2013
Computable structure theory on \(\omega_1\) using admissibility. Zbl 1369.03116
Greenberg, Noam; Knight, Julia F.
3
2013
Classes of structures with universe a subset of \(\omega _{1}\). Zbl 1327.03027
Fokina, Ekaterina; Friedman, Sy-David; Knight, Julia; Miller, Russell
3
2013
The arithmetical hierarchy in the setting of \(\omega_1\). Zbl 1350.03034
Carson, Jacob; Johnson, Jesse; Knight, Julia; Lange, Karen; McCoy, Charles; Wallbaum, John
3
2013
Spectra of atomic theories. Zbl 1327.03025
Andrews, Uri; Knight, Julia F.
2
2013
Isomorphism relations on computable structures. Zbl 1255.03040
Fokina, Ekaterina B.; Friedman, Sy-David; Harizanov, Valentina; Knight, Julia F.; McCoy, Charles; Montalbán, Antonio
14
2012
Describing free groups. Zbl 1302.03045
Carson, 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.03037
Carson, 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.03026
D’Aquino, P.; Knight, J. F.; Starchenko, S.
2
2012
Real closed exponential fields. Zbl 1285.03036
D’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.03042
Fokina, E.; Knight, J. F.; Melnikov, A.; Quinn, S. M.; Safranski, C.
7
2011
Computable structures of Scott rank \(\omega_1^{\mathrm{CK}}\). Zbl 1243.03049
Knight, Julia F.
1
2011
Limit computable integer parts. Zbl 1247.03060
D’Aquino, Paola; Knight, Julia; Lange, Karen
1
2011
Real closed fields and models of Peano arithmetic. Zbl 1186.03061
D’Aquino, P.; Knight, J. F.; Starchenko, S.
8
2010
Decidability and computability of certain torsion-free abelian groups. Zbl 1211.03063
Downey, 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.03039
Knight, Julia F.; Millar, Jessica
4
2010
Exact properties of measures of optimal investment for benchmarked portfolios. Zbl 1195.91145
Knight, J.; Satchell, S. E.
2
2010
Intrinsic bounds on complexity and definability at limit levels. Zbl 1201.03019
Chisholm, 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.03013
Harizanov, Valentina S.; Jockusch, Carl G. jun.; Knight, Julia F.
3
2009
Categoricity of computable infinitary theories. Zbl 1161.03020
Calvert, W.; Goncharov, S. S.; Knight, J. F.; Millar, Jessica
2
2009
The Kleene-Mostowski hierarchy and the Davis-Mostowski hierarchy. Zbl 1180.03038
Knight, Julia F.
1
2008
Turing computable embeddings. Zbl 1123.03026
Knight, Julia F.; Miller, Sara; Vanden Boom, M.
17
2007
Index sets for classes of high rank structures. Zbl 1145.03021
Calvert, 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.03016
Calvert, W.; Goncharov, S. S.; Knight, J. F.
4
2007
Computable embeddings and strongly minimal theories. Zbl 1127.03030
Chisholm, J.; Knight, J. F.; Miller, S.
1
2007
Index sets of computable structures. Zbl 1164.03325
Calvert, W.; Harizanov, V. S.; Knight, J. F.; Miller, S.
20
2006
Computable trees of Scott rank \(\omega_1^{CK}\), and computable approximation. Zbl 1112.03039
Calvert, Wesley; Knight, Julia F.; Millar, Jessica
11
2006
Classification from a computable viewpoint. Zbl 1123.03024
Calvert, Wesley; Knight, Julia F.
10
2006
Enumerations in computable structure theory. Zbl 1081.03033
Goncharov, Sergey; Harizanov, Valentina; Knight, Julia; McCoy, Charles; Miller, Russell; Solomon, Reed
38
2005
On automorphic tuples of elements in computable models. Zbl 1224.03013
Goncharov, S. S.; Harizanov, V. S.; Knight, J. F.; Morozov, A. S.; Romina, A. V.
2
2005
Comparing classes of finite structures. Zbl 1097.03026
Calvert, Wesley; Cummins, Desmond; Knight, Julia F.; Miller, Sara
19
2004
Bounding prime models. Zbl 1071.03021
Csima, Barbara F.; Hirschfeldt, Denis R.; Knight, Julia F.; Soare, Robert I.
12
2004
\(\Pi^1_1\) relations and paths through \(\mathcal O\). Zbl 1107.03051
Goncharov, Sergey S.; Harizanov, Valentina; Knight, Julia F.; Shore, Richard A.
9
2004
Barwise: Infinitary logic and admissible sets. Zbl 1080.03026
Keisler, H. Jerome; Knight, Julia F.
6
2004
Simple and immune relations on countable structures. Zbl 1024.03034
Goncharov, Sergei S.; Harizanov, Valentina S.; Knight, Julia F.; McCoy, Charles F. D.
2
2003
Computable structure and non-structure theorems. Zbl 1034.03044
Goncharov, S. S.; Knight, Julia F.
31
2002
Sequences of \(n\)-diagrams. Zbl 1035.03015
Harizanov, Valentina S.; Knight, Julia F.; Morozov, Andrei S.
1
2002
Computable structures and the hyperarithmetical hierarchy. Zbl 0960.03001
Ash, C. J.; Knight, J. F.
222
2000
Computable Boolean algebras. Zbl 0974.03041
Knight, Julia F.; Stob, Michael
22
2000
True approximations and models of arithmetic. Zbl 0942.03047
Knight, Julia F.
3
1999
Degrees of models. Zbl 0933.03043
Knight, J. F.
6
1998
Coding a family of sets. Zbl 0924.03083
Knight, J. F.
2
1998
Permitting, forcing, and copying of a given recursive relation. Zbl 0883.03029
Ash, C. J.; Cholak, P.; Knight, J. F.
9
1997
Possible degrees in recursive copies. II. Zbl 0877.03022
Ash, C. J.; Knight, J. F.
6
1997
Quasi-simple relations in copies of a given recursive structure. Zbl 0883.03030
Ash, C. J.; Knight, J. F.; Remmel, J. B.
4
1997
Recursive structures and Ershov’s hierarchy. Zbl 0863.03018
Ash, Christopher J.; Knight, Julia F.
7
1996
Possible degrees in recursive copies. Zbl 0837.03036
Ash, C. J.; Knight, J. F.
6
1995
Ramified systems. Zbl 0819.03024
Ash, C. J.; Knight, J. F.
8
1994
Nonarithmetical \(\aleph_ 0\)-categorical theories with recursive models. Zbl 0804.03021
Knight, Julia F.
6
1994
Mixed systems. Zbl 0819.03023
Ash, C. J.; Knight, J. F.
3
1994
A completeness theorem for certain classes of recursive infinitary formulas. Zbl 0810.03037
Ash, Christopher J.; Knight, Julia F.
1
1994
Relatively recursive expansions. II. Zbl 0809.03024
Ash, C. J.; Knight, J. F.; Slaman, T. A.
2
1993
Orderings with \(\alpha\)th jump degree 0\(^{(\alpha)}\). Zbl 0748.03027
Downey, Rodney; Knight, Julia F.
10
1992
Relatively recursive expansions. Zbl 0809.03023
Ash, C. J.; Knight, J. F.
5
1992
Pairs of recursive structures. Zbl 0712.03020
Ash, C. J.; Knight, J. F.
37
1990
Jumps of orderings. Zbl 0705.03022
Ash, C. J.; Jockusch, C. G. jun.; Knight, J. F.
13
1990
A metatheorem for constructions by finitely many workers. Zbl 0708.03012
Knight, J. F.
7
1990
Decidability for a temporal logic used in discrete-event system analysis. Zbl 0719.93005
Knight, J. F.; Passino, K. M.
6
1990
Constructions by transfinitely many workers. Zbl 0712.03035
Knight, Julia F.
3
1990
Generic copies of countable structures. Zbl 0678.03012
Ash, Chris; Knight, Julia; Manasse, Mark; Slaman, Theodore
63
1989
Shrinking, stretching and codes for homogeneous structures. Zbl 0691.03020
Knight, Julia F.; Lachlan, Alistair H.
1
1987
Definable sets in ordered structures. II. Zbl 0662.03024
Knight, Julia F.; Pillay, Anand; Steinhorn, Charles
69
1986
Degrees coded in jumps of orderings. Zbl 0633.03038
Knight, Julia F.
54
1986
Effective construction of models. Zbl 0624.03029
Knight, Julia F.
1
1986
Two theorems on degrees of models of true arithmetic. Zbl 0576.03044
Knight, Julia; Lachlan, Alistair H.; Soare, Robert I.
5
1984
Degrees of types and independent sequences. Zbl 0541.03015
Knight, Julia F.
2
1983
A complete theory with arbitrarily large minimality ranks. Zbl 0538.03026
Woodrow, Robert E.; Knight, Julia F.
1
1983
Additive structure in uncountable models for a fixed completion of P. Zbl 0549.03026
Knight, Julia F.
1
1983
Models of arithmetic and closed ideals. Zbl 0518.03032
Knight, Julia; Nadel, Mark
6
1982
Theories whose resplendent models are homogeneous. Zbl 0497.03023
Knight, Julia F.
5
1982
Expansions of models and Turing degrees. Zbl 0527.03013
Knight, Julia; Nadel, Mark
4
1982
Prime and atomic models. Zbl 0388.03014
Knight, Julia F.
3
1978
A complete \(L_{\omega_1\omega}\)-sentence characterizing \(\aleph_1\). Zbl 0426.03037
Knight, Julia F.
5
1977
Hanf numbers for omitting types over particular theories. Zbl 0343.02039
Knight, Julia F.
3
1976
Omitting types in set theory and arithmetic. Zbl 0328.02039
Knight, Julia F.
1
1976
Generic expansions of structures. Zbl 0285.02044
Knight, Julia F.
1
1974
Complete types and the natural numbers. Zbl 0276.02035
Knight, Julia F.
1
1973
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

Citations by Year