DMCA
A Constructive View of Complete Regularity (2002)
by
Bernhard Banaschewski
,
Ales Pultr
,
Ale
,
S Pultr
| Venue: | Kyungpook Math. Journal |
| Citations: | 2 - 2 self |
BibTeX
@ARTICLE{Banaschewski02aconstructive,
author = {Bernhard Banaschewski and Ales Pultr and Ale and S Pultr},
title = {A Constructive View of Complete Regularity},
journal = {Kyungpook Math. Journal},
year = {2002},
volume = {43},
pages = {257--262}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
This note introduces the largest interpolative relation contained in the rather below (= well inside) relation in a frame as a constructive version of the familiar completely below (= really inside) relation. It establishes several constructively valid results for this whose analogues for the latter are only proved by means of the Axiom of Countable Dependent Choice.
