A unified view of the Dedekind completion of pointfree function rings (Q5236044): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2553268216 / rank | |||
Normal rank |
Revision as of 01:17, 20 March 2024
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