• Journals
  • Discipline
  • Indexed
  • Institutions
  • About
JavaScript is disabled for your browser. Some features of this site may not work without it.
View Item 
  •   Home
  • Universidad de la Frontera
  • Cubo: A Mathematical Journal
  • View Item
  •   Home
  • Universidad de la Frontera
  • Cubo: A Mathematical Journal
  • View Item

Naturality and definability II

Author
Hodges, Wilfrid

Shelah, Saharon

Full text
http://revistas.ufro.cl/ojs/index.php/cubo/article/view/2217
10.4067/S0719-06462019000300009
Abstract
We regard an algebraic construction as a set-theoretically defined map taking structures A to structures B which have A as a distinguished part, in such a way that any isomorphism from A to A' lifts to an isomorphism from B to B'. In general the construction defines B up to isomorphism over A. A construction is uniformisable if the set-theoretic definition can be given in a form such that for each A the corresponding B is determined uniquely. A construction is natural if restriction from B to its part A always determines a map from the automorphism group of B to that of A which is a split surjective group homomorphism. We prove that there is no transitive model of ZFC (Zermelo-Fraenkel set theory with Choice) in which the uniformisable constructions are exactly the natural ones. We construct a transitive model of ZFC in which every uniformisable construction (with a restriction on the parameters in the formulas defining the construction) is ‘weakly’ natural. Corollaries are that the construction of algebraic closures of fields and the construction of divisible hulls of abelian groups have no uniformisations definable in ZFC without parameters.
Metadata
Show full item record
Discipline
Artes, Arquitectura y UrbanismoCiencias Agrarias, Forestales y VeterinariasCiencias Exactas y NaturalesCiencias SocialesDerechoEconomía y AdministraciónFilosofía y HumanidadesIngenieríaMedicinaMultidisciplinarias
Institutions
Universidad de ChileUniversidad Católica de ChileUniversidad de Santiago de ChileUniversidad de ConcepciónUniversidad Austral de ChileUniversidad Católica de ValparaísoUniversidad del Bio BioUniversidad de ValparaísoUniversidad Católica del Nortemore

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister
Dirección de Servicios de Información y Bibliotecas (SISIB) - Universidad de Chile
© 2019 Dspace - Modificado por SISIB