Bases of supermaximal subspaces and Steinitz systems. I

Journal of Symbolic Logic 49 (4):1146-1159 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274267

Other Versions

reprint Downey, R. G. (1986) "Bases of Supermaximal Subspaces and Steinitz Systems II". Mathematical Logic Quarterly 32(13-16):203-210

Links

PhilArchive



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

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

Automorphisms of supermaximal subspaces.R. G. Downey & G. R. Hird - 1985 - Journal of Symbolic Logic 50 (1):1-9.
More undecidable lattices of Steinitz exchange systems.L. R. Galminas & John W. Rosenthal - 2002 - Journal of Symbolic Logic 67 (2):859-878.
On Denumerable Bases of Formal Systems.Hao Wang - 1957 - Journal of Symbolic Logic 22 (3):292-293.
Review: Hao Wang, On Denumerable Bases of Formal Systems. [REVIEW]Clifford Spector - 1957 - Journal of Symbolic Logic 22 (3):292-293.
Major subspaces of recursively enumerable vector spaces.Iraj Kalantari - 1978 - Journal of Symbolic Logic 43 (2):293-303.
Lemmon-Style Bases for the Systems $S1^circ - S4^circ$.J. Jay Zeman - 1968 - Journal of Symbolic Logic 33 (3):458-461.
Lemmon-style bases for the systems s1⚬ - s4⚬.J. Jay Zeman - 1968 - Journal of Symbolic Logic 33 (3):458 - 461.

Analytics

Added to PP
2009-01-28

Downloads
255 (#105,164)

6 months
20 (#149,843)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Bases of Supermaximal Subspaces and Steinitz Systems II.R. G. Downey - 1986 - Mathematical Logic Quarterly 32 (13-16):203-210.

Add more citations

References found in this work

Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.
On a question of A. Retzlaff.Rod Downey - 1983 - Mathematical Logic Quarterly 29 (6):379-384.
Recursively enumerable vector spaces.G. Metakides - 1977 - Annals of Mathematical Logic 11 (2):147.
Recursion theory on algebraic structures with independent sets.J. B. Remmel - 1980 - Annals of Mathematical Logic 18 (2):153.

Add more references