When does every definable nonempty set have a definable element?

DOI10.1002/MALQ.201700035MaRDI QIDQ5108871zbMATH OpenOpenAlexWikidataFDO

Authors François G. Dorais, Joel David Hamkins

Publication date 6 May 2020

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45)

Recommendations

• A definable \(E_0\) class containing no definable elements
• Pointwise definable models of set theory
• A countable definable set containing no definable elements
• Ordinal definability in Jensen's model
• Undefinable Classes and Definable Elements in Models of Set Theory and Arithmetic

Cites work

• A simple maximality principle
• Pointwise definable models of set theory

Cited in

(8)

• Ehrenfeucht's lemma in set theory
• Algebraicity and implicit definability in set theory
• Pointwise definable models of set theory
• A definable \(E_0\) class containing no definable elements
• On ground model definability
• WHICH CLASSES OF STRUCTURES ARE BOTH PSEUDO-ELEMENTARY AND DEFINABLE BY AN INFINITARY SENTENCE?
• A classical way forward for the regularity and normalization problems
• A countable definable set containing no definable elements

This page was built for publication: When does every definable nonempty set have a definable element?

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