Algebraicity and implicit definability in set theory

DOI10.1215/00294527-3542326MaRDI QIDQ306841zbMATH OpenOpenAlexFDO

Authors Joel David Hamkins, Cole Leahy

Publication date 1 September 2016

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

Full work available at URL https://arxiv.org/abs/1305.5953, https://projecteuclid.org/euclid.ndjfl/1461157794

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)

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.

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

Cites work

• scientific article; zbMATH DE number 3467095 (Why is no real title available?)
• scientific article; zbMATH DE number 3358472 (Why is no real title available?)
• Degrees of rigidity for Souslin trees
• Models of set theory with definable ordinals
• Pointwise definable models of set theory
• Set-theoretic geology

Cited in

(13)

• Implicit definability of subfields
• An application of infinitary universal algebra to set theory
• Algebraic theories with definable Skolem functions
• Typicality à la Russell in set theory
• Implicit definability in arithmetic
• On Russell typicality in set theory
• 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
• scientific article; zbMATH DE number 2172973 (Why is no real title available?)

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)