- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Recursively enumerable vector spaces
Annals of Mathematical Logic 11 (2):147 (1977)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
My notes
Similar books and articles
A theorem on recursively enumerable vector spaces.Richard Guhl - 1975 - Notre Dame Journal of Formal Logic 16 (3):357-362.
Direct Summands of Recursively Enumerable Vector Spaces.Allen Retzlaff - 1979 - Mathematical Logic Quarterly 25 (19-24):363-372.
Automorphisms of the Lattice of Recursively Enumerable Vector Spaces.Iraj Kalantari - 1979 - Mathematical Logic Quarterly 25 (25‐29):385-401.
Direct Summands of Recursively Enumerable Vector Spaces.Allen Retzlaff - 1979 - Mathematical Logic Quarterly 25 (19‐24):363-372.
Major subspaces of recursively enumerable vector spaces.Iraj Kalantari - 1978 - Journal of Symbolic Logic 43 (2):293-303.
Two notes on recursively enumerable vector spaces.Richard Guhl - 1977 - Notre Dame Journal of Formal Logic 18 (2):295-298.
Maximal vector spaces under automorphisms of the lattice of recursively enumerable vector spaces.Iraj Kalantari & Allen Retzlaff - 1977 - Journal of Symbolic Logic 42 (4):481-491.
Degrees of convex dependence in recursively enumerable vector spaces.Thomas A. Nevins - 1993 - Annals of Pure and Applied Logic 60 (1):31-47.
Analytics
Added to PP
2014-01-17
Downloads
20 (#1,027,456)
6 months
4 (#1,232,709)
2014-01-17
Downloads
20 (#1,027,456)
6 months
4 (#1,232,709)
Historical graph of downloads
Citations of this work
Computable Abelian groups.Alexander G. Melnikov - 2014 - Bulletin of Symbolic Logic 20 (3):315-356,.
On R.e. And CO-R.E. Vector spaces with nonextendible bases.J. Remmel - 1980 - Journal of Symbolic Logic 45 (1):20-34.
Controlling the dependence degree of a recursive enumerable vector space.Richard A. Shore - 1978 - Journal of Symbolic Logic 43 (1):13-22.
Recursion theory and ordered groups.R. G. Downey & Stuart A. Kurtz - 1986 - Annals of Pure and Applied Logic 32:137-151.
Classifications of degree classes associated with r.e. subspaces.R. G. Downey & J. B. Remmel - 1989 - Annals of Pure and Applied Logic 42 (2):105-124.
References found in this work
Theory of recursive functions and effective computability.Hartley Rogers - 1987 - Cambridge: MIT Press.
The α-finite injury method.G. E. Sacks & S. G. Simpson - 1972 - Annals of Mathematical Logic 4 (4):343-367.
Recursion Theory and Algebra.G. Metakides, A. Nerode, J. N. Crossley, Iraj Kalantari & Allen Retzlaff - 1986 - Journal of Symbolic Logic 51 (1):229-232.
Combinatorial Functors.J. N. Crossley & Anil Nerode - 1977 - Journal of Symbolic Logic 42 (4):586-587.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-667477cd97-2pm92 dc2