Mathematics of Domains

Michael A. Bukatin

Home/Archive/arXiv

arXiv · 1512.03868

Mathematics of Domains

Michael A. Bukatin

View original source ↗Read source document ↗Export metadata ↓

Abstract

Two groups of naturally arising questions in the mathematical theory of domains for denotational semantics are addressed. Domains are equipped with Scott topology and represent data types. Scott continuous functions represent computable functions and form the most popular continuous model of computations. Covariant Logic of Domains: Domains are represented as sets of theories, and Scott continuous functions are represented as input-output inference engines. The questions addressed are: A. What constitutes a subdomain? Do subdomains of a given domain $A$ form a domain? B. Which retractions are finitary? C. What is the essence of generalizations of information systems based on non-reflexive logics? Are these generalizations restricted to continuous domains? Analysis on Domains: D. How to describe Scott topologies via generalized distance functions satisfying the requirement of Scott continuity ("abstract computability")? The answer is that the axiom $ρ(x, x) = 0$ is incompatible with Scott continuity of distance functions. The resulting \bf relaxed metrics are studied. E. Is it possible to obtain Scott continuous relaxed metrics via measures of domain subsets representing positive and negative information about domain elements? The positive answer is obtained via the discovery of the novel class of co-continuous valuations on the systems of Scott open sets. Some of these natural questions were studied earlier. However, in each case a novel approach is presented, and the answers are supplied with much more compelling and clear justifications, than were known before.

Explore related subjects

cs.LO

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Michael A. Bukatin. 2015-12-12. Mathematics of Domains. https://arxiv.org/abs/1512.03868

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Programs as Singularities

We develop a correspondence between the structure of Turing machines and the structure of singularities of real analytic functions, based on connecting the Ehrhard-Regnier derivative from linear logic with the role of geometry in Watanabe's singular learning theory. The correspondence works by embedding ordinary (discrete) Turing machine codes into a family of noisy codes which form a smooth parameter space. On this parameter space we consider a potential function which has Turing machines as critical points. By relating the Taylor series expansion of this potential at such a critical point to combinatorics of error syndromes, we relate the local geometry to internal structure of the Turing machine. The potential in question is the negative log-likelihood for a statistical model, so that the structure of the Turing machine and its associated singularity is further related to Bayesian inference. Two algorithms that produce the same predictive function can nonetheless correspond to singularities with different geometries, which implies that the Bayesian posterior can discriminate between distinct algorithmic implementations, contrary to a purely functional view of inference. In the context of singular learning theory our results point to a more nuanced understanding of Occam's razor and the meaning of simplicity in inductive inference.

cs.LO↗

arXiv2026

Specification-Driven Data Architecture Reconstruction: From Physical Code to Logical and Conceptual Specifications

Legacy database migrations often begin with incomplete or outdated documentation, leaving physical data definition language (DDL) as the principal evidence of data architecture. However, DDL does not fully encode conceptual intent, and model-generated completions can be plausible without being correct. This study proposes and evaluates a provenance-aware, deterministic-first pipeline for reconstructing logical and conceptual data specifications from Oracle-oriented DDL while explicitly separating observed facts, deterministic derivations, and large language model (LLM) suggestions. The pipeline performs DDL investigation, parsing, consolidation, primary-key backfilling, type normalization, and declared relationship-graph construction before optional LLM-assisted enrichment. It preserves source provenance in the deterministic catalog and declared relationship graph, and records inferred primary-key and foreign-key candidates in a separate reviewable overlay. We evaluated the implementation on 249 artifactized schema samples comprising 1,225 SQL files. The pipeline completed 244 samples (97.99%); 52 completed samples contained no extractable DDL. Across completed samples, the deterministic path reconstructed 208 tables and recovered 278 declared foreign-key records; 168 of the reconstructed tables lacked an explicitly parsed primary key before backfilling. LLM enrichment generated 100 foreign-key candidates in 36 samples, but the parent-table admissibility rate was only 17.9% for logical-specification candidates and 17.5% for conceptual-specification candidates. These findings show that the proposed deterministic-first architecture can preserve an auditable structural baseline, quantify observed primary-key and relationship gaps, and prevent model-generated hypotheses from being silently promoted to source-grounded architectural facts.

cs.LO↗

arXiv2026

Tree algebras and bisimulation-invariant MSO on finite graphs

We establish that the bisimulation invariant fragment of MSO over finite transition systems is expressively equivalent over finite transition systems to modal mu-calculus, a question that had remained open for several decades. The proof goes by translating the question to an algebraic framework, and showing that the languages of regular trees that are recognized by finitary tree algebras are the regular ones, ie. the ones expressible in mu-calculus. This corresponds for trees to a weak form of the key translation of Wilke algebras to omega-semigroup over infinite words, and was also a missing piece in the algebraic theory of regular languages of infinite trees for twenty years.

cs.LO↗