@article {MR4826759, title = {On the c.e. degrees realizable in $\Pi^0_1$ classes}, journal = {J. Symb. Log.}, volume = {89}, number = {3}, year = {2024}, pages = {1370{\textendash}1395}, issn = {0022-4812,1943-5886}, doi = {10.1017/jsl.2023.26}, url = {https://doi.org/10.1017/jsl.2023.26}, author = {Csima, Barbara F. and Downey, Rod and Ng, Keng Meng} } @article {MR4832744, title = {Degrees of categoricity and treeable degrees}, journal = {J. Math. Log.}, volume = {24}, number = {3}, year = {2024}, pages = {Paper No. 2450002, 18}, issn = {0219-0613,1793-6691}, doi = {10.1142/S0219061324500028}, url = {https://doi.org/10.1142/S0219061324500028}, author = {Csima, Barbara F. and Rossegger, Dino} } @article {MR4812662, title = {Effectiveness of Walker{\textquoteright}s cancellation theorem}, journal = {MLQ Math. Log. Q.}, volume = {70}, number = {3}, year = {2024}, pages = {347{\textendash}355}, issn = {0942-5616,1521-3870}, doi = {10.1002/malq.202400030}, url = {https://doi.org/10.1002/malq.202400030}, author = {Al-Hellawi, Layth and Alvir, Rachael and Csima, Barbara F. and Xie, Xinyue} } @article {MR4560532, title = {Which classes of structures are both pseudo-elementary and definable by an infinitary sentence?}, journal = {Bull. Symb. Log.}, volume = {29}, number = {1}, year = {2023}, pages = {1{\textendash}18}, issn = {1079-8986,1943-5894}, doi = {10.1017/bsl.2023.1}, url = {https://doi.org/10.1017/bsl.2023.1}, author = {Boney, Will and Csima, Barbara F. and Day, Nancy A. and Harrison-Trainor, Matthew} } @article {MR4520557, title = {Every $\Delta_2^0$ degree is a strong degree of categoricity}, journal = {J. Math. Log.}, volume = {22}, number = {3}, year = {2022}, pages = {Paper No. 2250022, 18}, issn = {0219-0613,1793-6691}, doi = {10.1142/S0219061322500222}, url = {https://doi.org/10.1142/S0219061322500222}, author = {Csima, Barbara F. and Ng, Keng Meng} } @conference {DBLP:conf/cie/CsimaRY21, title = {Positive Enumerable Functors}, booktitle = {Connecting with Computability - 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12813}, year = {2021}, pages = {385{\textendash}394}, publisher = {Springer}, organization = {Springer}, doi = {10.1007/978-3-030-80049-9_38}, url = {https://doi.org/10.1007/978-3-030-80049-9_38}, author = {Barbara F. Csima and Dino Rossegger and Daniel Yu}, editor = {Liesbeth De Mol and Andreas Weiermann and Florin Manea and David Fern{\'a}ndez-Duque} } @article {MR4362927, title = {Some questions of uniformity in algorithmic randomness}, journal = {J. Symb. Log.}, volume = {86}, number = {4}, year = {2021}, pages = {1612{\textendash}1631}, issn = {0022-4812,1943-5886}, doi = {10.1017/jsl.2021.58}, url = {https://doi.org/10.1017/jsl.2021.58}, author = {Bienvenu, Laurent and Csima, Barbara F. and Harrison-Trainor, Matthew} } @article {MR4100141, title = {Degrees of categoricity above limit ordinals}, journal = {Computability}, volume = {9}, number = {2}, year = {2020}, pages = {127{\textendash}137}, issn = {2211-3568}, doi = {10.3233/com-190254}, url = {https://doi-org.proxy.lib.uwaterloo.ca/10.3233/com-190254}, author = {Csima, Barbara F. and Deveau, Michael and Harrison-Trainor, Matthew and Mahmoud, Mohammad Assem} } @article {MR4068287, title = {Optimal bounds for single-source Kolmogorov extractors}, journal = {Trans. Amer. Math. Soc.}, volume = {373}, number = {3}, year = {2020}, pages = {1983{\textendash}2006}, issn = {0002-9947}, doi = {10.1090/tran/7972}, url = {https://doi-org.proxy.lib.uwaterloo.ca/10.1090/tran/7972}, author = {Bienvenu, Laurent and Csima, Barbara F. and Harrison-Trainor, Matthew} } @article {MR3870041, title = {Finite computable dimension and degrees of categoricity}, journal = {Ann. Pure Appl. Logic}, volume = {170}, number = {1}, year = {2019}, pages = {58{\textendash}94}, issn = {0168-0072}, doi = {10.1016/j.apal.2018.08.012}, url = {https://doi.org/10.1016/j.apal.2018.08.012}, author = {Csima, Barbara F. and Stephenson, Jonathan} } @article {MR4016726, title = {The reverse mathematics of Hindman\&$\#$39;s theorem for sums of exactly two elements}, journal = {Computability}, volume = {8}, number = {3-4}, year = {2019}, pages = {253{\textendash}263}, issn = {2211-3568}, doi = {10.3233/com-180094}, url = {https://doi-org.proxy.lib.uwaterloo.ca/10.3233/com-180094}, author = {Csima, Barbara F. and Dzhafarov, Damir D. and Hirschfeldt, Denis R. and Jockusch, Carl G. Jr. and Solomon, Reed and Westrick, Linda Brown} } @article {MR3682845, title = {Bounded low and high sets}, journal = {Arch. Math. Logic}, volume = {56}, number = {5-6}, year = {2017}, pages = {507{\textendash}521}, issn = {0933-5846}, doi = {10.1007/s00153-017-0537-8}, url = {https://doi.org/10.1007/s00153-017-0537-8}, author = {Anderson, Bernard A. and Csima, Barbara F. and Lange, Karen M.} } @article {MR3631290, title = {Degrees of categoricity on a cone via η-systems}, journal = {J. Symb. Log.}, volume = {82}, number = {1}, year = {2017}, pages = {325{\textendash}346}, issn = {0022-4812}, doi = {10.1017/jsl.2016.43}, url = {https://doi.org/10.1017/jsl.2016.43}, author = {Csima, Barbara F. and Harrison-Trainor, Matthew} } @unpublished {25963, title = {When does a relation code an isomorphism?}, year = {2017}, author = {Csima, Barbara F. and Deveau, Michael and Stephenson, Jonathan} } @article {MR3521488, title = {Degrees that are not degrees of categoricity}, journal = {Notre Dame J. Form. Log.}, volume = {57}, number = {3}, year = {2016}, pages = {389{\textendash}398}, issn = {0029-4527}, doi = {DOI:10.1215/00294527-3496154}, url = {https://doi.org/DOI:10.1215/00294527-3496154}, author = {Anderson, Bernard and Csima, Barbara} } @article {MR3397345, title = {Measuring complexities of classes of structures}, journal = {Ann. Pure Appl. Logic}, volume = {166}, number = {12}, year = {2015}, pages = {1365{\textendash}1381}, issn = {0168-0072}, doi = {10.1016/j.apal.2015.08.001}, url = {https://doi.org/10.1016/j.apal.2015.08.001}, author = {Csima, Barbara F. and Knoll, Carolyn} } @article {MR3201835, title = {A bounded jump for the bounded Turing degrees}, journal = {Notre Dame J. Form. Log.}, volume = {55}, number = {2}, year = {2014}, pages = {245{\textendash}264}, issn = {0029-4527}, doi = {10.1215/00294527-2420660}, url = {https://doi.org/10.1215/00294527-2420660}, author = {Anderson, Bernard and Csima, Barbara} } @article {MR3028796, title = {Degrees of categoricity and the hyperarithmetic hierarchy}, journal = {Notre Dame J. Form. Log.}, volume = {54}, number = {2}, year = {2013}, pages = {215{\textendash}231}, issn = {0029-4527}, doi = {10.1215/00294527-1960479}, url = {https://doi.org/10.1215/00294527-1960479}, author = {Csima, Barbara F. and Franklin, Johanna N. Y. and Shore, Richard A.} } @article {MR2784490, title = {The complexity of central series in nilpotent computable groups}, journal = {Ann. Pure Appl. Logic}, volume = {162}, number = {8}, year = {2011}, pages = {667{\textendash}678}, issn = {0168-0072}, doi = {10.1016/j.apal.2011.01.011}, url = {https://doi.org/10.1016/j.apal.2011.01.011}, author = {Csima, Barbara F. and Solomon, Reed} } @article {MR2791338, title = {Computability of Fra{\"\i}ss{\'e} limits}, journal = {J. Symbolic Logic}, volume = {76}, number = {1}, year = {2011}, pages = {66{\textendash}93}, issn = {0022-4812}, doi = {10.2178/jsl/1294170990}, url = {https://doi.org/10.2178/jsl/1294170990}, author = {Csima, Barbara F. and Harizanov, Valentina S. and Miller, Russell and Montalb{\'a}n, Antonio} } @article {MR2895396, title = {Limits on jump inversion for strong reducibilities}, journal = {J. Symbolic Logic}, volume = {76}, number = {4}, year = {2011}, pages = {1287{\textendash}1296}, issn = {0022-4812}, doi = {10.2178/jsl/1318338849}, url = {https://doi.org/10.2178/jsl/1318338849}, author = {Csima, Barbara F. and Downey, Rod and Ng, Keng Meng} } @article {MR2598838, title = {Degree spectra and immunity properties}, journal = {MLQ Math. Log. Q.}, volume = {56}, number = {1}, year = {2010}, pages = {67{\textendash}77}, issn = {0942-5616}, doi = {10.1002/malq.200910001}, url = {https://doi.org/10.1002/malq.200910001}, author = {Csima, Barbara F. and Kalimullin, Iskander S.} } @article {MR2480936, title = {Linear orders with distinguished function symbol}, journal = {Arch. Math. Logic}, volume = {48}, number = {1}, year = {2009}, pages = {63{\textendash}76}, issn = {0933-5846}, doi = {10.1007/s00153-008-0112-4}, url = {https://doi.org/10.1007/s00153-008-0112-4}, author = {Cenzer, Douglas and Csima, Barbara F. and Khoussainov, Bakhadyr} } @article {MR2475645, title = {The settling time reducibility ordering and $\Delta_2^0$ sets}, journal = {J. Logic Comput.}, volume = {19}, number = {1}, year = {2009}, pages = {145{\textendash}150}, issn = {0955-792X}, doi = {10.1093/logcom/exn031}, url = {https://doi.org/10.1093/logcom/exn031}, author = {Csima, Barbara F.} } @article {MR2583822, title = {The strength of the rainbow Ramsey theorem}, journal = {J. Symbolic Logic}, volume = {74}, number = {4}, year = {2009}, pages = {1310{\textendash}1324}, issn = {0022-4812}, doi = {10.2178/jsl/1254748693}, url = {https://doi.org/10.2178/jsl/1254748693}, author = {Csima, Barbara F. and Mileti, Joseph R.} } @inbook {MR2507010, title = {Computable categoricity of graphs with finite components}, booktitle = {Logic and theory of algorithms}, series = {Lecture Notes in Comput. Sci.}, volume = {5028}, year = {2008}, pages = {139{\textendash}148}, publisher = {Springer, Berlin}, organization = {Springer, Berlin}, doi = {10.1007/978-3-540-69407-6_15}, url = {https://doi.org/10.1007/978-3-540-69407-6_15}, author = {Csima, Barbara F. and Khoussainov, Bakhadyr and Liu, Jiamou} } @inbook {MR2490958, title = {When is reachability intrinsically decidable?}, booktitle = {Developments in language theory}, series = {Lecture Notes in Comput. Sci.}, volume = {5257}, year = {2008}, pages = {216{\textendash}227}, publisher = {Springer, Berlin}, organization = {Springer, Berlin}, doi = {10.1007/978-3-540-85780-8_17}, url = {https://doi.org/10.1007/978-3-540-85780-8_17}, author = {Csima, Barbara F. and Khoussainov, Bakhadyr} } @article {MR2298484, title = {Bounding homogeneous models}, journal = {J. Symbolic Logic}, volume = {72}, number = {1}, year = {2007}, pages = {305{\textendash}323}, issn = {0022-4812}, doi = {10.2178/jsl/1174668397}, url = {https://doi.org/10.2178/jsl/1174668397}, author = {Csima, Barbara F. and Harizanov, Valentina S. and Hirschfeldt, Denis R. and Soare, Robert I.} } @inbook {MR2646230, title = {Comparing c.e. sets based on their settling times}, booktitle = {Computation and logic in the real world}, series = {Lecture Notes in Comput. Sci.}, volume = {4497}, year = {2007}, pages = {196{\textendash}204}, publisher = {Springer, Berlin}, organization = {Springer, Berlin}, doi = {10.1007/978-3-540-73001-9_21}, url = {https://doi.org/10.1007/978-3-540-73001-9_21}, author = {Csima, Barbara F.} } @article {MR2354915, title = {The settling-time reducibility ordering}, journal = {J. Symbolic Logic}, volume = {72}, number = {3}, year = {2007}, pages = {1055{\textendash}1071}, issn = {0022-4812}, doi = {10.2178/jsl/1191333856}, url = {https://doi.org/10.2178/jsl/1191333856}, author = {Csima, Barbara F. and Shore, Richard A.} } @article {MR2211179, title = {Boolean algebras, Tarski invariants, and index sets}, journal = {Notre Dame J. Formal Logic}, volume = {47}, number = {1}, year = {2006}, pages = {1{\textendash}23}, issn = {0029-4527}, doi = {10.1305/ndjfl/1143468308}, url = {https://doi.org/10.1305/ndjfl/1143468308}, author = {Csima, Barbara F. and Montalb{\'a}n, Antonio and Shore, Richard A.} } @article {MR2275866, title = {Computability results used in differential geometry}, journal = {J. Symbolic Logic}, volume = {71}, number = {4}, year = {2006}, pages = {1394{\textendash}1410}, issn = {0022-4812}, doi = {10.2178/jsl/1164060462}, url = {https://doi.org/10.2178/jsl/1164060462}, author = {Csima, Barbara F. and Soare, Robert I.} } @article {MR2275865, title = {Every 1-generic computes a properly 1-generic}, journal = {J. Symbolic Logic}, volume = {71}, number = {4}, year = {2006}, pages = {1385{\textendash}1393}, issn = {0022-4812}, doi = {10.2178/jsl/1164060461}, url = {https://doi.org/10.2178/jsl/1164060461}, author = {Csima, Barbara F. and Downey, Rod and Greenberg, Noam and Hirschfeldt, Denis R. and Miller, Joseph S.} } @article {MR2199198, title = {A minimal pair of $K$-degrees}, journal = {Proc. Amer. Math. Soc.}, volume = {134}, number = {5}, year = {2006}, pages = {1499{\textendash}1502}, issn = {0002-9939}, doi = {10.1090/S0002-9939-05-08086-X}, url = {https://doi.org/10.1090/S0002-9939-05-08086-X}, author = {Csima, Barbara F. and Montalb{\'a}n, Antonio} } @article {MR2135658, title = {Bounding prime models}, journal = {J. Symbolic Logic}, volume = {69}, number = {4}, year = {2004}, pages = {1117{\textendash}1142}, issn = {0022-4812}, doi = {10.2178/jsl/1102022214}, url = {https://doi.org/10.2178/jsl/1102022214}, author = {Csima, Barbara F. and Hirschfeldt, Denis R. and Knight, Julia F. and Soare, Robert I.} } @article {MR2058182, title = {Degree spectra of prime models}, journal = {J. Symbolic Logic}, volume = {69}, number = {2}, year = {2004}, pages = {430{\textendash}442}, issn = {0022-4812}, doi = {10.2178/jsl/1082418536}, url = {https://doi.org/10.2178/jsl/1082418536}, author = {Csima, Barbara F.} } @book {MR2717108, title = {Applications of computability theory to prime models and differential geometry}, year = {2003}, note = {Thesis (Ph.D.){\textendash}The University of Chicago}, pages = {45}, publisher = {ProQuest LLC, Ann Arbor, MI}, organization = {ProQuest LLC, Ann Arbor, MI}, isbn = {978-0496-36466-4}, url = {http://gateway.proquest.com/openurl?url_ver=Z39.88-2004\&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation\&res_dat=xri:pqdiss\&rft_dat=xri:pqdiss:3088727}, author = {Csima, Barbara Flora} }