Diagonalization of continuous matrices as a representation of intuitionistic reals
type: Item
instance of: scholarly article
title: Diagonalization of continuous matrices as a representation of intuitionistic reals
zbMATH Open document ID: 0609.03021
DOI: 10.1016/0168-0072(86)90006-0
published in: Annals of Pure and Applied Logic
publication date: 1986-01-01T00:00:00Z
review text: The author solves, using topological models of intuitionistic analysis, a problem posed by \textit{R. V. Kadison} [Am. J. Math. 106, 1451-1468 (1984; Zbl 0585.46048)] concerning diagonalization of matrices of continuous functions.
Mathematics Subject Classification ID: 03F55
Mathematics Subject Classification ID: 15A54
Mathematics Subject Classification ID: 54H99
zbMATH DE Number: 3985207
zbMATH Keywords: topological models of intuitionistic analysis
zbMATH Keywords: diagonalization of matrices of continuous functions
author: Andre Scedrov
reviewed by: Pier Luigi Ferrari
MaRDI profile type: Publication
full work available at URL: 0168-0072(86)90006-0
OpenAlex ID: W2067206479
cites work: Q5573965
cites work: Q3863865
cites work: Rings of Continuous Functions in Which Every Finitely Generated Ideal is Principal
cites work: Q3270120
cites work: Diagonalizing Matrices
cites work: Q5182330
cites work: Q3871177
cites work: Two Applications of Logic to Mathematics
description: scientific article; zbMATH DE number 3985207