scientific article; zbMATH DE number 1303204

MaRDI QIDQ4249727zbMATHFDO

Authors N. G. Khisamiev

Publication date 24 July 2000

zbMATH Keywords

subgroupsstrong constructivizabilityabelian \(p\)-groupstorsion-free abelian groupsarithmetic hierarchyconstructivizable modelsfactor groupsrecursive model theoryconstructivizationsdirect sums of cyclic and quasicylic \(p\)-groups

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Abelian groups (20K99)

Recommendations

• Theory of Abelian groups with constructive models
• Connection between constructivizibility and strong constructivizibility for different classes of Abelian groups
• Nonconstructivizability of the reduced part of a strongly constructive torsion-free Abelian group
• Computability of the class of strongly constructivizable abelian \(p\)-groups

Cited in

(50)

• Enumerations and completely decomposable torsion-free abelian groups
• The last word on elimination of quantifiers in modules
• \({\Sigma}^0_1\) and \({\Pi}^0_1\) equivalence structures
• Generically Computable abelian groups
• A.D. Taimanov and model theory in Kazakhstan
• Limitwise monotonic sequences and degree spectra of structures
• Every \(\Delta^0_2\) Polish space is computable topological
• Theory of Abelian groups with constructive models
• Abelian groups
• scientific article; zbMATH DE number 3977276 (Why is no real title available?)
• Limitwise monotonic spectra and their generalizations
• Computable linear orders and limitwise monotonic functions
• Effectively categorical abelian groups
• scientific article; zbMATH DE number 723838 (Why is no real title available?)
• Metric structures and probabilistic computation
• Torsion-free abelian groups with optimal Scott families
• Punctual dimension of algebraic structures in certain classes
• Some constructivizations of Abelian groups
• Computable completely decomposable groups
• The decomposability problem for torsion-free abelian groups is analytic-complete
• Effective categoricity of abelian \(p\)-groups
• Computable topological abelian groups
• Prime models of theories of computable linear orderings
• scientific article; zbMATH DE number 14727 (Why is no real title available?)
• Order positive fields. I
• Random Subgroups of Rationals
• Abelian \(p\)-groups and the halting problem
• A Friedberg enumeration of equivalence structures
• Polynomial-time Abelian groups
• Effectiveness of Walker's cancellation theorem
• Computability of Polish spaces up to homeomorphism
• Enumerating abelian \(p\)-groups
• An uncountably categorical theory whose only computably presentable model is saturated
• Computable topological groups and Pontryagin duality
• Effective Categoricity of Injection Structures
• Independence in computable algebra
• Computability-theoretic properties of injection structures
• Canonical and algebraically closed groups in universal classes of abelian groups
• Categorical linearly ordered structures
• Proper divisibility in computable rings
• Algebraic structures computable without delay
• Computable torsion abelian groups
• Computable embeddability for algebraic structures
• Online presentations of finitely generated structures
• On the computability of ordered fields
• \(\Sigma_1^0\) and \(\Pi_1^0\) equivalence structures
• Maximality and minimality under limitwise monotonic reducibility
• On \(\Delta_2^0\)-categoricity of equivalence relations
• Decompositions of decidable abelian groups
• scientific article; zbMATH DE number 4043838 (Why is no real title available?)

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 Q4249727)