Infinite dimensional proper subspaces of computable vector spaces
type: Item
instance of: scholarly article
title: Infinite dimensional proper subspaces of computable vector spaces
zbMATH Open document ID: 1338.03086
author: Chris J. Conidis
published in: Journal of Algebra
publication date: 2014-08-28T00:00:00Z
Mathematics Subject Classification ID: 03D45
Mathematics Subject Classification ID: 03B30
Mathematics Subject Classification ID: 03D15
Mathematics Subject Classification ID: 03D55
Mathematics Subject Classification ID: 03F35
zbMATH DE Number: 6335136
zbMATH Keywords: computability theory
zbMATH Keywords: vector space
zbMATH Keywords: reverse mathematics
zbMATH Keywords: \(\Pi_1^0\)-classes
zbMATH Keywords: low basis theorem
MaRDI profile type: Publication
full work available at URL: j.jalgebra.2014.02.027
OpenAlex ID: W2014139076
cites work: Q5563439
cites work: Rekursive Algebren mit Kettenbedingungen
cites work: Q4513963
cites work: Q4934277
cites work: On the strength of Ramsey's theorem for pairs
cites work: Chain conditions in computable rings
cites work: On the complexity of radicals in noncommutative rings
cites work: The computability, definability, and proof theory of Artinian rings
cites work: Comparing theorems of hyperarithmetic analysis with the arithmetic Bolzano-Weierstrass theorem
cites work: Algorithmic Randomness and Complexity
cites work: Ideals in computable rings
cites work: Subspaces of computable vector spaces
cites work: Q4485838
cites work: Countable algebra and set existence axioms
cites work: Addendum to ``Countable algebra and set existence axioms''
cites work: Effective procedures in field theory
cites work: Combinatorial principles weaker than Ramsey's Theorem for pairs
cites work: The atomic model theorem and type omitting
cites work: ∏ 0 1 Classes and Degrees of Theories
cites work: Q2770573
cites work: Q3739243
cites work: Effective content of field theory
cites work: INDECOMPOSABLE LINEAR ORDERINGS AND HYPERARITHMETIC ANALYSIS
cites work: Open Questions in Reverse Mathematics
cites work: Q3611832
cites work: Logic colloquium '77. Proceedings of the colloquium held in Wroclaw, August 1977
cites work: Computable Algebra, General Theory and Theory of Computable Fields
cites work: A r-maximal vector space not contained in any maximal vector space
cites work: Degrees of models
cites work: Q5596777
cites work: On the strength of Ramsey's theorem
cites work: Reverse Mathematics: The Playground of Logic
cites work: Controlling the dependence degree of a recursively enumerable vector space
cites work: Q3395521
cites work: Q4040892
cites work: Turing Computability
cites work: \(\Pi_1^1\)-CA\(_0\) and order types of countable ordered groups
cites work: Ordered Groups: A Case Study in Reverse Mathematics
cites work: Reverse mathematics and fully ordered groups
cites work: Q3997667
DOI: 10.1016/J.JALGEBRA.2014.02.027
Recommended article: Subspaces of computable vector spaces
Recommended article: A Characterization of Infinite Dimension for Vector Spaces
Recommended article: Coarse infinite-dimensionality of hyperspaces of finite subsets
Recommended article: Finest chains of subspaces in infinite-dimensional vector spaces
Recommended article: Q4020554
Recommended article: The Lattice of Computably Enumerable Vector Spaces
Recommended article: Finite dimensional orthocomplemented subspaces of \({\ell}^{\infty}\)
Recommended article: Infinitary properties of valued and ordered vector spaces
Recommended article: Computability of the Metric Projection Onto Finite-dimensional Linear Subspaces
Recommended article: On certain non-constructive properties of infinite-dimensional vector spaces
description: scientific article; zbMATH DE number 6335136