Publisher
Springer Science and Business Media LLC
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Pure Σ2-elementarity beyond the core;Annals of Pure and Applied Logic;2021-10
2. Short-Circuiting the Definition of Mathematical Knowledge for an Artificial General Intelligence;Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops;2021
3. SELF-REFERENTIAL THEORIES;The Journal of Symbolic Logic;2020-09-07
4. A Glimpse of $$ \sum_{3} $$-elementarity;The Legacy of Kurt Schütte;2020
5. Pure patterns of order 2;Annals of Pure and Applied Logic;2018-01