Naturality and definability II

DOI10.4067/S0719-06462019000300009MaRDI QIDQ5113843zbMATH OpenFDO

Authors Wilfrid Hodges, S. Shelah

Publication date 18 June 2020

Published in Cubo (Temuco) (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0102060

zbMATH Keywords

naturalityZFC set theorytransitive modelsuniformisability

Mathematics Subject Classification ID

Automorphisms and endomorphisms of algebraic structures (08A35) Consistency and independence results (03E35) Natural morphisms, dinatural morphisms (18A23) Interpolation, preservation, definability (03C40) Other notions of set-theoretic definability (03E47) Foundations, relations to logic and deductive systems (18A15)

Abstract: In two papers we noted that in common practice many algebraic constructions are defined only `up to isomorphism' rather than explicitly. We mentioned some questions raised by this fact, and we gave some partial answers. The present paper provides much fuller answers, though some questions remain open. Our main result says that there is a transitive model of Zermelo-Fraenkel set theory with choice (ZFC) in which every fully definable construction is `weakly natural' (a weakening of the notion of a natural transformation). A corollary is that there are models of ZFC in which some well-known constructions, such as algebraic closure of fields, are not explicitly definable. We also show that there is no model of ZFC in which the explicitly definable constructions are precisely the natural ones.

Recommendations

• Naturality and Definability, I
• The naturality of natural deduction
• scientific article; zbMATH DE number 1531934
• Natural deduction and arbitrary objects
• scientific article; zbMATH DE number 3275554
• Naturalizing natural deduction
• NATURAL AXIOMS FOR CLASSICAL MEREOLOGY
• Naturality of the conditional and the recursion^∗
• scientific article; zbMATH DE number 4047678
• scientific article; zbMATH DE number 4193763

Cites work

• scientific article; zbMATH DE number 3652325 (Why is no real title available?)
• scientific article; zbMATH DE number 3708384 (Why is no real title available?)
• scientific article; zbMATH DE number 194916 (Why is no real title available?)
• Definability and automorphism groups
• Injective hulls are not natural.
• Naturality and Definability, I
• On the Effectivity of Some Field Constructions

Cited in

(4)

• Two notions of naturalness
• Naturality and Definability, I
• The Construction of A Definable Non‐Categorical Domain
• Definability and automorphism groups

This page was built for publication: Naturality and definability II

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