Naturality and definability II

DOI10.4067/S0719-06462019000300009zbMATH Open1446.03084arXivmath/0102060MaRDI QIDQ5113843FDOQ5113843

Wilfrid Hodges, S. Shelah

Publication date: 18 June 2020

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

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.

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

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
• scientific article; zbMATH DE number 4193763

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Definability and automorphism groups
• Injective hulls are not natural.
• Naturality and Definability, I
• On the Effectivity of Some Field Constructions
• Title not available (Why is that?)

Cited In (4)

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

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)