Vladimir Yu. Sazonov

Learn More
It is demonstrated how a Hyperset Theory (satisfying P.Aczel's Anti-Foundation Axiom) naturally arises from the idea of WorldWide Web (WWW). Alternatively, Web serves as an illustration and possible application of the abstract notion of antifounded sets. A-language of Bounded Hyperset Theory is presented as a query language to the Web or, more generally, to(More)
It is proved deenability in FO+IFP of a global linear ordering on vertices of strongly extensional (SE) nitely-branching graphs. In the case of nite SE graphs this also holds for FO+LFP. This gives capturing results for PTIME computability on the latter class of graphs by FO+LFP and FO+IFP, and also on the corresponding anti-founded universe HFA of(More)