On countably closed mutually embeddable models
摘要
We show that a measurable cardinal is enough in order to construct two distinct countably closed mutually embeddable models. This answers a question from Eskew, M., et al.: Annals of Pure and Applied Logic, Vol. 175, Issue 1, Part B, 103325 (2024).