Alexander Melnikov

MaRDI QIDQ306576zbMATH OpenORCIDWikidataFDO

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
Computably locally compact groups and their closed subgroups International Journal of Algebra and Computation	2026-01-12	Paper
A non-computable c.e. closed subset of \([0, 1]\) Journal of Logic and Computation	2025-09-30	Paper
Risk analysis in finance and insurance Chapman & Hall/CRC Financial Mathematics Series	2025-09-04	Paper
A pathological punctually 1-decidable structure Proceedings of the American Mathematical Society	2025-08-27	Paper
Computable structure theory. A unified approach Theory and Applications of Computability	2025-07-28	Paper
Computable topological groups The Journal of Symbolic Logic	2025-05-06	Paper
Computable classifications of continuous, transducer, and regular functions Theoretical Computer Science	2025-02-26	Paper
Punctually presented structures. II: Comparing presentations. Archive for Mathematical Logic	2025-02-18	Paper
Partial hedging of spread options with a given probability	2025-02-05	Paper
Punctual degrees and lattice embeddings	2025-02-03	Paper
Computably and punctually universal spaces Annals of Pure and Applied Logic	2024-10-07	Paper
An arithmetic analysis of closed surfaces Transactions of the American Mathematical Society	2024-07-04	Paper
Every \(\Delta^0_2\) Polish space is computable topological Proceedings of the American Mathematical Society	2024-06-13	Paper
Separating notions in effective topology International Journal of Algebra and Computation	2024-01-04	Paper
Primitive recursive reverse mathematics Annals of Pure and Applied Logic	2023-10-12	Paper
COMPUTABLY COMPACT METRIC SPACES The Bulletin of Symbolic Logic	2023-08-10	Paper
Computable Stone spaces Annals of Pure and Applied Logic	2023-07-26	Paper
Computable analysis and classification problems	2022-12-16	Paper
Computable topological abelian groups Journal of Algebra	2022-11-23	Paper
Computable topological groups	2022-09-10	Paper
Random Subgroups of Rationals (available as arXiv preprint)	2022-07-21	Paper
Computably totally disconnected locally compact groups	2022-04-21	Paper
scientific article; zbMATH DE number 7407778 (Why is no real title available?) (available as arXiv preprint)	2021-10-08	Paper
scientific article; zbMATH DE number 7407778 (Why is no real title available?)	2021-10-08	Paper
Relativizing computable categoricity Proceedings of the American Mathematical Society	2021-07-28	Paper
Non-density in punctual computability Annals of Pure and Applied Logic	2021-07-26	Paper
Punctual definability on structures Annals of Pure and Applied Logic	2021-06-14	Paper
Punctual categoricity relative to a computable oracle Lobachevskii Journal of Mathematics	2021-06-07	Paper
Computable topological abelian groups (available as arXiv preprint)	2021-05-26	Paper
Computability of Polish spaces up to homeomorphism Journal of Symbolic Logic	2021-04-15	Paper
PUNCTUAL CATEGORICITY AND UNIVERSALITY Journal of Symbolic Logic	2021-04-15	Paper
ON THE COMPLEXITY OF CLASSIFYING LEBESGUE SPACES Journal of Symbolic Logic	2021-03-19	Paper
Online presentations of finitely generated structures Theoretical Computer Science	2020-10-21	Paper
Computable classifications of continuous, transducer, and regular functions	2020-10-19	Paper
Enumerating abelian \(p\)-groups Journal of Algebra	2020-08-25	Paper
Foundations of Online Structure Theory II: The Operator Approach (available as arXiv preprint)	2020-07-14	Paper
Graphs are not universal for online computability Journal of Computer and System Sciences	2020-06-09	Paper
Turing reducibility in the fine hierarchy Annals of Pure and Applied Logic	2020-06-02	Paper
A structure of punctual dimension two Proceedings of the American Mathematical Society	2020-05-27	Paper
On realization of index sets in \(\Pi_1^0\)-classes Algebra and Logic	2020-02-28	Paper
Decompositions of decidable abelian groups International Journal of Algebra and Computation	2020-02-17	Paper
The back-and-forth method and computability without delay Israel Journal of Mathematics	2019-12-17	Paper
FOUNDATIONS OF ONLINE STRUCTURE THEORY The Bulletin of Symbolic Logic	2019-08-01	Paper
Categorical linearly ordered structures Annals of Pure and Applied Logic	2019-07-10	Paper
Effectively closed subgroups of the infinite symmetric group Proceedings of the American Mathematical Society	2018-10-23	Paper
Computable topological groups and Pontryagin duality Transactions of the American Mathematical Society	2018-10-18	Paper
Computable Polish group actions Journal of Symbolic Logic	2018-08-10	Paper
Uniform procedures in uncountable structures Journal of Symbolic Logic	2018-08-10	Paper
Torsion-free abelian groups with optimal Scott families Journal of Mathematical Logic	2018-06-13	Paper
On a question of Kalimullin Proceedings of the American Mathematical Society	2018-06-04	Paper
Computable torsion abelian groups Advances in Mathematics	2018-01-11	Paper
The diversity of categoricity without delay Algebra and Logic	2018-01-05	Paper
On computable field embeddings and difference closed fields Canadian Journal of Mathematics	2017-12-13	Paper
A Friedberg enumeration of equivalence structures Journal of Mathematical Logic	2017-12-04	Paper
New degree spectra of abelian groups Notre Dame Journal of Formal Logic	2017-11-06	Paper
Eliminating unbounded search in computable algebra	2017-08-04	Paper
Computable functors and effective interpretability Journal of Symbolic Logic	2017-06-01	Paper
Algebraic structures computable without delay Theoretical Computer Science	2017-05-12	Paper
Proper divisibility in computable rings Journal of Algebra	2017-01-16	Paper
Abelian p-groups and the halting problem Annals of Pure and Applied Logic	2016-08-31	Paper
Comparing classes of finite sums Algebra and Logic	2016-05-12	Paper
Computable structures and operations on the space of continuous functions Fundamenta Mathematicae	2016-04-28	Paper
Computable abelian groups The Bulletin of Symbolic Logic	2016-03-18	Paper
Independence in computable algebra Journal of Algebra	2015-09-25	Paper
On \(\Delta_2^0\)-categoricity of equivalence relations Annals of Pure and Applied Logic	2015-05-26	Paper
Iterated effective embeddings of abelian p-groups International Journal of Algebra and Computation	2015-01-21	Paper
Computable completely decomposable groups Transactions of the American Mathematical Society	2014-09-17	Paper
Computably Isometric Spaces Journal of Symbolic Logic	2014-04-04	Paper
Computably Isometric Spaces Journal of Symbolic Logic	2014-04-04	Paper
Limitwise monotonic sequences and degree spectra of structures Proceedings of the American Mathematical Society	2013-08-30	Paper
The classification problem for compact computable metric spaces Lecture Notes in Computer Science	2013-08-05	Paper
K-triviality in computable metric spaces Proceedings of the American Mathematical Society	2013-07-05	Paper
Effectively categorical abelian groups Journal of Algebra	2013-07-02	Paper
Jump degrees of torsion-free abelian groups Journal of Symbolic Logic	2013-01-07	Paper
Jump degrees of torsion-free abelian groups Journal of Symbolic Logic	2013-01-07	Paper
Transforming trees into abelian groups	2012-04-23	Paper
Classes of Ulm type and coding rank-homogeneous trees in other structures Journal of Symbolic Logic	2011-10-10	Paper
Computable ordered abelian groups and fields Programs, Proofs, Processes	2010-07-29	Paper
\(\mathbf 0''\)-categorical completely decomposable torsion-free abelian groups Mathematical Theory and Computational Practice	2010-07-28	Paper
Decidability and computability of certain torsion-free abelian groups Notre Dame Journal of Formal Logic	2010-06-11	Paper
Enumerations and completely decomposable torsion-free abelian groups Theory of Computing Systems	2009-10-19	Paper
Enumerations and Torsion Free Abelian Groups Lecture Notes in Computer Science	2007-11-13	Paper
Computable Gelfand Duality (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Alexander Melnikov