When does every definable nonempty set have a definable element?

DOI10.1002/malq.201700035OpenAlexW2996347964WikidataQ126592841 ScholiaQ126592841MaRDI QIDQ5108871

Joel David Hamkins, François G. Dorais

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)

Related Items (1)

A classical way forward for the regularity and normalization problems

Cites Work

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

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