Conditions of effective infinity for the set of computable indexings of a class of constructive models
From MaRDI portal
Publication:1897964
DOI10.1007/BF02104943zbMath0830.03015OpenAlexW2046838141MaRDI QIDQ1897964
Publication date: 18 September 1995
Published in: Siberian Mathematical Journal (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02104943
indexingconstructive modelscomputable classconstructive abelian groupseffective embeddability propertyjoint constructive embeddability property
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
Related Items
The Wiener measure on the Heisenberg group and parabolic equations, A.D. Taimanov and model theory in Kazakhstan
Cites Work