Diagonalization of continuous matrices as a representation of intuitionistic reals

DOI10.1016/0168-0072(86)90006-0zbMath0609.03021OpenAlexW2067206479MaRDI QIDQ1086560

Andrej Scedrov

Publication date: 1986

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(86)90006-0

zbMATH Keywords

diagonalization of matrices of continuous functionstopological models of intuitionistic analysis

Mathematics Subject Classification ID

Matrices over function rings in one or more variables (15A54) Intuitionistic mathematics (03F55) Connections of general topology with other structures, applications (54H99)

Related Items

A model for spacetime: the role of interpretation in some Grothendieck topoi ⋮ Decompositions of finitely generated modules over C(X): sheaf semantics and a decision procedure ⋮ A constructive proof of Gleason's theorem ⋮ Gleason's theorem has a constructive proof

Cites Work

• Rings of Continuous Functions in Which Every Finitely Generated Ideal is Principal
• Diagonalizing Matrices
• Two Applications of Logic to Mathematics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item