http://dswarmsikhttkg7jgsoyfiqpj3ighupfrvuz5ri3lu5q2dlqyrpgk7ad.onion/notes/frege-ancestral.html
Formally ( KS §24), \[
\text{Her}_{xyz}(F_x,R_{yz})\equiv\forall x\forall y(Rxy \land Fx \to Fy))
\] Then, Frege’s definition of the strong \(R^*\) (Frege 1967, §26; Frege, 1980, §79): \[
R^*(a,b) \equiv \forall F[\text{Her}_{xyz}(Fx,Rxy) \land \forall x(Rax \to Fx) \to Fb]
\] His definition of the strong \(R^*\) in GG : \[
R^*(a,b) \equiv \forall F[\forall x\forall y(Fx\land Rxy \to Fy)\land\forall x(Rax\to Fx)\to Fb]
\] 3.