Eliminating unbounded search in computable algebra

DOI10.1007/978-3-319-58741-7_8zbMATH Open1433.03117OpenAlexW2613792613MaRDI QIDQ2011637FDOQ2011637

Authors: Alexander Melnikov 

Publication date: 4 August 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-58741-7_8

Recommendations

• Algebraic structures computable without delay
• Computers and universal algebra: Some directions
• scientific article; zbMATH DE number 3936508
• scientific article; zbMATH DE number 23020
• Issues of algorithmics and Glushkov's systems of algorithmic algebras

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Cites Work

• The additive group of the rationals does not have an automatic presentation
• Breaking up finite automata presentable torsion-free Abelian groups.
• Title not available (Why is that?)
• Automatic Structures: Richness and Limitations
• Computable structures and the hyperarithmetical hierarchy
• Subgroups of finitely presented groups
• Polynomial-time versus recursive models
• Polynomial-time Abelian groups
• Existence and uniqueness of structures computable in polynomial time
• A survey of homogeneous structures
• The word problem
• Some constructivizations of Abelian groups
• FA-presentable groups and rings
• Space complexity of abelian groups
• Recursive Boolean algebras with recursive atoms
• Every recursive linear ordering has a copy in DTIME-SPACE(n,log(n))
• A computably categorical structure whose expansion by a constant has infinite computable dimension
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic structures computable without delay
• Finite Automata Presentable Abelian Groups
• A computability theoretic equivalent to Vaught's conjecture
• The diversity of categoricity without delay

Cited In (18)

• AUTOMATIC AND POLYNOMIAL-TIME ALGEBRAIC STRUCTURES
• New degree spectra of Polish spaces
• Primitive recursive equivalence relations and their primitive recursive complexity
• PUNCTUAL CATEGORICITY AND UNIVERSALITY
• Title not available (Why is that?)
• Computable embeddability for algebraic structures
• Primitive recursive reverse mathematics
• Punctual dimension of algebraic structures in certain classes
• Graphs are not universal for online computability
• Online presentations of finitely generated structures
• Punctual definability on structures
• The back-and-forth method and computability without delay
• On bi-embeddable categoricity of algebraic structures
• Rogers semilattices of punctual numberings
• FOUNDATIONS OF ONLINE STRUCTURE THEORY
• Definable Subsets of Polynomial-Time Algebraic Structures
• A structure of punctual dimension two
• Algebraic structures computable without delay

This page was built for publication: Eliminating unbounded search in computable algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2011637)