Nonconstructivizability of the reduced part of a strongly constructive torsion-free Abelian group (Q1080958): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q3739353 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Strongly constructive Abelian p-groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4745979 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Primitive torsionsfreie Abelsche Gruppen vom endlichen Range / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3927228 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some constructivizations of Abelian groups / rank | |||
Normal rank |
Latest revision as of 16:05, 17 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Nonconstructivizability of the reduced part of a strongly constructive torsion-free Abelian group |
scientific article |
Statements
Nonconstructivizability of the reduced part of a strongly constructive torsion-free Abelian group (English)
0 references
1985
0 references
S. S. Goncharov presented, at the 5th All-Union (USSR) Conference on Mathematical Logic, the following open problem: is the reduced part of a constructive, torsion-free abelian group constructivizable? In the present paper, the authors give a negative answer to this problem. An abelian group A is called strongly constructive (constructive), if the fundamental set of the group A is the set \(\omega\) of all natural numbers, and there exists an algorithm, which for any (atomic) formula \(\phi (x_ 0,...,x_{s-1})\) of the restricted predicate calculus of the group signature, and any numbers \(n_ 0,...,n_{s-1}\in \omega\), defines whether or not \(\phi (n_ 0,...,n_{s-1})\) is true in A. The group A is called (strongly) constructivizable, if it is isomorphic to some (strongly) constructive group. The authors prove that there exists a strongly constructivizable torsion-free abelian group whose reduced part is nonconstructivizable (Corollary 2).
0 references
reduced part of an abelian group
0 references
torsion-free abelian group
0 references
strongly constructive
0 references
restricted predicate calculus
0 references
strongly constructivizable torsion-free abelian group
0 references