Algebraically nonequivalent constructivization for infinite-dimensional vector space

DOI10.1007/BF01978555MaRDI QIDQ1191176zbMATH OpenOpenAlexFDO

Authors 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)

Review text

See the review in Zbl 0770.03012.

Cited in

(1)

• Existence and uniqueness of structures computable in polynomial time

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

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