On the Effectivity of Some Field Constructions

DOI10.1112/plms/s3-32.1.133zbMath0325.12105OpenAlexW2009375261MaRDI QIDQ4088906

Wilfrid Hodges

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

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Algebraic field extensions (12F05) Separable extensions, Galois theory (12F10) Connections between field theory and logic (12L99) Applications of logic to commutative algebra (13L05) Other infinitary logic (03C75) Axiom of choice and related propositions (03E25) Ordered fields (12J15) Valued fields (12J10) Henselian rings (13J15)

Related Items (7)

Effectivity and reducibility with ordinal Turing machines ⋮ Generalized Effective Reducibility ⋮ Naturality and definability II ⋮ Realisability for infinitary intuitionistic set theory ⋮ Preserving Dependent Choice ⋮ Amorphe Potenzen kompakter Räume ⋮ Six impossible rings

This page was built for publication: On the Effectivity of Some Field Constructions