The \(\delta_\alpha^0\)-computable enumerations of the classes of projective planes (Q721363)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The _^0-computable enumerations of the classes of projective planes |
scientific article; zbMATH DE number 6908373
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The \(\delta_\alpha^0\)-computable enumerations of the classes of projective planes |
scientific article; zbMATH DE number 6908373 |
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
