On the Effectivity of Some Field Constructions
From MaRDI portal
Publication:4088906
DOI10.1112/plms/s3-32.1.133zbMath0325.12105MaRDI QIDQ4088906
Publication date: 1976
Published in: Proceedings of the London Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1112/plms/s3-32.1.133
03C60: Model-theoretic algebra
12F05: Algebraic field extensions
12F10: Separable extensions, Galois theory
12L99: Connections between field theory and logic
13L05: Applications of logic to commutative algebra
03C75: Other infinitary logic
03E25: Axiom of choice and related propositions
12J15: Ordered fields
12J10: Valued fields
13J15: Henselian rings
Related Items
Naturality and definability II, Preserving Dependent Choice, Six impossible rings, Generalized Effective Reducibility, Amorphe Potenzen kompakter Räume