Chris J. Conidis

From MaRDI portal
Person:402445

Available identifiers

zbMath Open conidis.chris-jMaRDI QIDQ402445

List of research outcomes





PublicationDate of PublicationType
D. D. Dzhafarov <scp>and</scp> C. Mummert, Reverse Mathematics: Problems, Reductions, and Proofs. Theory and Applications of Computability. Springer Nature, Cham, 2022, xix + 488 pp.2024-02-23Paper
The complexity of module radicals2021-09-07Paper
Transfinitely valued Euclidean domains have arbitrary indecomposable order type2019-05-08Paper
The computability, definability, and proof theory of Artinian rings2018-12-04Paper
Infinite dimensional proper subspaces of computable vector spaces2014-08-28Paper
The complexity of ascendant sequences in locally nilpotent groups2014-05-26Paper
Comparing theorems of hyperarithmetic analysis with the arithmetic Bolzano-Weierstrass theorem2013-07-25Paper
Galvin's ``racing pawns game, internal hyperarithmetic comprehension, and the law of excluded middle2013-04-25Paper
Random reals, the rainbow Ramsey theorem, and arithmetic conservation2013-04-23Paper
A real of strictly positive effective packing dimension that does not compute a real of effective packing dimension one2012-06-19Paper
Effectively approximating measurable sets by open sets2012-05-30Paper
A measure-theoretic proof of Turing incomparability2011-09-12Paper
Chain conditions in computable rings2011-01-06Paper
On the complexity of radicals in noncommutative rings2010-01-22Paper
Classifying model-theoretic properties2009-03-23Paper
Effective packing dimension of $\Pi ^0_1$-classes2008-10-24Paper
Tensor operators and constructing indecomposable representations of semidirect product groups2004-12-14Paper

Research outcomes over time

This page was built for person: Chris J. Conidis