A lattice-theoretic approach to arbitrary real functions on frames (Q4643741)
From MaRDI portal
scientific article; zbMATH DE number 6875523
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A lattice-theoretic approach to arbitrary real functions on frames |
scientific article; zbMATH DE number 6875523 |
Statements
A lattice-theoretic approach to arbitrary real functions on frames (English)
0 references
28 May 2018
0 references
frame
0 references
locale
0 references
frame of reals
0 references
continuous real function
0 references
order complete
0 references
Dedekind-MacNeille completion
0 references
semicontinuous real function
0 references
partial real function
0 references
Hausdorff continuous real function
0 references
