Recursion theory on fields and abstract dependence

DOI10.1016/0021-8693(80)90237-9zbMath0469.03029OpenAlexW2000803808MaRDI QIDQ1156793

G. Metakides, Anil Nerode

Publication date: 1980

Published in: Journal of Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0021-8693(80)90237-9

zbMATH Keywords

lattice of r.e. algebraically closed subfields of an effective algebraically closed field of countably infinite transcendence degreerecursively presented Steinitz closure systems

Mathematics Subject Classification ID

Connections between field theory and logic (12L99) Theory of numerations, effectively presented structures (03D45)

Related Items

Intersections of algebraically closed fields, Co-immune subspaces and complementation inV_∞, A sufficient condition for nonpresentability of structures in hereditarily finite superstructures, Undecidability of \(L(F_{\infty})\) and other lattices of r.e. substructures, Learning Families of Closed Sets in Matroids, Decidable subspaces and recursively enumerable subspaces, Bases of supermaximal subspaces and Steinitz systems. I, Orbits of Creative Subspaces, Recursion theory and ordered groups, The universal complementation property, Nonpresentability of some structures of analysis in hereditarily finite superstructures, On the learnability of vector spaces, An infinite version of Arrow's theorem in the effective setting, Reverse Mathematics of Matroids, Ideals in computable rings, Recursive properties of relations on models, Dependence relations in computably rigid computable vector spaces, Dependency relations, Automorphisms of supermaximal subspaces, First-order theories of abstract dependence relations, More undecidable lattices of Steinitz exchange systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Effective dimension
• On the factorization of polynomials in a finite number of steps
• Effective procedures in field theory
• Maximal and Cohesive vector spaces
• Effective content of field theory
• Maximal vector spaces under automorphisms of the lattice of recursively enumerable vector spaces
• Recursively enumerable vector spaces
• Controlling the dependence degree of a recursively enumerable vector space
• Simple and hyperhypersimple vector spaces
• Major subspaces of recursively enumerable vector spaces
• A r-maximal vector space not contained in any maximal vector space