Available identifiers
zbMath Open conidis.chris-jMaRDI QIDQ402445
List of research outcomes
Publication | Date of Publication | Type |
---|
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-23 | Paper |
The complexity of module radicals | 2021-09-07 | Paper |
Transfinitely valued Euclidean domains have arbitrary indecomposable order type | 2019-05-08 | Paper |
The computability, definability, and proof theory of Artinian rings | 2018-12-04 | Paper |
Infinite dimensional proper subspaces of computable vector spaces | 2014-08-28 | Paper |
The complexity of ascendant sequences in locally nilpotent groups | 2014-05-26 | Paper |
Comparing theorems of hyperarithmetic analysis with the arithmetic Bolzano-Weierstrass theorem | 2013-07-25 | Paper |
Galvin's ``racing pawns game, internal hyperarithmetic comprehension, and the law of excluded middle | 2013-04-25 | Paper |
Random reals, the rainbow Ramsey theorem, and arithmetic conservation | 2013-04-23 | Paper |
A real of strictly positive effective packing dimension that does not compute a real of effective packing dimension one | 2012-06-19 | Paper |
Effectively approximating measurable sets by open sets | 2012-05-30 | Paper |
A measure-theoretic proof of Turing incomparability | 2011-09-12 | Paper |
Chain conditions in computable rings | 2011-01-06 | Paper |
On the complexity of radicals in noncommutative rings | 2010-01-22 | Paper |
Classifying model-theoretic properties | 2009-03-23 | Paper |
Effective packing dimension of $\Pi ^0_1$-classes | 2008-10-24 | Paper |
Tensor operators and constructing indecomposable representations of semidirect product groups | 2004-12-14 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
This page was built for person: Chris J. Conidis