Ehrenfeucht's lemma in set theory
From MaRDI portal
Publication:1782238
DOI10.1215/00294527-2018-0007zbMath1455.03065arXiv1501.01918OpenAlexW1576970471WikidataQ124967791 ScholiaQ124967791MaRDI QIDQ1782238
Joel David Hamkins, Gunter Fuchs, Victoria Gitman
Publication date: 19 September 2018
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1501.01918
Inner models, including constructibility, ordinal definability, and core models (03E45) Models of arithmetic and set theory (03C62) Set-theoretic model theory (03C55) Other notions of set-theoretic definability (03E47)
Related Items (3)
On Russell typicality in set theory ⋮ On the ‘definability of definable’ problem of Alfred Tarski, Part II ⋮ An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited
Uses Software
Cites Work
- Algebraicity and implicit definability in set theory
- Finite groups of OD-conjugates
- Models and types of Peano's arithmetic
- Discernible elements in models for Peano arithmetic
- On the Leibniz–Mycielski axiom in set theory
- Pointwise definable models of set theory
- Leibnizian models of set theory
- Powers of regular cardinals
- Unnamed Item
- Unnamed Item
This page was built for publication: Ehrenfeucht's lemma in set theory
