Barbara F. Csima

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 12

Top Topics

Positively Correlated

Multiple Classes

Low Memory Requirements

Top Venues

Notre Dame J. Formal Log.

Ann. Pure Appl. Log.

Publications

Will Boney, Barbara F. Csima, Nancy A. Day, Matthew Harrison-Trainor
Which Classes of Structures Are Both Pseudo-Elementary and Definable by an Infinitary Sentence? Bull. Symb. Log. 29 (1) (2023)
Barbara F. Csima, Keng Meng Ng
Every Δ20 degree is a strong degree of categoricity. J. Math. Log. 22 (3) (2022)
Barbara F. Csima, Dino Rossegger, Daniel Yu
Positive Enumerable Functors. CiE (2021)
Laurent Bienvenu, Barbara F. Csima, Matthew Harrison-Trainor
Some Questions of Uniformity in Algorithmic Randomness. J. Symb. Log. 86 (4) (2021)
Laurent Bienvenu, Barbara F. Csima, Matthew Harrison-Trainor
Some Questions of Uniformity in Algorithmic Randomness. CoRR (2021)
Barbara F. Csima, Michael Deveau, Matthew Harrison-Trainor, Mohammad Assem Mahmoud
Degrees of categoricity above limit ordinals. Comput. 9 (2) (2020)
Barbara F. Csima, Damir D. Dzhafarov, Denis R. Hirschfeldt, Carl G. Jockusch Jr., Reed Solomon, Linda Brown Westrick
The reverse mathematics of Hindman's Theorem for sums of exactly two elements. Comput. 8 (3-4) (2019)
Barbara F. Csima, Jonathan Stephenson
Finite computable dimension and degrees of categoricity. Ann. Pure Appl. Log. 170 (1) (2019)
Bernard A. Anderson, Barbara F. Csima, Karen M. Lange
Bounded low and high sets. Arch. Math. Log. 56 (5-6) (2017)
Barbara F. Csima, Matthew Harrison-Trainor
Degrees of Categoricity on a cone via η-Systems. J. Symb. Log. 82 (1) (2017)
Bernard A. Anderson, Barbara F. Csima
Degrees That Are Not Degrees of Categoricity. Notre Dame J. Formal Log. 57 (3) (2016)
Barbara F. Csima, Carolyn Knoll
Measuring complexities of classes of structures. Ann. Pure Appl. Log. 166 (12) (2015)
Bernard A. Anderson, Barbara F. Csima
A Bounded Jump for the Bounded Turing Degrees. Notre Dame J. Formal Log. 55 (2) (2014)
Barbara F. Csima, Johanna N. Y. Franklin, Richard A. Shore
Degrees of Categoricity and the Hyperarithmetic Hierarchy. Notre Dame J. Formal Log. 54 (2) (2013)
Barbara F. Csima, Valentina S. Harizanov, Russell G. Miller, Antonio Montalbán
Computability of Fraïssé limits. J. Symb. Log. 76 (1) (2011)
Barbara F. Csima, Rod Downey, Keng Meng Ng
Limits on jump inversion for strong reducibilities. J. Symb. Log. 76 (4) (2011)
Barbara F. Csima, Reed Solomon
The complexity of central series in nilpotent computable groups. Ann. Pure Appl. Log. 162 (8) (2011)
Barbara F. Csima, Iskander Sh. Kalimullin
Degree spectra and immunity properties. Math. Log. Q. 56 (1) (2010)
Barbara F. Csima
Sets. J. Log. Comput. 19 (1) (2009)
Douglas A. Cenzer, Barbara F. Csima, Bakhadyr Khoussainov
Linear orders with distinguished function symbol. Arch. Math. Log. 48 (1) (2009)
Barbara F. Csima, Joseph R. Mileti
The strength of the rainbow Ramsey Theorem. J. Symb. Log. 74 (4) (2009)
Barbara F. Csima, Bakhadyr Khoussainov, Jiamou Liu
Computable Categoricity of Graphs with Finite Components. CiE (2008)
Barbara F. Csima, Bakhadyr Khoussainov
When Is Reachability Intrinsically Decidable?. Developments in Language Theory (2008)
Barbara F. Csima
Comparing C.E. Sets Based on Their Settling Times. CiE (2007)
Barbara F. Csima, Valentina S. Harizanov, Denis R. Hirschfeldt, Robert I. Soare
Bounding homogeneous models. J. Symb. Log. 72 (1) (2007)
Barbara F. Csima, Richard A. Shore
The settling-time reducibility ordering. J. Symb. Log. 72 (3) (2007)
Barbara F. Csima, Robert I. Soare
Computability results used in differential geometry. J. Symb. Log. 71 (4) (2006)
Barbara F. Csima, Antonio Montalbán, Richard A. Shore
Boolean Algebras, Tarski Invariants, and Index Sets. Notre Dame J. Formal Log. 47 (1) (2006)
Barbara F. Csima, Rod Downey, Noam Greenberg, Denis R. Hirschfeldt, Joseph S. Miller
Every 1-generic computes a properly 1-generic. J. Symb. Log. 71 (4) (2006)
Barbara F. Csima, Denis R. Hirschfeldt, Julia F. Knight, Robert I. Soare
Bounding prime models. J. Symb. Log. 69 (4) (2004)
Barbara F. Csima
Degree spectra of prime models. J. Symb. Log. 69 (2) (2004)