On the Effectivity of Some Field Constructions

DOI10.1112/PLMS/S3-32.1.133zbMATH Open0325.12105OpenAlexW2009375261MaRDI QIDQ4088906FDOQ4088906

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)

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

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)