Chris J. Conidis

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

Collaborative distances:

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

2024

On the Existence of Infinite Monomial Division Chains with Finitely Many Indeterminates.

Chris J. Conidis

Proceedings of the Twenty Years of Theoretical and Practical Synergies, 2024

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