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
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
0 references
0 references