scientific article; zbMATH DE number 3250559

Cited in

(38)

Decomposability and computability
Uniform \(m\)-equivalencies and numberings of classical systems
Degree spectra of structures
The complexity of computable categoricity
Degrees of categoricity and treeable degrees
Turing degrees of complete formulas of almost prime models
Orbits of maximal vector spaces
Countable algebra and set existence axioms
Effectively categorical abelian groups
On the effective universality of mereological theories
Degrees of categoricity and spectral dimension
On categoricity spectra for locally finite graphs
Torsion-free abelian groups with optimal Scott families
Index sets for \(n\)-decidable structures categorical relative to \(m\)-decidable presentations
Computable torsion-free nilpotent groups of finite dimension.
A note on effective categoricity for linear orderings
Computable Heyting algebras with distinguished atoms and coatoms
Categoricity spectra of computable structures
FOUNDATIONS OF ONLINE STRUCTURE THEORY
\(\Sigma\)-presentations of the ordering on the reals
Computable presentations of C*-algebras
Computable topological abelian groups
Prime model with no degree of autostability relative to strong constructivizations
On positive and constructive groups
Degrees of relative computable categoricity
Polynomial-time Abelian groups
Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals
Categoricity spectra for polymodal algebras
Computable presentability of countable linear orders
Dependence relations in computably rigid computable vector spaces
Independence in computable algebra
On bi-embeddable categoricity of algebraic structures
Degrees of categoricity of rigid structures
Computable Boolean algebras and complexity of the Fréchet ideal
Strong degrees of categoricity and weak density
Primitive recursive reverse mathematics
Space complexity of abelian groups
Decompositions of decidable abelian groups

This page was built for publication:

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