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

DOI10.1002/malq.19850311302zbMath0581.03037OpenAlexW2074264372MaRDI QIDQ3703886

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

Hahn-Banach extension theoremsimplicityrecursive vector spaceeffective concentrecursively ordered fieldsupermaximality

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45)

Related Items (3)

Recursion theory and ordered groups ⋮ Borel complexity and computability of the Hahn-Banach theorem ⋮ More undecidable lattices of Steinitz exchange systems

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