Recursion theory on fields and abstract dependence
type: Item
instance of: scholarly article
title: Recursion theory on fields and abstract dependence
zbMATH Open document ID: 0469.03029
DOI: 10.1016/0021-8693(80)90237-9
author: G. Metakides
author: Anil Nerode
published in: Journal of Algebra
publication date: 1980-01-01T00:00:00Z
Mathematics Subject Classification ID: 03D45
Mathematics Subject Classification ID: 12L99
zbMATH DE Number: 3735793
zbMATH Keywords: lattice of r.e. algebraically closed subfields of an effective algebraically closed field of countably infinite transcendence degree
zbMATH Keywords: recursively presented Steinitz closure systems
MaRDI profile type: Publication
full work available at URL: 0021-8693(80)90237-9
OpenAlex ID: W2000803808
cites work: Q5515373
cites work: Q4769050
cites work: Effective dimension
cites work: On the factorization of polynomials in a finite number of steps
cites work: Effective procedures in field theory
cites work: Q4299608
cites work: Major subspaces of recursively enumerable vector spaces
cites work: Maximal vector spaces under automorphisms of the lattice of recursively enumerable vector spaces
cites work: Recursively enumerable vector spaces
cites work: Effective content of field theory
cites work: Maximal and Cohesive vector spaces
cites work: A r-maximal vector space not contained in any maximal vector space
cites work: Simple and hyperhypersimple vector spaces
cites work: Q5573961
cites work: Controlling the dependence degree of a recursively enumerable vector space
cites work: Q5798024
description: scientific article; zbMATH DE number 3735793