COMPUTABLE ABELIAN GROUPS (Q2795203)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	COMPUTABLE ABELIAN GROUPS	scientific article

Statements

scholarly article

0 references

COMPUTABLE ABELIAN GROUPS (English)

0 references

zbMATH Open document ID

0 references

10.1017/bsl.2014.32

0 references

Alexander G. Melnikov

0 references

The Bulletin of Symbolic Logic

0 references

publication date

18 March 2016

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

zbMATH DE Number

0 references

zbMATH Keywords

abelian groups

0 references

computability theory

0 references

decidable word problem

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1017/bsl.2014.32

0 references

0 references

Degrees of orders on torsion-free abelian groups

0 references

The isomorphism relation on countable torsion free abelian groups

0 references

Degree spectra and computable dimensions in algebraic structures

0 references

Spectra of highn and non-lown degrees

0 references

Effective procedures in field theory

0 references

Classes of Ulm type and coding rank-homogeneous trees in other structures

0 references

Isomorphism relations on computable structures

0 references

Subgroups of finitely presented groups

0 references

<i>η</i>-representation of sets and degrees

0 references

The computable dimension of ordered abelian groups

0 references

0 references

The isomorphism problem for torsion-free abelian groups is analytic complete

0 references

0 references

Controlling the dependence degree of a recursively enumerable vector space

0 references

Effectively categorical abelian groups

0 references

Computable completely decomposable groups

0 references

Recursion theory and ordered groups

0 references

Subspaces of computable vector spaces

0 references

Degrees of Structures

0 references

Algorithmic Randomness and Complexity

0 references

Decidability and computability of certain torsion-free abelian groups

0 references

Some constructivizations of Abelian groups

0 references

Countable vector spaces with recursive operations Part II

0 references

Countable vector spaces with recursive operations Part I<sup>1</sup>

0 references

Effective content of field theory

0 references

The complexity of central series in nilpotent computable groups

0 references

Enumerations, countable structures and Turing degrees

0 references

The additive group of the rationals does not have an automatic presentation

0 references

The classification problem for torsion-free abelian groups of finite rank

0 references

A jump inversion theorem for the enumeration jump

0 references

0 references

Relative to any nonrecursive set

0 references

Nonconstructivizability of the reduced part of a strongly constructive torsion-free Abelian group

0 references

Limitwise monotonic sequences and degree spectra of structures

0 references

The word problem

0 references

On the integral homology of finitely presented groups

0 references

Back and forth relations for reduced abelian \(p\)-groups

0 references

Abelian groups without elements of finite order

0 references

Computable structures and the hyperarithmetical hierarchy

0 references

Recursively enumerable vector spaces

0 references

Enumerations and completely decomposable torsion-free abelian groups

0 references

Every Set has a Least Jump Enumeration

0 references

Computable trees of Scott rank <i>ω</i><sub>1</sub><sup><i>CK</i></sup>, and computable approximation

0 references

Turing degrees of isomorphism types of algebraic objects

0 references

Effective categoricity of abelian \(p\)-groups

0 references

0 references

The isomorphism problem for computable Abelian <sub><i>p</i></sub>-groups of bounded length

0 references

Recursively presented Abelian groups: Effective <i>p</i>-Group theory. I

0 references

The computational complexity of torsion-freeness of finitely presented groups

0 references

Computable models of theories with few models

0 references

Jump degrees of torsion-free abelian groups

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2795203

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2795203&oldid=36236210"