Algebraic structures computable without delay
From MaRDI portal
Publication:528478
Recommendations
Cites work
- scientific article; zbMATH DE number 1002913 (Why is no real title available?)
- scientific article; zbMATH DE number 5605134 (Why is no real title available?)
- scientific article; zbMATH DE number 3747093 (Why is no real title available?)
- scientific article; zbMATH DE number 3767640 (Why is no real title available?)
- scientific article; zbMATH DE number 3779289 (Why is no real title available?)
- scientific article; zbMATH DE number 42239 (Why is no real title available?)
- scientific article; zbMATH DE number 53661 (Why is no real title available?)
- scientific article; zbMATH DE number 194103 (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 1048041 (Why is no real title available?)
- scientific article; zbMATH DE number 1499098 (Why is no real title available?)
- scientific article; zbMATH DE number 1531926 (Why is no real title available?)
- scientific article; zbMATH DE number 1390025 (Why is no real title available?)
- scientific article; zbMATH DE number 1405578 (Why is no real title available?)
- scientific article; zbMATH DE number 1421070 (Why is no real title available?)
- scientific article; zbMATH DE number 1450824 (Why is no real title available?)
- scientific article; zbMATH DE number 3323138 (Why is no real title available?)
- scientific article; zbMATH DE number 3332554 (Why is no real title available?)
- A computably categorical structure whose expansion by a constant has infinite computable dimension
- An introduction to computable model theory on groups and fields
- Automatic Structures: Richness and Limitations
- Breaking up finite automata presentable torsion-free Abelian groups.
- CONSTRUCTIVE ALGEBRAS I
- Computable Algebra, General Theory and Theory of Computable Fields
- Computable abelian groups
- Computable structures and the hyperarithmetical hierarchy
- Computably categorical fields via Fermat's last theorem
- Decidable models of -stable theories
- Degrees of categoricity of computable structures
- Enumerations, countable structures and Turing degrees
- Every recursive linear ordering has a copy in DTIME-SPACE(n,log(n))
- Existence and uniqueness of structures computable in polynomial time
- FA-presentable groups and rings
- Finite Automata Presentable Abelian Groups
- Independence in computable algebra
- Polynomial-time Abelian groups
- Polynomial-time versus recursive models
- Recursive Boolean algebras with recursive atoms
- Recursively presentable prime models
- Relative to any nonrecursive set
- Space complexity of abelian groups
- Subgroups of finitely presented groups
- Subsystems of second order arithmetic
- The additive group of the rationals does not have an automatic presentation
- The computable dimension of ordered abelian groups
Cited in
(51)- Definable Subsets of Polynomial-Time Algebraic Structures
- New degree spectra of Polish spaces
- A structure of punctual dimension two
- AUTOMATIC AND POLYNOMIAL-TIME ALGEBRAIC STRUCTURES
- Constructing punctually categorical semigroups
- A discrete linear order with non-dense punctual degrees
- Primitive recursive equivalence relations and their primitive recursive complexity
- Structures computable in polynomial time. I
- PUNCTUAL CATEGORICITY AND UNIVERSALITY
- Punctual spectra of algebraic structures and isomorphisms
- Inversion operations in algebraic structures
- On the main scientific achievements of Victor Selivanov
- Punctually presented structures I: Closure theorems
- The diversity of categoricity without delay
- Computable embeddability for algebraic structures
- Categoricity for primitive recursive and polynomial Boolean algebras
- Eliminating unbounded search in computable algebra
- Primitive recursive fields and categoricity
- Primitive recursive reverse mathematics
- Punctually presented structures. II: Comparing presentations.
- Punctual dimension of algebraic structures in certain classes
- Punctual categoricity relative to a computable oracle
- Non-density in punctual computability
- Structures of finite punctual dimension \(n>2\)
- Punctual 1-linear orders
- Graphs are not universal for online computability
- Punctual copies of algebraic structures
- Online presentations of finitely generated structures
- Punctual definability on structures
- The back-and-forth method and computability without delay
- Computably and punctually universal spaces
- Punctual presentability in certain classes of algebraic structures
- Computable reducibility for computable linear orders of type
- The complexity of inversion in groups
- Primitively recursive categoricity for unars and equivalence structures
- Punctual categoricity spectra of computably categorical structures
- Punctual structures and primitive recursive reducibility
- Rogers semilattices of punctual numberings
- The existence of primitive recursive structures
- Punctual numberings for families of sets
- Undecidability of the degree structure of primitive recursive m-reducibility
- Description of structures computable in polynomial time
- Computably enumerable equivalence relations via primitive recursive reductions
- scientific article; zbMATH DE number 7407778 (Why is no real title available?)
- FOUNDATIONS OF ONLINE STRUCTURE THEORY
- Finitely generated structures computable in polynomial time
- Primitively recursively categorical linear orderings
- A pathological punctually 1-decidable structure
- Quotient structures and groups computable in polynomial time
- On the index set of punctually categorical finitely generated structures
- Searching for applicable versions of computable structures
This page was built for publication: Algebraic structures computable without delay
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q528478)
