On the public citation graph

Preframe presentations present

https://doi.org/10.1007/bfb0084221
0 signed · 78 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-10003-2_79openalex-snapshot
On observing nondeterminism and concurrency
inferredcites →https://doi.org/10.1007/978-3-540-33850-5openalex-snapshot
Algèbre
inferredcites →https://doi.org/10.1007/978-3-642-67678-9openalex-snapshot
A Compendium of Continuous Lattices
inferredcites →https://doi.org/10.1007/978-3-642-99902-4_3openalex-snapshot
Some Aspects of Equational Categories
inferredcites →https://doi.org/10.1007/bfb0036946openalex-snapshot
Power domains and predicate transformers: A topological view
inferredcites →https://doi.org/10.1007/bfb0059396openalex-snapshot
Lokal präsentierbare Kategorien
inferredcites →https://doi.org/10.1007/bfb0059404openalex-snapshot
Lokal α-präsentierbare Kategorien
inferredcites →https://doi.org/10.1007/bfb0061820openalex-snapshot
Localisation, spectra and sheaf representation
inferredcites →https://doi.org/10.1007/bfb0081358openalex-snapshot
Weak products and Hausdorff locales
inferredcites →https://doi.org/10.1007/bfb0083082openalex-snapshot
Coequalizers in categories of algebras
inferredcites →https://doi.org/10.1007/bfb0089908openalex-snapshot
Local compactness and continuous lattices
inferredcites →https://doi.org/10.1016/0022-0000(78)90048-xopenalex-snapshot
Power domains
inferredcites →https://doi.org/10.1016/0022-4049(86)90100-3openalex-snapshot
Left exact logic
inferredcites →https://doi.org/10.1017/s0004972700044828openalex-snapshot
Aspects of topoi
inferredcites →https://doi.org/10.1017/s0305004100037658openalex-snapshot
An abstract theory of topological subspaces
inferredcites →https://doi.org/10.1017/s1446788700012209openalex-snapshot
Two notes on frames
inferredcites →https://doi.org/10.1090/memo/0309openalex-snapshot
An extension of the Galois theory of Grothendieck
inferredcites →https://doi.org/10.1090/s0002-9947-1951-0042109-4openalex-snapshot
Topologies on spaces of subsets
inferredcites →https://doi.org/10.1201/9781003072621-9openalex-snapshot
Vietoris Locales and Localic Semilattices
inferredcites →https://doi.org/10.2307/2275086openalex-snapshot
Steven Vickers. Topology via logic. Cambridge tracts in theoretical computer science, no. 5. Cambridge University Press, Cambridge etc. 1989, xiii + 200 pp.
inferredcites →https://doi.org/10.2307/2275174openalex-snapshot
An intuitionistic proof of Tychonoff's theorem
inferredcites →https://doi.org/10.2307/2374638openalex-snapshot
General Functorial Semantics, I
inferredcites →https://doi.org/10.4064/fm-113-1-21-35openalex-snapshot
Tychonoff's theorem without the axiom of choice

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.2139/ssrn.4689710openalex-extracted
Smyth and Hoare Power Constructions Commute on All Well-Filtered Dcpos
inferred← citeshttps://doi.org/10.1002/malq.201500090openalex-snapshot
The localic compact interval is an Escardó‐Simpson interval object
inferred← citeshttps://doi.org/10.1007/978-1-4020-5587-4_8openalex-snapshot
Locales and Toposes as Spaces
inferred← citeshttps://doi.org/10.1007/978-3-642-15240-5_1openalex-snapshot
Convexity, Duality and Effects
inferred← citeshttps://doi.org/10.1007/978-3-662-44124-4_8openalex-snapshot
Dijkstra Monads in Monadic Computation
inferred← citeshttps://doi.org/10.1007/978-94-017-0470-0_2openalex-snapshot
Elements of the History of Locale Theory
inferred← citeshttps://doi.org/10.1007/978-981-16-3587-8_78openalex-snapshot
Effectiveness of Prefabricated Construction in Major Public Health Emergency Management: A fsQCA Analysis
inferred← citeshttps://doi.org/10.1007/bf02879935openalex-snapshot
Inverse limits in the category of locales
inferred← citeshttps://doi.org/10.1007/s00012-005-1939-8openalex-snapshot
Categories of partial frames
inferred← citeshttps://doi.org/10.1007/s10485-006-9029-4openalex-snapshot
Choiceless, Pointless, but not Useless: Dualities for Preframes
inferred← citeshttps://doi.org/10.1007/s10485-008-9177-9openalex-snapshot
The Patch Construction is Dual to Algebraic DCPO Representation
inferred← citeshttps://doi.org/10.1007/s10485-009-9187-2openalex-snapshot
A Representation Theorem for Geometric Morphisms
inferred← citeshttps://doi.org/10.1007/s10485-011-9258-zopenalex-snapshot
Representing Geometric Morphisms Using Power Locale Monads
inferred← citeshttps://doi.org/10.1007/s10485-016-9430-6openalex-snapshot
Stability of Properties of Locales Under Groups
inferred← citeshttps://doi.org/10.1007/s10485-021-09655-9openalex-snapshot
A New Diagonal Separation and its Relations With the Hausdorff Property
inferred← citeshttps://doi.org/10.1007/s10485-023-09736-xopenalex-snapshot
Presenting Quotient Locales
inferred← citeshttps://doi.org/10.1016/0022-4049(94)90047-7openalex-snapshot
Proper maps of locales
inferred← citeshttps://doi.org/10.1016/0304-3975(93)90072-2openalex-snapshot
Information systems for continuous posets
inferred← citeshttps://doi.org/10.1016/j.apal.2005.05.027openalex-snapshot
On the parallel between the suplattice and preframe approaches to locale theory
inferred← citeshttps://doi.org/10.1016/j.apal.2005.05.028openalex-snapshot
Compactness in locales and in formal topology
inferred← citeshttps://doi.org/10.1016/j.apal.2005.05.029openalex-snapshot
Completions, comonoids, and topological spaces
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.08.013openalex-snapshot
Presenting Locale Pullback Via Directed Complete Posets
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.10.013openalex-snapshot
Presenting Dcpos and Dcpo Algebras
inferred← citeshttps://doi.org/10.1016/j.jpaa.2021.106836openalex-snapshot
Stably locally compact locales are dual to continuous posets
inferred← citeshttps://doi.org/10.1016/j.tcs.2004.01.032openalex-snapshot
Presenting locale pullback via directed complete posets
inferred← citeshttps://doi.org/10.1016/j.tcs.2004.01.033openalex-snapshot
Entailment systems for stably locally compact locales
inferred← citeshttps://doi.org/10.1016/j.tcs.2004.01.034openalex-snapshot
A universal characterization of the double powerlocale
inferred← citeshttps://doi.org/10.1016/j.tcs.2006.09.005openalex-snapshot
A logical approach to stable domains
inferred← citeshttps://doi.org/10.1016/j.tcs.2015.03.020openalex-snapshot
Dijkstra and Hoare monads in monadic computation
inferred← citeshttps://doi.org/10.1016/j.topol.2005.10.010openalex-snapshot
Coalgebraic representations of distributive lattices with operators
inferred← citeshttps://doi.org/10.1016/j.topol.2011.05.024openalex-snapshot
A bitopological point-free approach to compactifications
inferred← citeshttps://doi.org/10.1016/s0022-4049(96)00169-7openalex-snapshot
Localic Priestley duality
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)82567-8openalex-snapshot
Bibliography
inferred← citeshttps://doi.org/10.1017/s0305004105008844openalex-snapshot
A categorical account of the Hofmann–Mislove theorem
inferred← citeshttps://doi.org/10.1017/s0960129512000229openalex-snapshot
Generalised powerlocales via relation lifting
inferred← citeshttps://doi.org/10.1017/s0960129599002741openalex-snapshot
Topical categories of domains
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780198566519.003.0014openalex-snapshot
SOME CONSTRUCTIVE ROADS TO TYCHONOFF
inferred← citeshttps://doi.org/10.1515/gmj-2012-0011openalex-snapshot
Aspects of slice stability in locale theory
inferred← citeshttps://doi.org/10.2307/2275174openalex-snapshot
An intuitionistic proof of Tychonoff's theorem
inferred← citeshttps://doi.org/10.2307/2275645openalex-snapshot
Tychonoff's theorem in the framework of formal topologies
inferred← citeshttps://doi.org/10.2307/2275781openalex-snapshot
Intuitionistic sets and ordinals
inferred← citeshttps://doi.org/10.23638/lmcs-15(3:13)2019openalex-snapshot
On the commutativity of the powerspace constructions
inferred← citeshttps://doi.org/10.36045/bbms/1464710120openalex-snapshot
When are enriched strong monads double exponential monads?
inferred← citeshttps://doi.org/10.4115/jla.2009.1.11openalex-snapshot
Localic completion of generalized metric spaces II: Powerlocales
inferred← citeshttps://doi.org/10.4115/jla.2013.5.2openalex-snapshot
Convergence in formal topology: a unifying notion
inferred← citeshttps://doi.org/10.4115/jla.v1i0.34openalex-snapshot
10.4115/jla.v1i0.34
inferred← citeshttps://doi.org/10.4115/jla.v5i0.196openalex-snapshot
10.4115/jla.v5i0.196
inferred← citeshttps://doi.org/10.4230/lipics.lics.2026.74openalex-snapshot
From Co-Coverages to Radicals in Complete Lattices
inferred← citeshttps://doi.org/10.46298/lmcs-18(4:10)2022openalex-snapshot
Coalgebraic Geometric Logic: Basic Theory
inferred← citeshttps://doi.org/10.46298/lmcs-8(2019:2)2022openalex-snapshot
Coalgebraic Geometric Logic: Basic Theory
inferred← citeshttps://doi.org/10.48550/arxiv.0911.3834openalex-snapshot
Duality for Convexity
inferred← citeshttps://doi.org/10.48550/arxiv.1202.3264openalex-snapshot
Generalized powerlocales via relation lifting
inferred← citeshttps://doi.org/10.48550/arxiv.1211.0720openalex-snapshot
Convergence in Formal Topology: a unifying notion
inferred← citeshttps://doi.org/10.70930/tac/2z2nujiiopenalex-snapshot
The double powerlocale and exponentiation:A case study in geometric logic
inferred← citeshttps://doi.org/10.7275/r5cf9n89openalex-snapshot
A Structural Theory of Derivations
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.