# Is there no anti-foundational theory exists Reinhardt and hold Global Choice?

J. D. Hamkins proved in "The foundation axiom and elementary self-embeddings of the universe" that, working in $$ZFGC^− +BAFA$$, there are nontrivial automorphisms and elementary embeddings of the universe V into itself.

But, he say "so (BAFA) there are no Reinhardt cardinals here to be found. The embeddings provided by BAFA have no critical points." in this post. What does he mean for "no critical points"?

(1) Can we use Kunen's inconsistency theorem to proof $$ZFGC^- + BAFA + Reinhardt \to 0=1$$?

(2) Can Kunen inconsistency make sure there is no "useful" anti-foundational axiom in MK-AF+Reinhardt and TG-AF+Reinhardt?

• He means no ordinals are moved. – Monroe Eskew Oct 2 '19 at 8:53
• This post is not written in good mathematical English: "to proof" and "no any" are always inappropriate, and "mean for" is inappropriate here. I can not understand question 2 at all. It might help to apply GoogleTranslate after writing the post in some other language, or to compare and combine computer-translated results with the English text proposed so far. – Matt F. Oct 2 '19 at 15:13
• the title is not that clear? – Zuhair Al-Johar Oct 2 '19 at 16:52
• @MattF. Sorry, I'm not Living in English country. I'm delete "any". "no critical points" just the motivation for my problem. – Ember Edison Oct 3 '19 at 10:23
• @ZuhairAl-Johar, if the title question and question 2 are clear to you, you can edit the post, and the edits would likely be approved. – Matt F. Oct 3 '19 at 11:51