Timeline for Can there be such an elementary embedding?
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 31, 2018 at 19:46 | vote | accept | Zuhair Al-Johar | ||
| Jul 13, 2018 at 10:50 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 1110 characters in body
|
| Jul 13, 2018 at 5:05 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
added 11 characters in body
|
| Jul 13, 2018 at 4:51 | comment | added | Zuhair Al-Johar | @JoelDavidHamkins, yes part of it is like that, but there are additional requirements here, that of the definable subsets of $M$ as specified in the head post being able to be moved internally in $M$ by automorphism $j$ | |
| Jul 12, 2018 at 23:28 | comment | added | Joel David Hamkins | I don't understand your question, but certain ideas in it seem to have a family resemblance with ideas in the wholeness axiom, introduced by Paul Corazza. See cantorsattic.info/Wholeness_axioms. Corazza was interested in the idea of adding $j$ explicitly to the language, plus the assertion that it is an elementary embedding of the universe to itself, and then looking at how much set theory one might have in the language with $j$. This seems to be in part what you also are doing. | |
| Jul 12, 2018 at 23:21 | comment | added | Noah Schweber | "and such that the symbol $j$ can be used freely in the instances of Replacement and Separation." What do you mean by this? What structure is supposed to satisfy these strengthenings of Replacement and Separation? Certainly not $M$ or $P(M)$ themselves ... | |
| Jul 12, 2018 at 23:16 | answer | added | Noah Schweber | timeline score: 2 | |
| Jul 12, 2018 at 19:22 | history | asked | Zuhair Al-Johar | CC BY-SA 4.0 |