No label defined (Q5224157)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7082967

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 7082967

Statements

scholarly article

0 references

0 references

publication date

19 July 2019

0 references

full work available at URL

http://logicandanalysis.org/index.php/jla/article/download/339/150

0 references

zbMATH Keywords

uniform spaces

0 references

pseudometrics

0 references

Bishop spaces

0 references

constructive topology

0 references

MaRDI profile type

MaRDI publication profile

0 references

Category Theory

0 references

0 references

A predicative completion of a uniform space

0 references

0 references

0 references

0 references

0 references

Constructive Mathematics in Theory and Programming Practice

0 references

0 references

Relating Bishop's function spaces to neighbourhood spaces

0 references

Localic completion of uniform spaces

0 references

Intuitionism and proof theory. Proceedings of the summer conference at Buffalo N. Y. 1968

0 references

On the regular extension axiom and its variants

0 references

0 references

Constructive set theory

0 references

Uniform spaces and measures

0 references

A constructive function-theoretic approach to topological compactness

0 references

Embeddings of Bishop spaces

0 references

0 references

Reuniting the antipodes---constructive and nonstandard views of the continuum. Symposium proceedings, San Servolo, Venice, Italy, May 16--22, 1999

0 references

Quasi-topologies

0 references

Identifiers

zbMATH Open document ID

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5224157

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5224157&oldid=36510394"