scientific article; zbMATH DE number 1303204
zbMATH Open0940.03044MaRDI QIDQ4249727FDOQ4249727
Publication date: 24 July 2000
Title of this publication is not available (Why is that?)
subgroupsstrong constructivizabilityabelian \(p\)-groupstorsion-free abelian groupsarithmetic hierarchyconstructivizable 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)
Cited In (46)
- Every \(\Delta^0_2\) Polish space is computable topological
- Computable completely decomposable groups
- Enumerations and completely decomposable torsion-free abelian groups
- 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
- 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
- Abelian \(p\)-groups and the halting problem
- Punctual dimension of algebraic structures in certain classes
- Title not available (Why is that?)
- $\Sigma^0_1$ and $\Pi^0_1$ Equivalence Structures
- 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
- \(\Sigma_1^0\) and \(\Pi_1^0\) equivalence structures
- Polynomial-time Abelian groups
- 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
- COMPUTABILITY OF POLISH SPACES UP TO HOMEOMORPHISM
- 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)