BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Qingguo Li

Qingguo Li contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.GNLogic in Computer Sciencemath.LO

Trust snapshot

Quick read

Trust 19 - UnverifiedVerification L1Unclaimed author
5works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

5 published item(s)

preprint2026arXiv

Co-Noetherian spaces

In non-Hausdorff topology, many spaces exhibit significant separation properties, such as sober spaces, well-filtered spaces and d-spaces. These properties serve to fundamentally classify T0 topological spaces. In this paper, we introduce and study a new class of topological spaces called co-Noetherian spaces, which can refine the classification of T0 spaces. We discuss some basic properties of co-Noetherian spaces and obtain an equivalent characterization of compactness under the strong topology. Additionally, we investigate the connections among KC-spaces, strong R-spaces and co-Noetherian spaces. Moreover, we establish an equivalence between the category of T0 co-Noetherian spaces with continuous mappings and a subcategory of the poset category. Finally, we provide counterexamples to show that the Hoare powerspace of a T0 space may fail to be co-Noetherian, and that the Smyth powerspace of a co-Noetherian space need not be co-Noetherian.

0 citations0 reviewsNo code linkedOpen access
preprint2026arXiv

S*-well-filtered spaces and d*-spaces

Recently, Xu proposed a strongly well-filtered space in [24] and systematically investigated some of its properties and characterizations. In this paper, we introduce a new class of T0-spaces called S*-well-filtered spaces, which is strictly larger than the class of strongly well-filtered spaces. First, we establish some connections among S*-well-filtered spaces, d*-spaces and weak well-filtered spaces. Then it is demonstrated that for any dcpo P, the Scott space ΣP is a d*-space if and only if it is S*-well-filtered. Furthermore, some basic properties of S*-well-filtered spaces are discussed. We prove that if Y is an S*-well-filtered space, the function space TOP(X,Y) equipped with the Isbell topology may not be an S*-well-filtered space. Finally, we study the S*-well-filteredness of Smyth power spaces. In addition, Johnstone's non-sober dcpo example is shown to be S*-well-filtered yet it is not strongly well-filtered, thereby establishing an obvious distinction between these two classes of dcpos.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Categorical Representations of Continuous Domains and Continuous L-Domains Based on Closure Spaces

Closure space has proven to be a useful tool to restructure lattices and various order structures.This paper aims to provide a novel approach to characterizing some important kinds of continuous domains by means of closure spaces. By introducing an additional map into a given closure space, the notion of F-augmented generalized closure space is presented. It is shown that F-augmented generalized closure spaces generate exactly continuous domains. Moreover, the notion of approximable mapping is identified to represent Scott-continuous functions between continuous domains. These results produce a category equivalent to that of continuous domains with Scottcontinuous functions. At the same time, two subclasses of F-augmented generalized closure spaces are considered which are representations of continuous L-domains and continuous bounded complete domains, respectively.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

D-completion, well-filterification and sobrification

In this paper, we obtain some sufficient conditions for the D-completion of a T0 space to be the well-filterification of this space, the well-filterification of a T0 space to be the sobrification of this space and the D-completion of a T0 space to be the sobrification, respectively. Moreover, we give an example to show that a tapered closed set may be neither the closure of a directed set nor the closed KF-set, respectively. Because the tapered closed set is a closed WD-set, the example also gives a negative answer to a problem proposed by Xu. Meantime, a new direct characterization of the D-completion of a T0 space is given by using the notion of pre-c-compact elements.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

The categorical equivalence between disjunctive sequent calculi and algebraic L-domains

This paper establishes a purely syntactic representation for the category of algebraic L-domains with Scott-continuous functions as morphisms. The central tool used here is the notion of logical states, which builds a bridge between disjunctive sequent calculi and algebraic L-domains. To capture Scott-continuous functions between algebraic L-domains, the notion of consequence relations between disjunctive sequent calculi is also introduced. It is shown that the category of disjunctive sequent calculi with consequence relations as morphisms is categorical equivalent to that of algebraic L-domains with Scott-continuous functions as morphisms.

0 citations0 reviewsNo code linkedOpen access