Naturality and Definability, I

DOI10.1112/jlms/s2-33.1.1zbMath0562.18001OpenAlexW2047683766MaRDI QIDQ5187432

Saharon Shelah, Wilfrid Hodges

Publication date: 1986

Published in: Journal of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1112/jlms/s2-33.1.1

zbMATH Keywords

automorphism groupdefinabilityurelementsset-theoretic definabilityfunctorial constructionnaturalitynatural embeddingmodel of ZFCisomorphism types of structurescategorically naturaldefinably naturalglobal choice function

Mathematics Subject Classification ID

Descriptive set theory (03E15) Theories (e.g., algebraic theories), structure, and semantics (18C10) Natural morphisms, dinatural morphisms (18A23) Other notions of set-theoretic definability (03E47) Foundations, relations to logic and deductive systems (18A15)

Related Items

Theoretical equivalence in classical mechanics and its relationship to duality ⋮ Naturality and definability II ⋮ Omega-categoricity, relative categoricity and coordinatisation ⋮ Naturalness in Mathematics