相关论文: ${\Sigma}^0_3$ determinacy and ${\mathbf{\Pi}}^1_2…

We stratify intuitionistic first-order logic over $(\forall,\to)$ into fragments determined by the alternation of positive and negative occurrences of quantifiers (Mints hierarchy). We study the decidability and complexity of these…

We study scaling properties and topological aspects of the 2--d O(3) non--linear $\sigma$--model on the lattice with the parametrized fixed point action recently proposed by P.~Hasenfratz and F.~Niedermayer. The behavior of the mass gap…

In the absence of the Axiom of Choice, the "small" cardinal $\omega_1$ can exhibit properties more usually associated with large cardinals, such as strong compactness and supercompactness. For a local version of strong compactness, we say…

The strong continuity principle reads "every pointwise continuous function from a complete separable metric space to a metric space is uniformly continuous near each compact image." We show that this principle is equivalent to the fan…

We prove the complete monotonicity on $(0,\infty)^n$ for suitable inverse powers of the spanning-tree polynomials of graphs and, more generally, of the basis generating polynomials of certain classes of matroids. This generalizes a result…

Let WO$(\omega^\omega)$ be the statement that the ordinal number $\omega^\omega$ is well ordered. WO$(\omega^\omega)$ has occurred several times in the reverse-mathematical literature. The purpose of this expository note is to discuss the…

We study the strength of set-theoretic axioms needed to prove Rabin's theorem on the decidability of the MSO theory of the infinite binary tree. We first show that the complementation theorem for tree automata, which forms the technical…

In this paper we study the logical foundations of automated inductive theorem proving. To that aim we first develop a theoretical model that is centered around the difficulty of finding induction axioms which are sufficient for proving a…

We prove existence and uniqueness of strong solutions for a class of second-order stochastic PDEs with multiplicative Wiener noise and drift of the form $\operatorname{div} \gamma(\nabla \cdot)$, where $\gamma$ is a maximal monotone graph…

Let $p>3$ be a prime, and let $a$ be a rational $p$-adic integer, using WZ method we establish the congruences modulo $p^3$ for $$\sum_{k=0}^{p-1} \binom ak\binom{-1-a}k\binom{2k}k\frac {w(k)}{4^k},$$ where $$w(k)=1,\frac 1{k+1},\frac…

We consider dissipative strongly competitive systems $\dot{x}_{i}=x_{i}f_{i}(x)$ of ordinary differential equations. It is known that for a wide class of such systems there exists an invariant attracting hypersurface $\Sigma$, called the…

We prove an analogue of the Oppenheim conjecture for a system comprising an inhomogeneous quadratic form and a linear form in $3$ variables using dynamics on the space of affine lattices.

For background gauge field configurations reducible to the form Amu = (A3, A(x)) where A3 is a constant, we provide an elementary derivation of the recently obtained result for the exact induced Chern-Simons (CS) effective action in QED3 at…

Consider a complete asymptotically flat 3-manifold $M$ with non-negative scalar curvature and non-empty minimal boundary $\Sigma$. Fix a number $1 < p < 3$. We derive monotone quantities for $p$-harmonic functions on $M$ which become…

We address Calder\'on's problem of stably determining the anisotropic complex admittivity $\sigma$ in a domain $\Omega\subset\mathbb{R}^n$, with $n\geq3$, representing a conducting medium, in terms of a Dirichlet-to-Neumann map locally…

We find upper and lower bounds of the multiplicities of irreducible admissible representations $\pi$ of a semisimple Lie group $G$ occurring in the induced representations $Ind_H^G\tau$ from irreducible representations $\tau$ of a closed…

We consider a dominance order on positive vectors induced by the elementary symmetric polynomials. Under this dominance order we provide conditions that yield simple proofs of several monotonicity questions. Notably, our approach yields a…

We consider logic-based argumentation in which an argument is a pair (Fi,al), where the support Fi is a minimal consistent set of formulae taken from a given knowledge base (usually denoted by De) that entails the claim al (a formula). We…

Motives of Brauer-Severi schemes of Cayley-smooth algebras associated to homogeneous superpotentials are used to compute inductively the motivic Donaldson-Thomas invariants of the corresponding Jacobian algebras. This approach can be used…

We establish the decidability of the $\Sigma_2$ theory of both the arithmetic and hyperarithmetic degrees in the language of uppersemilattices i.e. the language with $\leq, 0$ and $\sqcup$. This is achieved by using Kumabe-Slaman forcing -…