On the Effectivity of Some Field Constructions

DOI10.1112/PLMS/S3-32.1.133MaRDI QIDQ4088906zbMATH OpenOpenAlexFDO

Authors 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) Separable extensions, Galois theory (12F10) Algebraic field extensions (12F05) Other infinitary logic (03C75) Axiom of choice and related propositions (03E25) Valued fields (12J10) Ordered fields (12J15) Henselian rings (13J15) Applications of logic to commutative algebra (13L05) Connections between field theory and logic (12L99)

Cited in

(7)

• Naturality and definability II
• Six impossible rings
• Effectivity and reducibility with ordinal Turing machines
• Realisability for infinitary intuitionistic set theory
• Preserving dependent choice
• Generalized effective reducibility
• Amorphe Potenzen kompakter Räume

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4088906)