Kalantari, Iraj; Welch, Larry Specker’s theorem, cluster points, and computable quantum functions. (English) Zbl 1107.03052 Enayat, Ali (ed.) et al., Logic in Tehran. Proceedings of the workshop and conference on logic, algebra and arithmetic, Tehran, Iran, October 18–22, 2003. Wellesley, MA: AK Peters (ISBN 1-56881-296-5/pbk; 1-56881-295-7/hbk). Lecture Notes in Logic 26, 134-159 (2006). MSC: 03D45 03F60 54A20 81P68 PDFBibTeX XMLCite \textit{I. Kalantari} and \textit{L. Welch}, Lect. Notes Log. 26, 134--159 (2006; Zbl 1107.03052)
Kalantari, Iraj; Welch, Lawrence Recursive and nonextendible functions over the reals; filter foundation for recursive analysis. II. (English) Zbl 0954.03043 Ann. Pure Appl. Logic 98, No. 1-3, 87-110 (1999). MSC: 03D45 54A20 03C57 PDFBibTeX XMLCite \textit{I. Kalantari} and \textit{L. Welch}, Ann. Pure Appl. Logic 98, No. 1--3, 87--110 (1999; Zbl 0954.03043) Full Text: DOI