中文
相关论文

相关论文: Correspondence and translation principles for the …

200 篇论文

Composite theories are the algebraic equivalent of distributive laws. In this paper, we delve into the details of this correspondence and concretely show how to construct a composite theory from a distributive law and vice versa. Using term…

计算机科学中的逻辑 · 计算机科学 2024-04-02 Aloïs Rosset , Maaike Zwart , Helle Hvid Hansen , Jörg Endrullis

In [Boltje,Hartmann: Permutation resolutions for Specht modules, J. Algebraic Combin. 34 (2011), 141-162], a chain complex was constructed in a combinatorial way which conjecturally is a resolution of the (dual of the) integral Specht…

表示论 · 数学 2012-05-15 Robert Boltje , Filix Maisch

The famous MLC Conjecture states that the Mandelbrot set is locally connected, and it is considered by many to be the central conjecture in one-dimensional complex dynamics. Among others, it implies density of hyperbolicity in the quadratic…

动力系统 · 数学 2018-01-08 Anna Miriam Benini

In this paper we extend previous studies of selection principles for families of open covers of sets of real numbers to also include families of countable Borel covers. The main results of the paper could be summarized as follows: 1. Some…

一般拓扑 · 数学 2010-08-02 Marion Scheepers , Boaz Tsaban

The Mordell-Lang conjecture describes the intersection of a finitely generated subgroup with a closed subvariety of a semiabelian variety. Equivalently, this conjecture describes the intersection of closed subvarieties with the set of…

数论 · 数学 2013-10-09 Dragos Ghioca , Thomas J. Tucker , Michael E. Zieve

We consider perturbations of the complex quadratic map $ z \to z^2 +c$ and corresponding changes in their quasi-Mandelbrot sets. Depending on particular perturbation, visual forms of quasi-Mandelbrot set changes either sharply (when the…

图形学 · 计算机科学 2008-07-11 A. V. Toporensky

Martin-L\"of's Intuitionistic Theory of Types is becoming popular for formal reasoning about computer programs. To handle recursion schemes other than primitive recursion, a theory of well-founded relations is presented. Using primitive…

计算机科学中的逻辑 · 计算机科学 2008-02-03 Lawrence C. Paulson

We develop techniques to deal with monotonicity of sequences z_{n+1}/z_n and \sqrt[n]{z_n}. A series of conjectures of Zhi-Wei Sun and of Amdeberhan et al. are verified in certain unified approaches.

组合数学 · 数学 2015-06-15 Yi Wang , Bao-Xuan Zhu

In this paper it is shown analytically and computationally that the Mandelbrot set of integer order are particular cases of Julia sets of Caputo s like fractional order. Also the differences between the fractional-order Mandelbrot set and…

混沌动力学 · 物理学 2023-12-07 Marius-F. Danca

We investigate with the help of Clifford algebraic methods the Mandelbrot set over arbitrary two-component number systems. The complex numbers are regarded as operator spinors in D\times spin(2) resp. spin(2). The thereby induced (pseudo)…

高能物理 - 理论 · 物理学 2007-05-23 Bertfried Fauser

We study Translation functors and Wall-Crossing functors on infinite dimensional representations of a complex semisimple Lie algebra using D-modules. This functorial machinery is then used to prove the Endomorphism-theorem and the…

alg-geom · 数学 2008-02-03 Alexander Beilinson , Victor Ginzburg

Over an arbitrary commutative ring, correspondences among three sets, the set of trace ideals, the set of stable ideals, and the set of birational extensions of the base ring, are studied. The correspondences are well-behaved, if the base…

交换代数 · 数学 2018-12-10 Shiro Goto , Ryotaro Isobe , Shinya Kumashiro

The geometry conjecture, which was posed nearly a quarter of a century ago, states that the fixed point set of the composition of projectors onto nonempty closed convex sets in Hilbert space is actually equal to the intersection of certain…

最优化与控制 · 数学 2021-05-31 Salihah Alwadani , Heinz H. Bauschke , Julian P. Revalski , Xianfu Wang

We generalize Lindemann-Weierstrass theorem and Gelfond -Schneider-Baker Theorem. We find new transcendental numbers in this work. There are several methods to find transcendental numbers in the work. Recently transcendental numbers are…

It is well-known that Choice and Regularity are independent of each other but have important common consequences of logical character (reflection principles, representations of classes by sets, etc.). We explain this phenomenon by isolating…

逻辑 · 数学 2007-09-20 Denis I. Saveliev

In this Note, we present recent developments in the Renormalization Theory of quadratic polynomials and discuss their applications, with an emphasis on the MLC conjecture, the problem of local connectivity of the Mandelbrot set, and on its…

动力系统 · 数学 2026-01-01 Dzmitry Dudko

A composition of birational maps given by Laurent polynomials need not be given by Laurent polynomials; however, sometimes---quite unexpectedly---it does. We suggest a unified treatment of this phenomenon, which covers a large class of…

组合数学 · 数学 2025-10-17 Sergey Fomin , Andrei Zelevinsky

We prove a version of Dedekind's Transposition Principle that holds in lattices of equivalence relations.

环与代数 · 数学 2013-01-30 William DeMeo

Convergence is a fundamental topic in analysis that is most commonly modelled using topology. However, there are many natural convergences that are not given by any topology; e.g., convergence almost everywhere of a sequence of measurable…

泛函分析 · 数学 2021-03-03 M. O'Brien , V. G. Troitsky , J. H. van der Walt

Human communication is based on a variety of inferences that we draw from sentences, often going beyond what is literally said. While there is wide agreement on the basic distinction between entailment, implicature, and presupposition, the…

计算与语言 · 计算机科学 2024-05-10 Polina Tsvilodub , Paul Marty , Sonia Ramotowska , Jacopo Romoli , Michael Franke