| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ekaterina B. Fokina, Sy-David Friedman, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Antonio Montalbán |
Isomorphism relations on computable structures.  |
J. Symb. Log.  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Paola D'Aquino, Julia F. Knight, Sergei Starchenko |
Corrigendum to: "Real closed fields and models of arithmetic". |
J. Symb. Log. |
2012 |
DBLP BibTeX RDF |
|
| 1 | Ekaterina B. Fokina, Julia F. Knight, Alexander G. Melnikov, Sara Quinn, C. Safranski |
Classes of Ulm type and coding rank-homogeneous trees in other structures. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Paola D'Aquino, Julia F. Knight, Karen Lange |
Limit computable integer parts. |
Arch. Math. Log. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodney G. Downey, Sergei S. Goncharov, Asher M. Kach, Julia F. Knight, Oleg V. Kudinov, Alexander G. Melnikov, Daniel Turetsky |
Decidability and Computability of Certain Torsion-Free Abelian Groups. |
Notre Dame Journal of Formal Logic |
2010 |
DBLP BibTeX RDF |
|
| 1 | Paola D'Aquino, Julia F. Knight, Sergei Starchenko |
Real closed fields and models of Peano arithmetic. |
J. Symb. Log. |
2010 |
DBLP BibTeX RDF |
|
| 1 | John Chisholm, Ekaterina B. Fokina, Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Sara Quinn |
Intrinsic bounds on complexity and definability at limit levels. |
J. Symb. Log. |
2009 |
DBLP BibTeX RDF |
|
| 1 | Valentina S. Harizanov, Carl G. Jockusch Jr., Julia F. Knight |
Chains and antichains in partial orderings. |
Arch. Math. Log. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wesley Calvert, Sergei S. Goncharov, Julia F. Knight, Jessica Millar |
Categoricity of computable infinitary theories. |
Arch. Math. Log. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | John Chisholm, Julia F. Knight, Sara Miller |
Computable embeddings and strongly minimal theories. |
J. Symb. Log. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Wesley Calvert, Ekaterina B. Fokina, Sergei S. Goncharov, Julia F. Knight, Oleg V. Kudinov, Andrei S. Morozov, V. Puzarenko |
Index sets for classes of high rank structures. |
J. Symb. Log. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Julia F. Knight, Sara Miller, Michael Vanden Boom |
Turing computable embeddings. |
J. Symb. Log. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Wesley Calvert, Julia F. Knight, Jessica Millar |
Computable trees of Scott rank omega 1CK, and computable approximation. |
J. Symb. Log. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Wesley Calvert, Julia F. Knight |
Classification from a Computable Viewpoint. |
Bulletin of Symbolic Logic |
2006 |
DBLP BibTeX RDF |
|
| 1 | Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Russell Miller, Reed Solomon |
Enumerations in computable structure theory. |
Ann. Pure Appl. Logic |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara F. Csima, Denis R. Hirschfeldt, Julia F. Knight, Robert I. Soare |
Bounding prime models. |
J. Symb. Log. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Richard A. Shore |
Pi11 relations and paths through. |
J. Symb. Log. |
2004 |
DBLP BibTeX RDF |
|
| 1 | H. Jerome Keisler, Julia F. Knight |
Barwise: infinitary logic and admissible sets. |
Bulletin of Symbolic Logic |
2004 |
DBLP BibTeX RDF |
|
| 1 | Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy |
Simple and immune relations on countable structures. |
Arch. Math. Log. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentina S. Harizanov, Julia F. Knight, Andrei S. Morozov |
Sequences of n-Diagrams. |
J. Symb. Log. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Julia F. Knight |
Minimality and Completions of PA. |
J. Symb. Log. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Julia F. Knight, Michael Stob |
Computable Boolean Algebras. |
J. Symb. Log. |
2000 |
DBLP BibTeX RDF |
|
| 1 | Julia F. Knight |
Coding a Family of Sets. |
Ann. Pure Appl. Logic |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher J. Ash, Julia F. Knight, Jeffrey B. Remmel |
Quasi-Simple Relations in Copies of a Given Recursive Structure. |
Ann. Pure Appl. Logic |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher J. Ash, Julia F. Knight |
Possible Degrees in Recursive Copies II. |
Ann. Pure Appl. Logic |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher J. Ash, Peter Cholak, Julia F. Knight |
Permitting, Forcing, and Copying of a Given Recursive Relation. |
Ann. Pure Appl. Logic |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher J. Ash, Julia F. Knight |
Recursive Structures and Ershov's Hierarchy. |
Math. Log. Q. |
1996 |
DBLP BibTeX RDF |
|
| 1 | Julia F. Knight, Brian Luense |
Control Theory, Modal Logic and Games. |
Hybrid Systems |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Julia F. Knight |
Requirement Systems. |
J. Symb. Log. |
1995 |
DBLP BibTeX RDF |
|
| 1 | Christopher J. Ash, Julia F. Knight |
Possible Degrees in Recursive Copies. |
Ann. Pure Appl. Logic |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher J. Ash, Julia F. Knight |
A Completeness Theorem for Certain Classes of Recursive Infinitary Formulas. |
Math. Log. Q. |
1994 |
DBLP BibTeX RDF |
|
| 1 | Julia F. Knight |
Nonarithmetical aleph0-Categorical Theories with Recursive Models. |
J. Symb. Log. |
1994 |
DBLP BibTeX RDF |
|
| 1 | Christopher J. Ash, Julia F. Knight |
Mixed Systems. |
J. Symb. Log. |
1994 |
DBLP BibTeX RDF |
|
| 1 | Christopher J. Ash, Julia F. Knight |
Ramified Systems. |
Ann. Pure Appl. Logic |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Julia F. Knight |
A Metatheorem for Constructions by Finitely Many Workers. |
J. Symb. Log. |
1990 |
DBLP BibTeX RDF |
|
| 1 | Julia F. Knight |
Constructions by Transfinitely Many Workers. |
Ann. Pure Appl. Logic |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher J. Ash, Julia F. Knight |
Pairs of Recursive Structures. |
Ann. Pure Appl. Logic |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher J. Ash, Julia F. Knight, Mark S. Manasse, Theodore A. Slaman |
Generic Copies of Countable Structures. |
Ann. Pure Appl. Logic |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Julia F. Knight |
Meeting of the Association for Symbolic Logic: San Antonio, 1987. |
J. Symb. Log. |
1988 |
DBLP BibTeX RDF |
|
| 1 | Julia F. Knight |
Degrees Coded in Jumps of Orderings. |
J. Symb. Log. |
1986 |
DBLP BibTeX RDF |
|
| 1 | Julia F. Knight |
Saturation of Homogeneous Resplendent Models. |
J. Symb. Log. |
1986 |
DBLP BibTeX RDF |
|
| 1 | John T. Baldwin, Matt Kaufmann, Julia F. Knight |
Meeting of the Association for Symbolic Logic: Notre Dame, Indiana, 1984. |
J. Symb. Log. |
1985 |
DBLP BibTeX RDF |
|
| 1 | Julia F. Knight, Alistair H. Lachlan, Robert I. Soare |
Two Theorems on Degrees of Models of True Arithmetic. |
J. Symb. Log. |
1984 |
DBLP BibTeX RDF |
|
| 1 | Julia F. Knight |
Degrees of Types and Independent Sequences. |
J. Symb. Log. |
1983 |
DBLP BibTeX RDF |
|
| 1 | Julia F. Knight |
Additive Structure in Uncountable Models for a Fixed Completion of P. |
J. Symb. Log. |
1983 |
DBLP BibTeX RDF |
|
| 1 | Robert E. Woodrow, Julia F. Knight |
A Complete Theory with Arbitrarily Large Minimality Ranks. |
J. Symb. Log. |
1983 |
DBLP BibTeX RDF |
|
| 1 | Julia F. Knight, Mark E. Nadel |
Models of Arithmetic and Closed Ideals. |
J. Symb. Log. |
1982 |
DBLP BibTeX RDF |
|
| 1 | Julia F. Knight, Mark E. Nadel |
Expansions of Models and Turing Degrees. |
J. Symb. Log. |
1982 |
DBLP BibTeX RDF |
|
| 1 | Julia F. Knight |
Algebraic Independence. |
J. Symb. Log. |
1981 |
DBLP BibTeX RDF |
|
| 1 | Julia F. Knight |
An Inelastic Model with Indiscernibles. |
J. Symb. Log. |
1978 |
DBLP BibTeX RDF |
|
| 1 | Julia F. Knight |
Prime and Atomic Models. |
J. Symb. Log. |
1978 |
DBLP BibTeX RDF |
|
| 1 | Julia F. Knight |
Skolem Functions and Elementary Embeddings. |
J. Symb. Log. |
1977 |
DBLP BibTeX RDF |
|
| 1 | Julia F. Knight |
A Complete L omega 1omega -Sentence Characterizing N1. |
J. Symb. Log. |
1977 |
DBLP BibTeX RDF |
|
| 1 | Julia F. Knight |
Hanf Numbers for Omitting Types Over Particular Theories. |
J. Symb. Log. |
1976 |
DBLP BibTeX RDF |
|
| 1 | Julia F. Knight |
Omitting Types in Set Theory and Arithmetic. |
J. Symb. Log. |
1976 |
DBLP BibTeX RDF |
|
| 1 | Julia F. Knight |
Types Omitted in Uncountable Models of Arithmetic. |
J. Symb. Log. |
1975 |
DBLP BibTeX RDF |
|
| 1 | Julia F. Knight |
Complete Types and the Natural Numbers. |
J. Symb. Log. |
1973 |
DBLP BibTeX RDF |
|
| 1 | Julia F. Knight |
Generic Expansions of Structures. |
J. Symb. Log. |
1973 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")