Related papers: Relational Models for the Lambek Calculus with Int…
Keisler proved that if $\theta$ is a strong limit cardinal and $\lambda$ is a singular cardinal, then the transfer relation $\theta\longrightarrow\lambda$ holds. In a previous paper, we studied initial elementary submodels of the…
The aim of this article is to refine a weak invariance principle for stationary sequences given by Doukhan & Louhichi (1999). Since our conditions are not causal our assumptions need to be stronger than the mixing and causal $\theta$-weak…
The paper is dedicated to the study of strong duality for a problem of linear copositive programming. Based on the recently introduced concept of the set of normalized immobile indices, an extended dual problem is deduced. The dual problem…
We give a succinct proof of a duality theorem obtained by R\'ev\'esz in 1991 which concerns extremal quantities related to trigonomertic polynomials. The key tool of our new proof is an intersection formula on dual cones in real Banach…
We provide a complete characterization of the solvability/impossibility of deterministic stabilizing consensus in any computing model with benign process and communication faults using point-set topology. Relying on the topologies for…
It is well known that ordered exponential fields with a compatible non-trivial valuation cannot be spherically complete, but there are some that are ``complete enough''. This paper gives analogues of Kaplansky's theorem on maximally valued…
We address the optimal constants in the strong and the weak Stechkin inequalities, both in their discrete and continuous variants. These inequalities appear in the characterization of approximation spaces which arise from sparse…
We develop a duality for (modal) lattices that need not be distributive, and use it to study positive (modal) logic beyond distributivity, which we call weak positive (modal) logic. This duality builds on the Hofmann, Mislove and Stralka…
We give a reframing of Godel's first and second incompleteness theorems that applies even to some undefinable theories of arithmetic. The usual Hilbert-Bernays provability conditions and the diagonal lemma are replaced by a more direct…
We establish a new multiplicity lemma for solutions of a differential system extending Ramanujan's classical differential relations. This result can be useful in the study of arithmetic properties of values of Riemann zeta function at odd…
The paper concerns foundations of sensitivity and stability analysis in optimization and related areas, being primarily addressed truncated constrained systems. We consider general models, which are described by multifunctions between…
In this paper, we define a new realizability semantics for the simply typed lambda-mu-calculus. We show that if a term is typable, then it inhabits the interpretation of its type. We also prove a completeness result of our realizability…
We expand the completeness study instigated in [J. Math. Phys. 50 (2009), 103516, 29 pages] which found all $2\times2$ Lax pairs with non-zero, separable terms in each entry of each Lax matrix, along with the most general nonlinear systems…
Motivated by Tverberg-type problems in topological combinatorics and by classical results about embeddings (maps without double points), we study the question whether a finite simplicial complex K can be mapped into R^d without…
A non-distributive two-sorted hypersequent calculus \textbf{PDBL} and its modal extension \textbf{MPDBL} are proposed for the classes of pure double Boolean algebras and pure double Boolean algebras with operators respectively. A relational…
A fresh approach to the long debated question is proposed, starting from the GRAM-BACKLUND analytical continuation of the Zeta function (G-B Zeta expression). Consideration is given to the symmetric (even-exponent) and anti-symmetric (odd…
We first show that infinite satisfiability can be reduced to finite satisfiability for all prenex formulas of Separation Logic with $k\geq1$ selector fields ($\seplogk{k}$). Second, we show that this entails the decidability of the finite…
We consider the product of a compact Riemannian manifold without boundary and null scalar curvature with a compact Riemannian manifold with boundary, null scalar curvature and constant mean curvature on the boundary. We use bifurcation…
This article supplements recent work of the authors. (1) A criterion for failure of covariant finiteness of a full subcategory of $\Lambda\text{-mod}$ is given, where $\Lambda$ is a finite dimensional algebra. The criterion is applied to…
Filinski constructed a symmetric lambda-calculus consisting of expressions and continuations which are symmetric, and functions which have duality. In his calculus, functions can be encoded to expressions and continuations using primitive…