A predicative completion of a uniform space (Q424538): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Peter M. Schuster / rank | |||
Property / author | |||
Property / author: Peter M. Schuster / rank | |||
Normal rank | |||
Property / review text | |||
In this contribution to the constructive theory of uniform spaces, having pointed out their perceived problems with the Bridges-Vîţă notion of \textit{uniform space}, the authors introduce a new, predicative notion, built on a base of entourages. They then show how, in the subsystem CZF\(^{-}\) of the constructive set theory CZF, one can construct a completion of their kind of uniform space. | |||
Property / review text: In this contribution to the constructive theory of uniform spaces, having pointed out their perceived problems with the Bridges-Vîţă notion of \textit{uniform space}, the authors introduce a new, predicative notion, built on a base of entourages. They then show how, in the subsystem CZF\(^{-}\) of the constructive set theory CZF, one can construct a completion of their kind of uniform space. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03F60 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 54E15 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6040325 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
constructive mathematics | |||
Property / zbMATH Keywords: constructive mathematics / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
uniform space | |||
Property / zbMATH Keywords: uniform space / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
completion | |||
Property / zbMATH Keywords: completion / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
constructive set theory | |||
Property / zbMATH Keywords: constructive set theory / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Douglas S. Bridges / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.apal.2011.12.022 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2045245582 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3762311 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3310616 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Aspects of general topology in constructive set theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The crisis in contemporary mathematics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3803111 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3754620 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Strong and Uniform Continuity – the Uniform Space Case / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Techniques of constructive analysis / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the collection of points of a formal space / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Two subcategories of apartness spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Constructive set theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3481701 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some points in formal topology. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2752158 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 07:40, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A predicative completion of a uniform space |
scientific article |
Statements
A predicative completion of a uniform space (English)
0 references
1 June 2012
0 references
In this contribution to the constructive theory of uniform spaces, having pointed out their perceived problems with the Bridges-Vîţă notion of \textit{uniform space}, the authors introduce a new, predicative notion, built on a base of entourages. They then show how, in the subsystem CZF\(^{-}\) of the constructive set theory CZF, one can construct a completion of their kind of uniform space.
0 references
constructive mathematics
0 references
uniform space
0 references
completion
0 references
constructive set theory
0 references