Punctual dimension of algebraic structures in certain classes

DOI10.1134/S1995080221040089MaRDI QIDQ2030135zbMATH OpenOpenAlexFDO

Authors M. V. Dorzhieva, A. A. Issakhov, B. S. Kalmurzayev, R. A. Kornev, Matvei Kotov

Publication date 7 June 2021

Published in Lobachevskii Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/s1995080221040089

zbMATH Keywords

computable model theoryeffective algebraprimitive recursive functionprimitive recursive structurepunctual structure

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57)

Recommendations

• Punctual copies of algebraic structures
• A structure of punctual dimension two
• Constructing punctually categorical semigroups
• Punctual structures and primitive recursive reducibility
• Existentially closed dimension groups

Cites work

• A structure of punctual dimension two
• Algebraic structures computable without delay
• Autostability of models
• Autostability of models and Abelian groups
• Categorical linearly ordered structures
• Computable abelian groups
• Computable topological groups and Pontryagin duality
• Eliminating unbounded search in computable algebra
• Enumerating abelian \(p\)-groups
• Every recursive linear ordering has a copy in DTIME-SPACE(n,log(n))
• FOUNDATIONS OF ONLINE STRUCTURE THEORY
• Graphs are not universal for online computability
• scientific article; zbMATH DE number 1002913 (Why is no real title available?)
• scientific article; zbMATH DE number 3767640 (Why is no real title available?)
• scientific article; zbMATH DE number 53661 (Why is no real title available?)
• scientific article; zbMATH DE number 1303201 (Why is no real title available?)
• scientific article; zbMATH DE number 1303204 (Why is no real title available?)
• scientific article; zbMATH DE number 1421070 (Why is no real title available?)
• Non-density in punctual computability
• Online presentations of finitely generated structures
• Polynomial-time Abelian groups
• Polynomial-time versus recursive models
• Punctual copies of algebraic structures
• Recursive Boolean algebras with recursive atoms
• Recursively Categorical Linear Orderings
• Some properties of the constructivization of Boolean algebras
• Structures computable in polynomial time. I
• Structures computable in polynomial time. II
• The additive group of the rationals does not have an automatic presentation
• The back-and-forth method and computability without delay
• Turing's legacy. Developments from Turing's ideas in logic

Cited in

(6)

• Punctual structures and primitive recursive reducibility
• Punctual copies of algebraic structures
• A structure of punctual dimension two
• Punctually presented structures I: Closure theorems
• Punctually presented structures. II: Comparing presentations.
• Constructing punctually categorical semigroups

This page was built for publication: Punctual dimension of algebraic structures in certain classes

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