相关论文: Complete Reducibility of t-Motives

We introduce a general method for showing under weak forcing axioms that reduced products of countable models of a theory $T$ have as few automorphisms as possible. We show that such forcing axioms imply that reduced products of countably…

We develop a general criterion for cut elimination in sequent calculi for propositional modal logics, which rests on absorption of cut, contraction, weakening and inversion by the purely modal part of the rule system. Our criterion applies…

If $X$ is Frobenius split, then so is its normalization and we explore conditions which imply the converse. To do this, we recall that given an $\mathcal{O}_X$-linear map $\phi : F_* \mathcal{O}_X \to \mathcal{O}_X$, it always extends to a…

This paper has been withdrawn by the author because of finding a flaw in the proof of endogeny for the Frozen Percolation RDE which was one of two examples discussed in this paper. The other example is correct and can be obtained from the…

In this paper, we give a simple proof for the small cancellation conditions of the upper presentations of 2-bridge link groups, which holds the key to the proof of the main result of [1]. We also give an alternative proof of the main result…

We provide a new realisability model based on orthogonality for the multiplicative fragment of linear logic, both in presence of generalised axioms (MLL*) and in the standard case (MLL). The novelty is the definition of cut elimination for…

Poisson-Lie duality is a generalization of abelian and non-abelian T-duality, and it can be viewed as a map between solutions of the low-energy effective equations of string theory, i.e. at the (super)gravity level. We show that this fact…

We carry out a proof theoretic analysis of the wellfoundedness of recursive path orders in an abstract setting. We outline a very general termination principle and extract from its wellfoundedness proof subrecursive bounds on the size of…

This submission has been withdrawn at the request of the author.

We use reduction maps to study the minimal model program. Our main result is that the existence of a good minimal model for a klt pair $(X,\Delta)$ can be detected on the base of the $(K_{X}+\Delta)$-trivial reduction map. Thus we show that…

The weak axiom of revealed preference (WARP) ensures that the revealed preference (i) is a preference relation (i.e., it is complete and transitive) and (ii) rationalizes the choices. However, when WARP fails, either one of these two…

With representation-theoretic applications in mind, we construct a formalism of reduced motives with integral coefficients. These are motivic sheaves from which the higher motivic cohomology of the base scheme has been removed. We show that…

Pilgrim's Finite Global Attractor Conjecture has been verified for polynomials [1], but remains open for general rational maps. In this paper, we prove the conjecture for a family of rational maps obtained by gluing two PCF polynomials…

There exists a homomorphism from the affine super Yangian to the completion of the universal enveloping algebra of $\widehat{\mathfrak{gl}}(m|n)$, called the evaluation map. In this paper, we show that this homomorphism is surjective. Via…

This paper investigates the proof-theoretic foundations of double negation introduction (DNI) and double negation elimination (DNE) in classical logic. By examining both sequent calculus and natural deduction, it is shown that these rules…

We investigate the statement ``all automorphisms of $\mathcal P(\lambda)/[\lambda]^{<\lambda}$ are trivial''. We show that MA implies the statement for regular uncountable $\lambda<2^{\aleph_0}$; that the statement is false for measurable…

In this paper we discuss contrastive explanations for formal argumentation - the question why a certain argument (the fact) can be accepted, whilst another argument (the foil) cannot be accepted under various extension-based semantics. The…

Fix a base field F, a finite field K and consider a sequence of central simple F-algebras A_1,...,A_n. In this note we provide some results toward a classification of the indecomposable motives lying in the motivic decompositions of…

We prove the semisimplicity conjecture for A-motives over finitely generated fields K. This conjecture states that the rational Tate modules V_p(M) of a semisimple A-motive M are semisimple as representations of the absolute Galois group of…

Consider a complete orientable manifold with countably many components of bounded dimension. Suppose that its rational homology is infinitely generated in some degree. Then there is no choice of weight function for which the natural map…