Algebraically nonequivalent constructivization for infinite-dimensional vector space

DOI10.1007/BF01978555zbMath0786.03024OpenAlexW2047110796MaRDI QIDQ1191176

D. V. Lytkina

Publication date: 27 September 1992

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

Full work available at URL: https://doi.org/10.1007/bf01978555

zbMATH Keywords

constructivizations of vector spaces

Mathematics Subject Classification ID

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

Related Items (1)

Existence and uniqueness of structures computable in polynomial time

Cites Work

• Unnamed Item

This page was built for publication: Algebraically nonequivalent constructivization for infinite-dimensional vector space