Julia F. Knight

78 papers Journal 77Unranked 1

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	Expanding the Reals by continuous Functions Adds no Computational Power. J. Symb. Log. Uri Andrews, Julia F. Knight, Rutger Kuyper, Joseph S. Miller, Mariya Ivanova Soskova
2022	J	`jnl`	Copying One of a Pair of Structures. J. Symb. Log. Rachael Alvir, Hannah Burchfield, Julia F. Knight
2022	J	`jnl`	Interpreting a field in its Heisenberg Group. J. Symb. Log. Rachael Alvir, Wesley Calvert, Grant Goodman, Valentina S. Harizanov, Julia F. Knight, Russell G. Miller, Andrey S. Morozov, Alexandra A. Soskova, Rose Weisshaar
2020	J	`jnl`	Coding in graphs and linear Orderings. J. Symb. Log. Julia F. Knight, Alexandra A. Soskova, Stefan V. Vatev
2019	J	`jnl`	Preface of the special issue for the Oberwolfach Workshop on Computability Theory 2018. Comput. Vasco Brattka, Rod Downey, Julia F. Knight, Steffen Lempp
2018	J	`jnl`	Hanf number for Scott sentences of computable structures. Arch. Math. Log. Sergey Goncharov, Julia F. Knight, Ioannis A. Souldatos
2018	J	`jnl`	Scott sentences for certain groups. Arch. Math. Log. Julia F. Knight, Vikram Saraph
2018	J	`jnl`	Strong jump inversion. J. Log. Comput. Wesley Calvert, Andrey N. Frolov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Alexandra A. Soskova, Stefan V. Vatev
2018	J	`jnl`	Uniform Procedures in uncountable Structures. J. Symb. Log. Noam Greenberg, Alexander G. Melnikov, Julia F. Knight, Daniel Turetsky
2017	J	`jnl`	Computing strength of Structures Related to the field of Real numbers. J. Symb. Log. Gregory Igusa, Julia F. Knight, Noah David Schweber
2016	J	`jnl`	Comparing two Versions of the Reals. J. Symb. Log. Gregory Igusa, Julia F. Knight
2016	J	`jnl`	Computable Structures in Generic Extensions. J. Symb. Log. Julia F. Knight, Antonio Montalbán, Noah David Schweber
2015	J	`jnl`	Erratum to: Limit computable integer parts. Arch. Math. Log. Paola D'Aquino, Julia F. Knight, Karen M. Lange
2015	J	`jnl`	Representing Scott sets in algebraic settings. Arch. Math. Log. Alf Dolich, Julia F. Knight, Karen M. Lange, David Marker
2014	J	`jnl`	Index sets and Scott sentences. Arch. Math. Log. Julia F. Knight, Charles F. D. McCoy
2013	J	`jnl`	An example related to Gregory's Theorem. Arch. Math. Log. Jesse Johnson, Julia F. Knight, V. Ocasio, S. VanDenDriessche
2013	J	`jnl`	Classes of structures with universe a subset of J. Log. Comput. Ekaterina B. Fokina, Sy-David Friedman, Julia F. Knight, Russell G. Miller
2013	J	`jnl`	Spectra of atomic theories. J. Symb. Log. Uri Andrews, Julia F. Knight
2013	J	`jnl`	The Arithmetical Hierarchy in the Setting of ω Comput. Jacob Carson, Jesse Johnson, Julia F. Knight, Karen M. Lange, Charles F. D. McCoy, John Wallbaum
2012	J	`jnl`	Corrigendum to: "Real closed fields and models of arithmetic". J. Symb. Log. Paola D'Aquino, Julia F. Knight, Sergei Starchenko
2012	J	`jnl`	Isomorphism relations on computable structures. J. Symb. Log. Ekaterina B. Fokina, Sy-David Friedman, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Antonio Montalbán
2011	J	`jnl`	Classes of Ulm type and coding rank-homogeneous trees in other structures. J. Symb. Log. Ekaterina B. Fokina, Julia F. Knight, Alexander G. Melnikov, Sara Quinn, C. Safranski
2011	J	`jnl`	Limit computable integer parts. Arch. Math. Log. Paola D'Aquino, Julia F. Knight, Karen M. Lange
2010	J	`jnl`	Computable Structures of Rank. J. Math. Log. Julia F. Knight, Jessica Millar
2010	J	`jnl`	Decidability and Computability of Certain Torsion-Free Abelian Groups. Notre Dame J. Formal Log. Rodney G. Downey, Sergei S. Goncharov, Asher M. Kach, Julia F. Knight, Oleg V. Kudinov, Alexander G. Melnikov, Daniel Turetsky
2010	J	`jnl`	Real closed fields and models of Peano arithmetic. J. Symb. Log. Paola D'Aquino, Julia F. Knight, Sergei Starchenko
2009	J	`jnl`	Categoricity of computable infinitary theories. Arch. Math. Log. Wesley Calvert, Sergei S. Goncharov, Julia F. Knight, Jessica Millar
2009	J	`jnl`	Chains and antichains in partial orderings. Arch. Math. Log. Valentina S. Harizanov, Carl G. Jockusch Jr., Julia F. Knight
2009	J	`jnl`	Intrinsic bounds on complexity and definability at limit levels. J. Symb. Log. John Chisholm, Ekaterina B. Fokina, Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Sara Quinn
2007	J	`jnl`	Computable embeddings and strongly minimal theories. J. Symb. Log. John Chisholm, Julia F. Knight, Sara Miller
2007	J	`jnl`	Index sets for classes of high rank structures. J. Symb. Log. Wesley Calvert, Ekaterina B. Fokina, Sergei S. Goncharov, Julia F. Knight, Oleg V. Kudinov, Andrei S. Morozov, Vadim Puzarenko
2007	J	`jnl`	Turing computable embeddings. J. Symb. Log. Julia F. Knight, Sara Miller, Michael Vanden Boom
2006	J	`jnl`	Classification from a Computable Viewpoint. Bull. Symb. Log. Wesley Calvert, Julia F. Knight
2006	J	`jnl`	Computable trees of Scott rank ω J. Symb. Log. Wesley Calvert, Julia F. Knight, Jessica Millar
2005	J	`jnl`	Enumerations in computable structure theory. Ann. Pure Appl. Log. Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Russell G. Miller, Reed Solomon
2004	J	`jnl`	Barwise: infinitary logic and admissible sets. Bull. Symb. Log. H. Jerome Keisler, Julia F. Knight
2004	J	`jnl`	Bounding prime models. J. Symb. Log. Barbara F. Csima, Denis R. Hirschfeldt, Julia F. Knight, Robert I. Soare
2004	J	`jnl`	Pi J. Symb. Log. Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Richard A. Shore
2003	J	`jnl`	Simple and immune relations on countable structures. Arch. Math. Log. Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy
2002	J	`jnl`	Sequences of n-Diagrams. J. Symb. Log. Valentina S. Harizanov, Julia F. Knight, Andrei S. Morozov
2001	J	`jnl`	Minimality and Completions of PA. J. Symb. Log. Julia F. Knight
2000	J	`jnl`	Computable Boolean Algebras. J. Symb. Log. Julia F. Knight, Michael Stob
1998	J	`jnl`	Coding a Family of Sets. Ann. Pure Appl. Log. Julia F. Knight
1997	J	`jnl`	Permitting, Forcing, and Copying of a Given Recursive Relation. Ann. Pure Appl. Log. Christopher J. Ash, Peter Cholak, Julia F. Knight
1997	J	`jnl`	Possible Degrees in Recursive Copies II. Ann. Pure Appl. Log. Christopher J. Ash, Julia F. Knight
1997	J	`jnl`	Quasi-Simple Relations in Copies of a Given Recursive Structure. Ann. Pure Appl. Log. Christopher J. Ash, Julia F. Knight, Jeffrey B. Remmel
1996	—	`conf`	Control Theory, Modal Logic and Games. Hybrid Systems Julia F. Knight, Brian Luense
1996	J	`jnl`	Recursive Structures and Ershov's Hierarchy. Math. Log. Q. Christopher J. Ash, Julia F. Knight
1995	J	`jnl`	Possible Degrees in Recursive Copies. Ann. Pure Appl. Log. Christopher J. Ash, Julia F. Knight
1995	J	`jnl`	Requirement Systems. J. Symb. Log. Julia F. Knight
1994	J	`jnl`	A Completeness Theorem for Certain Classes of Recursive Infinitary Formulas. Math. Log. Q. Christopher J. Ash, Julia F. Knight
1994	J	`jnl`	Mixed Systems. J. Symb. Log. Christopher J. Ash, Julia F. Knight
1994	J	`jnl`	Nonarithmetical aleph J. Symb. Log. Julia F. Knight
1994	J	`jnl`	Ramified Systems. Ann. Pure Appl. Log. Christopher J. Ash, Julia F. Knight
1990	J	`jnl`	A Metatheorem for Constructions by Finitely Many Workers. J. Symb. Log. Julia F. Knight
1990	J	`jnl`	Constructions by Transfinitely Many Workers. Ann. Pure Appl. Log. Julia F. Knight
1990	J	`jnl`	Pairs of Recursive Structures. Ann. Pure Appl. Log. Christopher J. Ash, Julia F. Knight
1989	J	`jnl`	Generic Copies of Countable Structures. Ann. Pure Appl. Log. Christopher J. Ash, Julia F. Knight, Mark S. Manasse, Theodore A. Slaman
1988	J	`jnl`	Meeting of the Association for Symbolic Logic: San Antonio, 1987. J. Symb. Log. Julia F. Knight
1986	J	`jnl`	Degrees Coded in Jumps of Orderings. J. Symb. Log. Julia F. Knight
1986	J	`jnl`	Saturation of Homogeneous Resplendent Models. J. Symb. Log. Julia F. Knight
1985	J	`jnl`	Meeting of the Association for Symbolic Logic: Notre Dame, Indiana, 1984. J. Symb. Log. John T. Baldwin, Matt Kaufmann, Julia F. Knight
1984	J	`jnl`	Two Theorems on Degrees of Models of True Arithmetic. J. Symb. Log. Julia F. Knight, Alistair H. Lachlan, Robert I. Soare
1983	J	`jnl`	A Complete Theory with Arbitrarily Large Minimality Ranks. J. Symb. Log. Robert E. Woodrow, Julia F. Knight
1983	J	`jnl`	Additive Structure in Uncountable Models for a Fixed Completion of P. J. Symb. Log. Julia F. Knight
1983	J	`jnl`	Degrees of Types and Independent Sequences. J. Symb. Log. Julia F. Knight
1982	J	`jnl`	Expansions of Models and Turing Degrees. J. Symb. Log. Julia F. Knight, Mark E. Nadel
1982	J	`jnl`	Models of Arithmetic and Closed Ideals. J. Symb. Log. Julia F. Knight, Mark E. Nadel
1981	J	`jnl`	Algebraic Independence. J. Symb. Log. Julia F. Knight
1978	J	`jnl`	An Inelastic Model with Indiscernibles. J. Symb. Log. Julia F. Knight
1978	J	`jnl`	Prime and Atomic Models. J. Symb. Log. Julia F. Knight
1977	J	`jnl`	A Complete L J. Symb. Log. Julia F. Knight
1977	J	`jnl`	Skolem Functions and Elementary Embeddings. J. Symb. Log. Julia F. Knight
1976	J	`jnl`	Hanf Numbers for Omitting Types Over Particular Theories. J. Symb. Log. Julia F. Knight
1976	J	`jnl`	Omitting Types in Set Theory and Arithmetic. J. Symb. Log. Julia F. Knight
1975	J	`jnl`	Types Omitted in Uncountable Models of Arithmetic. J. Symb. Log. Julia F. Knight
1973	J	`jnl`	Complete Types and the Natural Numbers. J. Symb. Log. Julia F. Knight
1973	J	`jnl`	Generic Expansions of Structures. J. Symb. Log. Julia F. Knight