List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| 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.
The Bulletin of Symbolic Logic | 2024-02-23 | Paper |
The complexity of module radicals
Notre Dame Journal of Formal Logic | 2021-09-07 | Paper |
Transfinitely valued Euclidean domains have arbitrary indecomposable order type
Communications in Algebra | 2019-05-08 | Paper |
The computability, definability, and proof theory of Artinian rings
Advances in Mathematics | 2018-12-04 | Paper |
Infinite dimensional proper subspaces of computable vector spaces
Journal of Algebra | 2014-08-28 | Paper |
The complexity of ascendant sequences in locally nilpotent groups
International Journal of Algebra and Computation | 2014-05-26 | Paper |
Comparing theorems of hyperarithmetic analysis with the arithmetic Bolzano-Weierstrass theorem
Transactions of the American Mathematical Society | 2013-07-25 | Paper |
Galvin's ``racing pawns game, internal hyperarithmetic comprehension, and the law of excluded middle
Notre Dame Journal of Formal Logic | 2013-04-25 | Paper |
Random reals, the rainbow Ramsey theorem, and arithmetic conservation
Journal of Symbolic Logic | 2013-04-23 | Paper |
Random reals, the rainbow Ramsey theorem, and arithmetic conservation
Journal of Symbolic Logic | 2013-04-23 | Paper |
A real of strictly positive effective packing dimension that does not compute a real of effective packing dimension one
The Journal of Symbolic Logic | 2012-06-19 | Paper |
Effectively approximating measurable sets by open sets
Theoretical Computer Science | 2012-05-30 | Paper |
A measure-theoretic proof of Turing incomparability
Annals of Pure and Applied Logic | 2011-09-12 | Paper |
Chain conditions in computable rings
Transactions of the American Mathematical Society | 2011-01-06 | Paper |
On the complexity of radicals in noncommutative rings
Journal of Algebra | 2010-01-22 | Paper |
Classifying model-theoretic properties
Journal of Symbolic Logic | 2009-03-23 | Paper |
Effective packing dimension of $\Pi ^0_1$-classes
Proceedings of the American Mathematical Society | 2008-10-24 | Paper |
Tensor operators and constructing indecomposable representations of semidirect product groups
Journal of Mathematical Physics | 2004-12-14 | Paper |
Research outcomes over time
This page was built for person: Chris J. Conidis
