相关论文: The answers to two problems on maximal point space…

A topological space has a domain model if it is homeomorphic to the maximal point space $\mbox{Max}(P)$ of a domain $P$. Lawson proved that every Polish space $X$ has an $\omega$-domain model $P$ and for such a model $P$, $\mbox{Max}(P)$ is…

For a (not necessarily locally convex) topological vector space $\mathcal{X}$ of holomorphic functions in one complex variable, we show that the shift invariant subspace generated by a set of polynomials is $\mathcal{X}$ if and only if…

With a frame $L$ as the truth value table, we study the topological representations for frame-valued domains. We introduce the notions of locally super-compact $L$-topological space and strong locally super-compact $L$-topological space.…

In [J. Cantarella, D. DeTurck, H. Gluck and M. Teytel, J. Math. Phys. 41:5615 (2000)] the helicity isoperimetric problem which asks to find a smooth domain of fixed volume which maximises Biot-Savart helicity among all other smooth domains…

In this paper we consider a shape optimization problem in which the data in the cost functional and in the state equation may change sign, and so no monotonicity assumption is satisfied. Nevertheless, we are able to prove that an optimal…

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…

Given an arbitrary spectral space $X$, we endow it with its specialization order $\leq$ and we study the interplay between suprema of subsets of $(X,\leq)$ and the constructible topology. More precisely, we investigate about when the…

Suppose $X$ and $Y$ are topological spaces, $|X| = \Delta(X)$ and $|Y| = \Delta(Y)$. We investigate resolvability of the product $X \times Y$. We prove that: I. If $|X| = |Y| = \omega$ and $X,Y$ are Hausdorff, then $X \times Y$ is maximally…

Recursive domain equations have natural solutions. In particular there are domains defined by strictly positive induction. The class of countably based domains gives a computability theory for possibly non-countably based topological…

Let $F$ be a field. For each nonempty subset $X$ of the Zariski-Riemann space of valuation rings of $F$, let ${A}(X) = \bigcap_{V \in X}V$ and ${J}(X) = \bigcap_{V \in X}{\mathfrak M}_V$, where ${\mathfrak M}_V$ denotes the maximal ideal of…

In a recent paper, two multi-representations for the measurable sets in a computable measure space have been introduced, which prove to be topologically complete w.r.t. certain topological properties. In this contribution, we show them…

Consider a convex set S defined by a matrix inequality of polynomials or rational functions over a domain. The set S is called semidefinite programming (SDP) representable or just semidefinite representable if it equals the projection of a…

A non-empty subset of a topological space is irreducible if whenever it is covered by the union of two closed sets, then already it is covered by one of them. Irreducible sets occur in proliferation: (1) every singleton set is irreducible,…

Let A be a local conformal net of factors on the circle with the split property. We provide a topological construction of soliton representations of the tensor product of n copies of A, that restrict to true representations of subnet…

An intersection of sets $A = \bigcap_{i \in I}B_i$ is irredundant if no $B_i$ can be omitted from this intersection. We develop a topological approach to irredundance by introducing a notion of a spectral representation, a spectral space…

In this paper we prove the existence of an optimal domain $\Omega_{opt}$ for the shape optimization problem $$\max\Big\{\lambda_q(\Omega)\ :\ \Omega\subset D,\ \lambda_p(\Omega)=1\Big\},$$ where $q<p$ and $D$ is a prescribed bounded subset…

Relational semigroups with domain and range are a useful tool for modelling nondeterministic programs. We prove that the representation class of domain-range semigroups with demonic composition is not finitely axiomatisable. We extend the…

We introduce a continuous domain for function spaces over topological spaces which are not core-compact. Notable examples of such topological spaces include the real line with the upper limit topology, which is used in solution of initial…

We show that if a bounded pseudoconvex domain satisfies the solvability of the bounded $\bar{\partial}$ problem, then the ideal of bounded holomorphic functions vanishing at a point in the domain is finitely generated. We also prove a…

Earlier an arbitrary poset $P$ was proved to be isomorphic to the collection of subsets of a space $M$ with two closures which are closed in the first closure and open in the other. As a space $M$ for this representation an algebraic dual…