Semicontinuous real numbers in a topos
From MaRDI portal
Publication:1835974
DOI10.1016/0022-4049(83)90075-0zbMath0505.18001OpenAlexW1991102867MaRDI QIDQ1835974
Publication date: 1983
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0022-4049(83)90075-0
semicontinuitytoposCauchy realscontinuous latticesDedekind realsDedekind-MacNeille realsreal number object
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (1)
Cites Work
This page was built for publication: Semicontinuous real numbers in a topos