Effective Extensions of Linear Forms on a Recursive Vector Space Over a Recursive Field

DOI10.1002/MALQ.19850311302zbMATH Open0581.03037OpenAlexW2074264372MaRDI QIDQ3703886FDOQ3703886

Iraj Kalantari, Rodney G. Downey

Publication date: 1985

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19850311302

zbMATH Keywords

simplicityHahn-Banach extension theoremrecursive vector spaceeffective concentrecursively ordered fieldsupermaximality

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45)

Cited In (4)

• Recursion theory and ordered groups
• Borel complexity and computability of the Hahn-Banach theorem
• More undecidable lattices of Steinitz exchange systems
• A standard form in (some) free fields: how to construct minimal linear representations

Recommendations

• Title not available (Why is that?) 👍 👎
• Prehomogeneous vector spaces and field extensions 👍 👎
• The behavior of differential, quadratic and bilinear forms under purely inseparable field extensions 👍 👎
• Differential forms and bilinear forms under field extensions 👍 👎
• Linear forms at a basis of an algebraic number field 👍 👎
• An effective Schmidt's subspace theorem for non-linear forms over function fields 👍 👎
• On the deformation of linear \(r\)-fields 👍 👎
• Formes linéaires de logarithmes effectives sur les variétés abéliennes 👍 👎
• On sesquilinear forms over fields with involution 👍 👎
• On the radical of linear forms over the ring of arithmetical functions 👍 👎

This page was built for publication: Effective Extensions of Linear Forms on a Recursive Vector Space Over a Recursive Field

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