Chris J. Conidis

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 3

Top Topics

Space Complexity

Top Venues

Bull. Symb. Log.

Int. J. Algebra Comput.

Notre Dame J. Formal Log.

Publications

Chris J. Conidis
On the Existence of Infinite Monomial Division Chains with Finitely Many Indeterminates. CiE (2024)
Chris J. Conidis
Theory and Applications of Computability. Springer Nature, Cham, 2022, xix + 488 pp. Bull. Symb. Log. 29 (4) (2023)
Chris J. Conidis
The Complexity of Module Radicals. Notre Dame J. Formal Log. 62 (2) (2021)
Chris J. Conidis, Richard A. Shore
The complexity of ascendant sequences in locally nilpotent groups. Int. J. Algebra Comput. 24 (2) (2014)
Chris J. Conidis, Theodore A. Slaman
Random reals, the rainbow Ramsey theorem, and arithmetic conservation. J. Symb. Log. 78 (1) (2013)
Chris J. Conidis, Noam Greenberg, Daniel Turetsky
Galvin's "Racing Pawns" Game, Internal Hyperarithmetic Comprehension, and the Law of Excluded Middle. Notre Dame J. Formal Log. 54 (2) (2013)
Chris J. Conidis
Effectively approximating measurable sets by open sets. Theor. Comput. Sci. 428 (2012)
Chris J. Conidis
A real of strictly positive effective packing dimension that does not compute a real of effective packing dimension one. J. Symb. Log. 77 (2) (2012)
Chris J. Conidis
A measure-theoretic proof of Turing incomparability. Ann. Pure Appl. Log. 162 (1) (2010)
Chris J. Conidis
Classifying model-theoretic properties. J. Symb. Log. 73 (3) (2008)