Conditions of effective infinity for the set of computable indexings of a class of constructive models

DOI10.1007/BF02104943zbMath0830.03015OpenAlexW2046838141MaRDI QIDQ1897964

V. P. Dobritsa

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

zbMATH Keywords

indexingconstructive modelscomputable classconstructive abelian groupseffective embeddability propertyjoint constructive embeddability property

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Related Items (2)

The Wiener measure on the Heisenberg group and parabolic equations ⋮ A.D. Taimanov and model theory in Kazakhstan

Cites Work

• On a constrained variational problem and the space of horizontal paths
• Reduction of nonholonomic variation problems to isoperimetric ones and connections in principal bundles
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Conditions of effective infinity for the set of computable indexings of a class of constructive models