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

&
Mathematical Logic Quarterly 31 (13):193-200 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19850311302

Other Versions

original Downey, R. G.; Kalantari, Iraj (1985) "Effective extensions of linear forms on a recursive vector space over a recursive field". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31(13):193-200

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Effective extensions of linear forms on a recursive vector space over a recursive field.R. G. Downey & Iraj Kalantari - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (13):193-200.
Some remarks on a theorem of Iraj Kalantari concerning convexity and recursion theory.R. Downey - 1984 - Mathematical Logic Quarterly 30 (19‐24):295-302.
Some Remarks on a Theorem of Iraj Kalantari Concerning Convexity and Recursion Theory.R. Downey - 1984 - Mathematical Logic Quarterly 30 (19-24):295-302.
G. Metakides and A. Nerode. Recursion theory and algebra. Algebra and logic, Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia, edited by J. N. Crossley, Lecture notes in mathematics, vol. 450, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 209–219. - Iraj Kalantari and Allen Retzlaff. Maximal vector spaces under automorphisms of the lattice of recursively enumerable vector spaces. The journal of symbolic logic, vol. 42 no. 4 , pp. 481–491. - Iraj Kalantari. Major subspaces of recursively enumerable vector spaces. The journal of symbolic logic, vol. 43 , pp. 293–303. - J. Remmel. A r-maximal vector space not contained in any maximal vector space. The journal of symbolic logic, vol. 43 , pp. 430–441. - Allen Retzlaff. Simple and hyperhypersimple vector spaces. The journal of symbolic logic, vol. 43 , pp. 260–269. - J. B. Remmel. Maximal and cohesive vector spaces. The journal of symbolic logic, vol. 42 no. 3. [REVIEW]Henry A. Kierstead - 1986 - Journal of Symbolic Logic 51 (1):229-232.
Relations Intrinsically Recursive in Linear Orders.Michael Moses - 1986 - Mathematical Logic Quarterly 32 (25‐30):467-472.
Relations Intrinsically Recursive in Linear Orders.Michael Moses - 1986 - Mathematical Logic Quarterly 32 (25-30):467-472.
Effective operations on partial recursive functions.J. Myhill & J. C. Shepherdson - 1955 - Mathematical Logic Quarterly 1 (4):310-317.
On Choice Sets and Strongly Non‐Trivial Self‐Embeddings of Recursive Linear Orders.Rodney G. Downey & Michael F. Moses - 1989 - Mathematical Logic Quarterly 35 (3):237-246.
Recursive Word‐Functions over Infinite Alphabets.Vladeta Vučkovi - 1970 - Mathematical Logic Quarterly 16 (2):123-138.
Effective Enumerability of Some Families of Partially Recursive Functions Connected With Computable Functionals.Vladeta Vučković - 1970 - Mathematical Logic Quarterly 16 (2):113-121.

Analytics

Added to PP
2017-02-17

Downloads
2 (#1,895,964)

6 months
2 (#1,689,094)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Schnorr Randomness.Rodney G. Downey & Evan J. Griffiths - 2004 - Journal of Symbolic Logic 69 (2):533 - 554.
Recursion theory and ordered groups.R. G. Downey & Stuart A. Kurtz - 1986 - Annals of Pure and Applied Logic 32:137-151.
Borel complexity and computability of the Hahn–Banach Theorem.Vasco Brattka - 2008 - Archive for Mathematical Logic 46 (7-8):547-564.

Add more citations

References found in this work

No references found.

Add more references