Related papers: Analysis of a Double Kruskal Theorem
It is consistent that there exists a Souslin tree $T$ such that after forcing with it, $T$ becomes an almost Souslin Kurepa tree. This answers a question of Zakrzewski.
We establish extension theorems for separately holomorphic mappings defined on sets of the form W\setminus M with values in a complex analytic space which possesses the Hartogs extension property. Here W is a 2-fold cross of arbitrary…
We establish two direct extensions to the Butterfly Theorem on the cyclic quadrilateral along with the proofs using the projective method and analytic geometry of the Cartesian coordinate system.
We study the cosmological meaning of duality symmetry by considering a two dimensional model of string cosmology. We find that as seen by an internal observer in this universe, the scale factor rebounds at the self-dual length. This rebound…
A {$t$-stretch tree cover} of a metric space $M = (X,\delta)$, for a parameter $t \ge 1$, is a collection of trees such that every pair of points has a $t$-stretch path in one of the trees. Tree covers provide an important sketching tool…
The double point relation defines a natural theory of algebraic cobordism for bundles on varieties. We construct a simple basis (over the rationals) of the corresponding cobordism groups over Spec(C) for all dimensions of varieties and…
We review some recent progress on applications of Cluster Expansions. We focus on a system of classical particles living in a continuous medium and interacting via a stable and tempered pair potential. We review the cluster expansion in…
We study an equivariant co-assembly map that is dual to the usual Baum-Connes assembly map and closely related to coarse geometry, equivariant Kasparov theory, and the existence of dual Dirac morphisms. As applications, we prove the…
In this paper, we introduce a new notion of algebra over a linear $\infty$-operad and a corresponding notion of coalgebra over an $\infty$-cooperad. We next extend the Koszul duality between linear $\infty$-operads and linear…
Triplet extensions are attractive alternatives to the standard model (SM) of particle physics. While models with only one triplet are highly constrained by electroweak precision observables, this is not necessarily the case once several…
This paper investigates two involutions on binary trees. One is the mirror symmetry of binary trees which combined with the classical bijection $\varphi$ between binary trees and plane trees answers an open problem posed by Bai and Chen.…
We show that there are proper forcings based upon countable trees of creatures that specialize a given Aronszajn tree.
We introduce an equivariant algebraic kk-theory for G-algebras and G-graded algebras. We study some adjointness theorems related with crossed product, trivial action, induction and restriction. In particular we obtain an algebraic version…
In the present paper, we propose a refinement for the notion of quantum Markov states (QMS) on trees. A structure theorem for QMS on general trees is proved. We notice that any restriction of QMS in the sense of Ref. \cite{AccFid03} is not…
We study the coherence and conservativity of extensions of dependent type theories by additional strict equalities. By considering notions of congruences and quotients of models of type theory, we reconstruct Hofmann's proof of the…
We develop a theory of chain complex double-cobordism for chain complexes equipped with Poincar\'{e} duality. The resulting double-cobordism groups are a refinement of Ranicki's torsion algebraic $L$-groups for localisations of a…
We identify the complexity of the classification problem for automorphisms of a given countable regularly branching tree up to conjugacy. We consider both the rooted and unrooted cases. Additionally, we calculate the complexity of the…
We introduce the concept of braided noncommutative Poisson bialgebras. The theory of cocycle bicrossproducts for noncommutative Poisson bialgebras is developed. As an application, we solve the extending problem by using some non-abelian…
Cosmological perturbation equations derived from low-energy effective actions are shown to be invariant under a duality transformation reminiscent of electric-magnetic, strong-weak coupling, S-duality. A manifestly duality-invariant…
We present a new calculus which is well-adapted to quadratic algebras. This calculus consists in Koszul (co)homology, together with Koszul cup and cap products. Some applications are given. Koszul duality for Koszul (co)homology is proved…