Barbara F. Csima

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