Freely generated projective planes with finite computable dimension

DOI10.1007/s10469-017-9418-9zbMath1420.03073OpenAlexW2596616753MaRDI QIDQ2401538

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

projective planecomputable structurecomputable dimensiondegree spectrum of relationdegree spectrum of structurefreely generated projective plane

Mathematics Subject Classification ID

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

Related Items (4)

On the effective universality of mereological theories ⋮ Computable Heyting algebras with distinguished atoms and coatoms ⋮ Systems of Diophantine equations over finite configurations ⋮ Categoricity spectra of computable structures

Cites Work

• Unnamed Item
• Unnamed Item
• Theory of projective planes
• On freely generated projective planes
• Some effects of Ash-Nerode and other decidability conditions on degree spectra
• Uncountable degree spectra
• The possible Turing degree of the nonzero member in a two element degree spectrum
• Computable isomorphisms, degree spectra of relations, and Scott families
• A solution of the Goncharov-Ash problem and the spectrum problem in the theory of computable models.
• Degree spectra and computable dimensions in algebraic structures
• Degree spectra of relations on structures of finite computable dimension
• Nilpotent groups of finite algorithmic dimension
• Undecidability of the theory of projective planes
• Spectra of highn and non-lown degrees
• Spectra of degrees of some structures
• The class of projective planes is noncomputable
• Degrees coded in jumps of orderings
• Computably categorical structures and expansions by constants
• Relative to any nonrecursive set
• Enumerations, countable structures and Turing degrees
• A COMPUTABLE FUNCTOR FROM GRAPHS TO FIELDS
• Degrees of Structures
• The theory of projective planes is complete with respect to degree spectra and effective dimensions

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