scientific article; zbMATH DE number 1303204
From MaRDI portal
Publication:4249727
zbMath0940.03044MaRDI QIDQ4249727
Publication date: 24 July 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
subgroupsarithmetic hierarchystrong constructivizabilityabelian \(p\)-groupstorsion-free abelian groupsconstructivizable modelsfactor groupsrecursive model theoryconstructivizationsdirect sums of cyclic and quasicylic \(p\)-groups
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)
Related Items (39)
Abelian \(p\)-groups and the halting problem ⋮ Effectively categorical abelian groups ⋮ Computable completely decomposable groups ⋮ Torsion-free abelian groups with optimal Scott families ⋮ Computable torsion abelian groups ⋮ Enumerating abelian \(p\)-groups ⋮ A Friedberg enumeration of equivalence structures ⋮ Generically Computable abelian groups ⋮ Online presentations of finitely generated structures ⋮ \(\Sigma_1^0\) and \(\Pi_1^0\) equivalence structures ⋮ Prime models of theories of computable linear orderings ⋮ Independence in computable algebra ⋮ Proper divisibility in computable rings ⋮ Polynomial-time Abelian groups ⋮ Algebraic structures computable without delay ⋮ $\Sigma^0_1$ and $\Pi^0_1$ Equivalence Structures ⋮ Metric structures and probabilistic computation ⋮ Maximality and minimality under limitwise monotonic reducibility ⋮ An uncountably categorical theory whose only computably presentable model is saturated ⋮ Punctual dimension of algebraic structures in certain classes ⋮ Computable topological groups and Pontryagin duality ⋮ Computable linear orders and limitwise monotonic functions ⋮ Enumerations and completely decomposable torsion-free abelian groups ⋮ Decompositions of decidable abelian groups ⋮ Canonical and algebraically closed groups in universal classes of abelian groups ⋮ A.D. Taimanov and model theory in Kazakhstan ⋮ Effective Categoricity of Injection Structures ⋮ Effective categoricity of abelian \(p\)-groups ⋮ Random Subgroups of Rationals ⋮ Categorical linearly ordered structures ⋮ Limitwise monotonic sequences and degree spectra of structures ⋮ Some constructivizations of Abelian groups ⋮ The decomposability problem for torsion-free abelian groups is analytic-complete ⋮ COMPUTABILITY OF POLISH SPACES UP TO HOMEOMORPHISM ⋮ Computable topological abelian groups ⋮ Computability-theoretic properties of injection structures ⋮ On \(\Delta_2^0\)-categoricity of equivalence relations ⋮ Computable embeddability for algebraic structures ⋮ Limitwise monotonic spectra and their generalizations
This page was built for publication:
