BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

G. Bezhanishvili

G. Bezhanishvili appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.LOmath.GNmath.RA

Catalog footprint

What is connected

3works
3topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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

Published work

3 published item(s)

preprint2023arXiv

De Vries powers and proximity Specker algebras

By de Vries duality [9], the category ${\sf KHaus}$ of compact Hausdorff spaces is dually equivalent to the category ${\sf DeV}$ of de Vries algebras. In [5] an alternate duality for ${\sf KHaus}$ was developed, where de Vries algebras were replaced by proximity Baer-Specker algebras. The functor associating with each compact Hausdorff space a proximity Baer-Specker algebra was described by generalizing the notion of a boolean power of a totally ordered domain to that of a de Vries power. It follows that ${\sf DeV}$ is equivalent to the category ${\sf PBSp}$ of proximity Baer-Specker algebras. The equivalence is obtained by passing through ${\sf KHaus}$, and hence is not choice-free. In this paper we give a direct algebraic proof of this equivalence, which is choice-free. To do so, we give an alternate choice-free description of de Vries powers of a totally ordered domain.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Profiniteness and representability of spectra of Heyting algebras

We prove that there exist profinite Heyting algebras that are not isomorphic to the profinite completion of any Heyting algebra. This resolves an open problem from 2009. More generally, we characterize those varieties of Heyting algebras in which profinite algebras are isomorphic to profinite completions. It turns out that there exists largest such. We give different characterizations of this variety and show that it is finitely axiomatizable and locally finite. From this it follows that it is decidable whether in a finitely axiomatizable variety of Heyting algebras all profinite members are profinite completions. In addition, we introduce and characterize representable varieties of Heyting algebras, thus drawing connection to the classical problem of representing posets as prime spectra.

0 citations0 reviewsNo code linkedOpen access