Publications

Search
Author Title [ Type(Desc)] Year
Journal Article
Cenzer, D. , Csima, B. F. , & Khoussainov, B. . (2009). Linear orders with distinguished function symbol. Arch. Math. Logic, 48, 63–76. doi:10.1007/s00153-008-0112-4
Csima, B. F. . (2009). The settling time reducibility ordering and $\Delta_2^0$ sets. J. Logic Comput., 19, 145–150. doi:10.1093/logcom/exn031
Csima, B. F. , & Mileti, J. R. . (2009). The strength of the rainbow Ramsey theorem. J. Symbolic Logic, 74, 1310–1324. doi:10.2178/jsl/1254748693
Csima, B. F. , Harizanov, V. S. , Hirschfeldt, D. R. , & Soare, R. I. . (2007). Bounding homogeneous models. J. Symbolic Logic, 72, 305–323. doi:10.2178/jsl/1174668397
Csima, B. F. , & Shore, R. A. . (2007). The settling-time reducibility ordering. J. Symbolic Logic, 72, 1055–1071. doi:10.2178/jsl/1191333856
Csima, B. F. , Montalbán, A. , & Shore, R. A. . (2006). Boolean algebras, Tarski invariants, and index sets. Notre Dame J. Formal Logic, 47, 1–23. doi:10.1305/ndjfl/1143468308
Csima, B. F. , Downey, R. , Greenberg, N. , Hirschfeldt, D. R. , & Miller, J. S. . (2006). Every 1-generic computes a properly 1-generic. J. Symbolic Logic, 71, 1385–1393. doi:10.2178/jsl/1164060461
Csima, B. F. , & Montalbán, A. . (2006). A minimal pair of $K$-degrees. Proc. Amer. Math. Soc., 134, 1499–1502. doi:10.1090/S0002-9939-05-08086-X
Csima, B. F. , & Soare, R. I. . (2006). Computability results used in differential geometry. J. Symbolic Logic, 71, 1394–1410. doi:10.2178/jsl/1164060462
Csima, B. F. , Hirschfeldt, D. R. , Knight, J. F. , & Soare, R. I. . (2004). Bounding prime models. J. Symbolic Logic, 69, 1117–1142. doi:10.2178/jsl/1102022214
Csima, B. F. . (2004). Degree spectra of prime models. J. Symbolic Logic, 69, 430–442. doi:10.2178/jsl/1082418536
Miscellaneous
Boney, W. , Csima, B. F. , Day, N. A. , & Harrison-Trainor, M. . (2020). Which Classes of Structures Are Both Pseudo-elementary and Definable by an Infinitary Sentence?.
Unpublished
Csima, B. F. , Deveau, M. , & Stephenson, J. . (2017). When does a relation code an isomorphism?.

Pages