Algebraicity and implicit definability in set theory

DOI10.1215/00294527-3542326zbMATH Open1436.03264arXiv1305.5953OpenAlexW1632634803MaRDI QIDQ306841FDOQ306841

Authors: Joel David Hamkins, Cole Leahy 

Publication date: 1 September 2016

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Abstract: We analyze the effect of replacing several natural uses of definability in set theory by the weaker model-theoretic notion of algebraicity. We find, for example, that the class of hereditarily ordinal algebraic sets is the same as the class of hereditarily ordinal definable sets, that is, HOA = HOD. Moreover, we show that every (pointwise) algebraic model of ZF is actually pointwise definable. Finally, we consider the implicitly constructible universe Imp---an algebraic analogue of the constructible universe---which is obtained by iteratively adding not only the sets that are definable over what has been built so far, but also those that are algebraic (or equivalently, implicitly definable) over the existing structure. While we know Imp can differ from L, the subtler properties of this new inner model are just now coming to light. Many questions remain open.

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

Recommendations

• The implicitly constructible universe
• When does every definable nonempty set have a definable element?
• Ehrenfeucht's lemma in set theory
• Pointwise definable models of set theory
• Implicit definability of subfields

zbMATH Keywords

models of set theoryset-theoretic definability

Mathematics Subject Classification ID

Set-theoretic model theory (03C55) Inner models, including constructibility, ordinal definability, and core models (03E45) Other notions of set-theoretic definability (03E47)

Cites Work

• Models of set theory with definable ordinals
• Set-theoretic geology
• Degrees of rigidity for Souslin trees
• Title not available (Why is that?)
• Pointwise definable models of set theory
• Title not available (Why is that?)

Cited In (13)

• Implicit definability of subfields
• Algebraic theories with definable Skolem functions
• An application of infinitary universal algebra to set theory
• Typicality à la Russell in set theory
• On Russell typicality in set theory
• Implicit definability in arithmetic
• Ehrenfeucht's lemma in set theory
• On the ‘definability of definable’ problem of Alfred Tarski, Part II
• The exact strength of the class forcing theorem
• New algebraic invariants for definable subsets in universal algebra
• Recognizable sets and Woodin cardinals: computation beyond the constructible universe
• The implicitly constructible universe
• Title not available (Why is that?)

This page was built for publication: Algebraicity and implicit definability in set theory

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