Related papers: A weak set theory that proves its own consistency
Let $X$ be a compact complex manifold of dimension $n$ and let $m$ be a positive integer with $m\leq n$. Assume that $X$ admits a K\"ahler metric $\omega$ and a weakly positive, $\partial\bar\partial$-closed, smooth $(n-m,\,n-m)$-form…
Generalized Higman's Theorem is the direct counterpart of Higman's Theorem that asserts the closure of the class of \emph{better} quasi-orders, instead of the class of \emph{well} quasi-orders, under the construction $P\mapsto P^{<\omega}$…
We examine recursive monotonic functions on the Lindenbaum algebra of $\mathsf{EA}$. We prove that no such function sends every consistent $\varphi$ to a sentence with deductive strength strictly between $\varphi$ and…
The representation of mathematical objects in terms of (more) basic ones is part and parcel of (the foundations of) mathematics. In the usual foundations of mathematics, i.e. $\textsf{ZFC}$ set theory, all mathematical objects are…
Let $H$ be a weak Hopf algebra that is a finitely generated module over its affine center. We show that $H$ has finite self-injective dimension and so the Brown--Goodearl Conjecture holds in this special weak Hopf setting.
In this paper, what we concern about is the weakly homogeneous variational inequality over a finite dimensional real Hilbert space. We achieve an existence result {under} copositivity of leading term of the involved map, norm-coercivity of…
Many set theorists point to the linearity phenomenon in the hierarchy of consistency strength, by which natural theories tend to be linearly ordered and indeed well ordered by consistency strength. Why should it be linear? In this paper I…
Rate-independent systems arise in a number of applications. Usually, weak solutions to such problems with potentially very low regularity are considered, requiring mathematical techniques capable of handling nonsmooth functions. In this…
G\"odel's Dialectica interpretation was designed to obtain a relative consistency proof for Heyting arithmetic, to be used in conjunction with the double negation interpretation to obtain the consistency of Peano arithmetic. In recent…
We prove existence and up to the boundary regularity estimates in $L^{p}$ and H\"{o}lder spaces for weak solutions of the linear system $$ \delta \left( A d\omega \right) + B^{T}d\delta \left( B\omega \right) = \lambda B\omega + f \text{ in…
After a general introduction about the regularization by noise phenomenon in the degenerate setting, the first part of this PhD thesis focuses at establishing the Schauder estimates, a useful analytical tool to prove also the well-posedness…
We use algorithmic methods from online learning to explore some important objects at the intersection of model theory and combinatorics, and find natural ways that algorithmic methods can detect and explain (and improve our understanding…
We generalize the proof of Karamata's Theorem by the method of approximation by polynomials to the operator case. As a consequence, we offer a simple proof of \emph{uniform dual ergodicity} for a very large class of dynamical systems with…
The strong unique continuation property for Einstein metrics can be concluded from the well-known fact that Einstein metrics are analytic in geodesic normal coordinates. Here we give a proof of the same result that given two Einstein…
This dissertation is a contribution to the project of second-order set theory, which has seen a revival in recent years. The approach is to understand second-order set theory by studying the structure of models of second-order set theories.…
The paper is a first of two and aims to show that (assuming large cardinals) set theory is a tractable (and we dare to say tame) first order theory when formalized in a first order signature with natural predicate symbols for the basic…
We introduce the idea of *representation stability* (and several variations) for a sequence of representations V_n of groups G_n. A central application of the new viewpoint we introduce here is the importation of representation theory into…
Foreman proved the Duality Theorem, which gives an algebraic characterization of certain ideal quotients in generic extensions. As an application he proved that generic supercompactness of $\omega_1$ is preserved by any proper forcing. We…
Suppose $A$ is a $C^*$-algebra and $H$ is a $C^*$-correspondence over $A$. If $H$ is regular in the sense that the left action of $A$ is faithful and is given by compact operators, then we compute the $K$-theory of $\mathcal{O}_A(H) \rtimes…
We study the regularity of weak solutions to a certain class of second order parabolic system under the only assumption of continuous coefficients. By using the $A-$caloric approximation argument, we claim that the weak solution $u$ to such…