Freely generated projective planes with finite computable dimension

DOI10.1007/S10469-017-9418-9MaRDI QIDQ2401538zbMATH OpenOpenAlexFDO

Authors N. T. Kogabaev

Publication date 4 September 2017

Published in Algebra and Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10469-017-9418-9

zbMATH Keywords

computable dimensionprojective planecomputable structurefreely generated projective planedegree spectrum of structuredegree spectrum of relation

Mathematics Subject Classification ID

General theory of linear incidence geometry and projective geometries (51A05) Computable structure theory, computable model theory (03C57)

Recommendations

• The class of projective planes is noncomputable
• The theory of projective planes is complete with respect to degree spectra and effective dimensions
• Computable dimensions of Pappusian and Desarguesian projective planes
• scientific article; zbMATH DE number 56016
• On freely generated projective planes

Cites work

• scientific article; zbMATH DE number 3747093 (Why is no real title available?)
• scientific article; zbMATH DE number 3421490 (Why is no real title available?)
• A computable functor from graphs to fields
• A solution of the Goncharov-Ash problem and the spectrum problem in the theory of computable models.
• Computable isomorphisms, degree spectra of relations, and Scott families
• Computably categorical structures and expansions by constants
• Degree spectra and computable dimensions in algebraic structures
• Degree spectra of relations on structures of finite computable dimension
• Degrees coded in jumps of orderings
• Degrees of Structures
• Enumerations, countable structures and Turing degrees
• Nilpotent groups of finite algorithmic dimension
• On freely generated projective planes
• Relative to any nonrecursive set
• Some effects of Ash-Nerode and other decidability conditions on degree spectra
• Spectra of degrees of some structures
• Spectra of high\(_n\) and non-low\(_n\) degrees
• The class of projective planes is noncomputable
• The possible Turing degree of the nonzero member in a two element degree spectrum
• The theory of projective planes is complete with respect to degree spectra and effective dimensions
• Theory of projective planes
• Uncountable degree spectra
• Undecidability of the theory of projective planes

Cited in

(9)

• Systems of Diophantine equations over finite configurations
• On the effective universality of mereological theories
• Homomorphisms of freely generated projective planes
• Computable dimensions of Pappusian and Desarguesian projective planes
• Categoricity spectra of computable structures
• Computable Heyting algebras with distinguished atoms and coatoms
• The class of projective planes is noncomputable
• On freely generated projective planes
• On the -theories of free projective planes

This page was built for publication: Freely generated projective planes with finite computable dimension

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2401538)