Effective Extensions of Linear Forms on a Recursive Vector Space Over a Recursive Field (Q3703886)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Effective Extensions of Linear Forms on a Recursive Vector Space Over a Recursive Field |
scientific article |
Statements
Effective Extensions of Linear Forms on a Recursive Vector Space Over a Recursive Field (English)
0 references
1985
0 references
Hahn-Banach extension theorem
0 references
effective concent
0 references
recursive vector space
0 references
recursively ordered field
0 references
supermaximality
0 references
simplicity
0 references
