Author:
Cederquist Jan,Coquand Thierry
Publisher
Cambridge University Press
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Reifying dynamical algebra: Maximal ideals in countable rings, constructively;Computability;2024-04-26
2. A formal approach to Menger's theorem;Reports on Mathematical Logic;2022-11-28
3. A General Glivenko–Gödel Theorem for Nuclei;Electronic Proceedings in Theoretical Computer Science;2021-12-29
4. A note on connected reduced rings;Journal of Commutative Algebra;2021-12-01
5. Regular Entailment Relations;Paul Lorenzen -- Mathematician and Logician;2021