Effective Extensions of Linear Forms on a Recursive Vector Space Over a Recursive Field (Q3703886)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Effective Extensions of Linear Forms on a Recursive Vector Space Over a Recursive Field
scientific article

    Statements

    Effective Extensions of Linear Forms on a Recursive Vector Space Over a Recursive Field (English)
    0 references
    0 references
    0 references
    1985
    0 references
    Hahn-Banach extension theorem
    0 references
    effective concent
    0 references
    recursive vector space
    0 references
    recursively ordered field
    0 references
    supermaximality
    0 references
    simplicity
    0 references

    Identifiers