PRIMITIVE RECURSIVE DECIDABILITY FOR THE RING OF INTEGERS OF THE COMPOSITUM OF ALL SYMMETRIC EXTENSIONS OF ℚ (Q5858949)

From MaRDI portal
scientific article; zbMATH DE number 7333628
Language Label Description Also known as
English
PRIMITIVE RECURSIVE DECIDABILITY FOR THE RING OF INTEGERS OF THE COMPOSITUM OF ALL SYMMETRIC EXTENSIONS OF ℚ
scientific article; zbMATH DE number 7333628

    Statements

    PRIMITIVE RECURSIVE DECIDABILITY FOR THE RING OF INTEGERS OF THE COMPOSITUM OF ALL SYMMETRIC EXTENSIONS OF ℚ (English)
    0 references
    0 references
    0 references
    15 April 2021
    0 references
    0 references
    embedding problems
    0 references
    bounded ramification
    0 references
    function fields of positive characteristic
    0 references
    0 references