The \(\delta_\alpha^0\)-computable enumerations of the classes of projective planes (Q721363)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The \(\delta_\alpha^0\)-computable enumerations of the classes of projective planes
scientific article

    Statements

    The \(\delta_\alpha^0\)-computable enumerations of the classes of projective planes (English)
    0 references
    0 references
    19 July 2018
    0 references
    pappian projective plane
    0 references
    Desarguesian projective plane
    0 references
    freely generated projective plane
    0 references
    computable model
    0 references
    computable class of models
    0 references
    computable isomorphism
    0 references

    Identifiers