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

Cited in

(9)

• Six impossible rings
• Realisability for infinitary intuitionistic set theory
• Generalized effective reducibility
• Amorphe Potenzen kompakter Räume
• Effectivity and reducibility with ordinal Turing machines
• Naturality and definability II
• Preserving dependent choice
• Almost sure OTM-realizability
• Complexities of effective reductions with ordinal Turing machines

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)