Author:
Schlagbauer Konstantin,Schuster Peter,Wessel Daniel
Subject
Applied Mathematics,Mathematical Physics,Mathematics (miscellaneous)
Reference48 articles.
1. [1] Peter Aczel, Laura Crosilla, Hajime Ishihara, Erik Palmgren, and Peter Schuster. Binary refinement implies discrete exponentiation. Studia Logica, 84(3) :361–368, 2006.
2. [2] Peter Aczel and Michael Rathjen. Notes on constructive set theory. Technical report, Institut Mittag–Leffler, 2000/01. Report No. 40.
3. [3] Peter Aczel and Michael Rathjen. Constructive set theory. Book draft, 2010.
4. [4] Errett Bishop. Foundations of Constructive Analysis. McGraw-Hill, New York, 1967.
5. [5] Errett Bishop and Douglas Bridges. Constructive Analysis. Springer, Berlin, 1985.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Towards formal Baer criteria;Confluentes Mathematici;2022-11-21
2. A General Glivenko–Gödel Theorem for Nuclei;Electronic Proceedings in Theoretical Computer Science;2021-12-29
3. A universal algorithm for Krull's theorem;Information and Computation;2021-05
4. On Scott’s semantics for many-valued logic;Journal of Logic and Computation;2020-07-21
5. Resolving finite indeterminacy;Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science;2020-07-08