Pages that link to "Item:Q3703886"
From MaRDI portal
The following pages link to Effective Extensions of Linear Forms on a Recursive Vector Space Over a Recursive Field (Q3703886):
Displaying 4 items.
- Borel complexity and computability of the Hahn-Banach theorem (Q926175) (← links)
- Recursion theory and ordered groups (Q1093630) (← links)
- A standard form in (some) free fields: how to construct minimal linear representations (Q2053517) (← links)
- More undecidable lattices of Steinitz exchange systems (Q3149998) (← links)