Results 1 -
3 of
3
An Elementary Theory of the Category of Locally Compact Locales
, 2003
"... The category of locally compact locales over any elementary topos is characterised by means of the axioms of abstract Stone duality (monadicity of the topology, considered as a selfadjoint exponential # , and Scott continuity, F# = ##. ..."
Abstract
-
Cited by 2 (2 self)
- Add to MetaCart
The category of locally compact locales over any elementary topos is characterised by means of the axioms of abstract Stone duality (monadicity of the topology, considered as a selfadjoint exponential # , and Scott continuity, F# = ##.
MATHEMATICAL LOGIC QUARTERLY
, 2007
"... The axiomofchoice and the law of excluded middle in weak set theories ..."
Foundations for abstract forcing
, 712
"... Abstract: The foundations of forcing theory are reworked to streamline the presentation and to show how the most basic results are applicable in very general contexts. ..."
Abstract
- Add to MetaCart
Abstract: The foundations of forcing theory are reworked to streamline the presentation and to show how the most basic results are applicable in very general contexts.
