Chris J. Conidis

According to our database, Chris J. Conidis authored at least 9 papers between 2008 and 2023.

Collaborative distances:

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

2023

D. D. Dzhafarov and C. Mummert, <i>Reverse Mathematics: Problems, Reductions, and Proofs.</i> Theory and Applications of Computability. Springer Nature, Cham, 2022, xix + 488 pp.

Chris J. Conidis

Bull. Symb. Log., December, 2023

2021

The Complexity of Module Radicals.

Chris J. Conidis

Notre Dame J. Formal Log., 2021

2014

The complexity of ascendant sequences in locally nilpotent groups.

Chris J. Conidis, Richard A. Shore

Int. J. Algebra Comput., 2014

2013

Galvin's "Racing Pawns" Game, Internal Hyperarithmetic Comprehension, and the Law of Excluded Middle.

Chris J. Conidis, Noam Greenberg, Daniel Turetsky

Notre Dame J. Formal Log., 2013

Random reals, the rainbow Ramsey theorem, and arithmetic conservation.

Chris J. Conidis, Theodore A. Slaman

J. Symb. Log., 2013

2012

Effectively approximating measurable sets by open sets.

Chris J. Conidis

Theor. Comput. Sci., 2012

A real of strictly positive effective packing dimension that does not compute a real of effective packing dimension one.

Chris J. Conidis

J. Symb. Log., 2012

2010

A measure-theoretic proof of Turing incomparability.

Chris J. Conidis

Ann. Pure Appl. Log., 2010

2008

Classifying model-theoretic properties.

Chris J. Conidis

J. Symb. Log., 2008