scientific article; zbMATH DE number 1303204

zbMATH Open0940.03044MaRDI QIDQ4249727FDOQ4249727

Authors: N. G. Khisamiev 

Publication date: 24 July 2000

Title of this publication is not available (Why is that?)

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

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)

Cited In (50)

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

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)