A unified view of the Dedekind completion of pointfree function rings (Q5236044)
From MaRDI portal
scientific article; zbMATH DE number 7117160
Language | Label | Description | Also known as |
---|---|---|---|
English | A unified view of the Dedekind completion of pointfree function rings |
scientific article; zbMATH DE number 7117160 |
Statements
A unified view of the Dedekind completion of pointfree function rings (English)
0 references
15 October 2019
0 references
frame
0 references
locale
0 references
frame of reals
0 references
continuous real function
0 references
function ring
0 references
order complete
0 references
Dedekind completion
0 references
scale
0 references
normal semicontinuous real function
0 references
partial real function
0 references
Hausdorff continuous real function
0 references
cb-frame
0 references