Related papers: Extensional concepts in intensional type theory, r…
In this paper we considered the extension of the First-order Logic (FOL) by Bealer's intensional abstraction operator. Contemporary use of the term 'intension' derives from the traditional logical Frege-Russell's doctrine that an idea…
In this paper, we obtain two extension theorems for cohomology classes and holomorphic sections defined on analytic subvarieties, which are defined as the supports of the quotient sheaves of multiplier ideal sheaves of…
The univalence axiom expresses the principle of extensionality for dependent type theory. However, if we simply add the univalence axiom to type theory, then we lose the property of canonicity - that every closed term computes to a…
This paper deals with extension of analytic covers. We prove topological extension theorems for analytic covers. The main result is an extension theorem which only uses the extension of the ramification divisor. We give also a Thullen-type…
We study a question raised by Eisenbud, Mustata, and Stillman regarding the injectivity of natural maps from Ext modules to local cohomology modules. We obtain some positive answers to this question which extend earlier results of…
The algebraic structure of V.P. Potapov's Fundamental Matrix Inequality (FMI) is discussed and its interpolation meaning is analyzed. Functional model spaces are involved. A general Abstract Interpolation Problem is formulated which seems…
The postulates of comprehension and extensionality in set theory are based on an inversion principle connecting set-theoretic abstraction and the property of having a member. An exactly analogous inversion principle connects functional…
We show that countable increasing unions preserve a large family of well-studied covering properties, which are not necessarily sigma-additive. Using this, together with infinite-combinatorial methods and simple forcing theoretic methods,…
We study the multifractal analysis of self-similar measures arising from random homogeneous iterated function systems. Under the assumption of the uniform strong separation condition, we see that this analysis parallels that of the…
We develop a general theory of extensions of flat functors along geometric morphisms of toposes, and apply it to the study of the class of theories whose classifying topos is equivalent to a presheaf topos. As a result, we obtain a…
It is a well-known theorem of homotopy type theory, originally due to Voevodsky, that function extensionality holds inside any univalent universe. We consider a weaker variant of the univalence axiom, asserting that the wild category formed…
Extending G\"odel's \emph{Dialectica} interpretation, we provide a functional interpretation of classical theories of positive arithmetic inductive definitions, reducing them to theories of finite-type functionals defined using transfinite…
We obtain sufficient conditions ensuring the topological equivalence of two perturbed difference linear systems whose linear part has a property of generalized exponential dichotomy. When the exponential dichotomy is verified, we obtain a…
We develop an extension of valuations theorem for suitable extensions of idempotent semirings. As an application, we give a new proof for the classical case of fields. Along the way, we develop characteristic one analogues of some central…
We extend the YFS IR resummation theory to include all of the attendant collinear contributions which exponentiate. This improves the original YFS formulation in which only a part of these contributions was exponentiated. We show that the…
The Morita equivalence of m-regular involutive quantales in the context of the theory of Hilbert $A$-modules is presented. The corresponding fundamental representation theorems are shown. We also prove that two commutative m-regular…
The aim of this paper is to show Cauchy-Kowalevski and Holmgren type theorems with infinite number of variables. We adopt von Koch and Hilbert's definition of analyticity of functions as monomial expansions. Our Cauchy-Kowalevski type…
It is proved the equivalence of the compatibility condition of [A. Ramos, J. Phys. A 44 (2011) 342001, Phys. Lett. A 376 (2012) 3499] with a condition found in [Yadav et al., Ann. Phys. 359 (2015) 46]. The link of Shape Invariance with the…
A fertile field of research in theoretical computer science investigates the representation of general recursive functions in intensional type theories. Among the most successful approaches are: the use of wellfounded relations,…
In this paper we study the expressive power and definability for (extended) modal languages interpreted on topological spaces. We provide topological analogues of the van Benthem characterization theorem and the Goldblatt-Thomason…