Abstract
In [G. Curl, On Tarski's fixed point theorem. Proc. Amer. Math. Soc., 143 (2015), pp. 4439-4455], a notion of abstract inductive definition is formula......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
