Barbara F. Csima

According to our database, Barbara F. Csima authored at least 31 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

ON THE C.E. DEGREES REALIZABLE IN $\Pi ^0_1$ CLASSES.

Barbara F. Csima, Rod Downey, Keng Meng Ng

J. Symb. Log., 2024

2023

Which Classes of Structures Are Both Pseudo-Elementary and Definable by an Infinitary Sentence?

Will Boney, Barbara F. Csima, Nancy A. Day, Matthew Harrison-Trainor

Bull. Symb. Log., March, 2023

2022

Every Δ20 degree is a strong degree of categoricity.

Barbara F. Csima, Keng Meng Ng

J. Math. Log., 2022

2021

Some Questions of Uniformity in Algorithmic Randomness.

Laurent Bienvenu, Barbara F. Csima, Matthew Harrison-Trainor

J. Symb. Log., 2021

Positive Enumerable Functors.

Barbara F. Csima, Dino Rossegger, Daniel Yu

Proceedings of the Connecting with Computability, 2021

2020

Degrees of categoricity above limit ordinals.

Barbara F. Csima, Michael Deveau, Matthew Harrison-Trainor, Mohammad Assem Mahmoud

Comput., 2020

2019

The reverse mathematics of Hindman's Theorem for sums of exactly two elements.

Barbara F. Csima, Damir D. Dzhafarov, Denis R. Hirschfeldt, Carl G. Jockusch Jr., Reed Solomon, Linda Brown Westrick

Comput., 2019

Finite computable dimension and degrees of categoricity.

Barbara F. Csima, Jonathan Stephenson

Ann. Pure Appl. Log., 2019

2017

Degrees of Categoricity on a cone via η-Systems.

Barbara F. Csima, Matthew Harrison-Trainor

J. Symb. Log., 2017

Bounded low and high sets.

Bernard A. Anderson, Barbara F. Csima, Karen M. Lange

Arch. Math. Log., 2017

2016

Degrees That Are Not Degrees of Categoricity.

Bernard A. Anderson, Barbara F. Csima

Notre Dame J. Formal Log., 2016

2015

Measuring complexities of classes of structures.

Barbara F. Csima, Carolyn Knoll

Ann. Pure Appl. Log., 2015

2014

A Bounded Jump for the Bounded Turing Degrees.

Bernard A. Anderson, Barbara F. Csima

Notre Dame J. Formal Log., 2014

2013

Degrees of Categoricity and the Hyperarithmetic Hierarchy.

Barbara F. Csima, Johanna N. Y. Franklin, Richard A. Shore

Notre Dame J. Formal Log., 2013

2011

Computability of Fraïssé limits.

Barbara F. Csima, Valentina S. Harizanov, Russell G. Miller, Antonio Montalbán

J. Symb. Log., 2011

Limits on jump inversion for strong reducibilities.

Barbara F. Csima, Rod Downey, Keng Meng Ng

J. Symb. Log., 2011

The complexity of central series in nilpotent computable groups.

Barbara F. Csima, Reed Solomon

Ann. Pure Appl. Log., 2011

2010

Degree spectra and immunity properties.

Barbara F. Csima, Iskander Sh. Kalimullin

Math. Log. Q., 2010

2009

The Settling Time Reducibility Ordering and Delta₂⁰ Sets.

Barbara F. Csima

J. Log. Comput., 2009

The strength of the rainbow Ramsey Theorem.

Barbara F. Csima, Joseph R. Mileti

J. Symb. Log., 2009

Linear orders with distinguished function symbol.

Douglas A. Cenzer, Barbara F. Csima, Bakhadyr Khoussainov

Arch. Math. Log., 2009

2008

When Is Reachability Intrinsically Decidable?.

Barbara F. Csima, Bakhadyr Khoussainov

Proceedings of the Developments in Language Theory, 12th International Conference, 2008

Computable Categoricity of Graphs with Finite Components.

Barbara F. Csima, Bakhadyr Khoussainov, Jiamou Liu

Proceedings of the Logic and Theory of Algorithms, 2008

2007

The settling-time reducibility ordering.

Barbara F. Csima, Richard A. Shore

J. Symb. Log., 2007

Bounding homogeneous models.

Barbara F. Csima, Valentina S. Harizanov, Denis R. Hirschfeldt, Robert I. Soare

J. Symb. Log., 2007

Comparing C.E. Sets Based on Their Settling Times.

Barbara F. Csima

Proceedings of the Computation and Logic in the Real World, 2007

2006

Boolean Algebras, Tarski Invariants, and Index Sets.

Barbara F. Csima, Antonio Montalbán, Richard A. Shore

Notre Dame J. Formal Log., 2006

Computability results used in differential geometry.

Barbara F. Csima, Robert I. Soare

J. Symb. Log., 2006

Every 1-generic computes a properly 1-generic.

Barbara F. Csima, Rod Downey, Noam Greenberg, Denis R. Hirschfeldt, Joseph S. Miller

J. Symb. Log., 2006

2004

Bounding prime models.

Barbara F. Csima, Denis R. Hirschfeldt, Julia F. Knight, Robert I. Soare

J. Symb. Log., 2004

Degree spectra of prime models.

Barbara F. Csima

J. Symb. Log., 2004