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

In this article, we propose a new classification of $\Sigma^0_2$ formulas under the realizability interpretation of many-one reducibility (i.e., Levin reducibility). For example, ${\sf Fin}$, the decision of being eventually zero for…

In this paper we investigate the boundary value problem ${div(\gamma\nabla u)=0 in \Omega, u=f on \partial\Omega$ where $\gamma$ is a complex valued $L^\infty$ coefficient, satisfying a strong ellipticity condition. In Electrical Impedance…

This paper from 2012 is the second in a series of three papers. All three papers deal with interpretability logics and related matters. In the first paper a construction method was exposed to obtain models of these logics. Using this…

We prove a non-linear Edelstein-Kelly theorem for polynomials of constant degree, fully settling a stronger form of Conjecture 30 in Gupta (2014), and generalizing the main result of Peleg and Shpilka (STOC 2021) from quadratic polynomials…

A fully discrete implicit scheme is proposed for the Swift-Hohenberg model, combining the third-order backward differentiation formula (BDF3) for the time discretization and the second-order finite difference scheme for the space…

William Tait and Peter Koellner have written on the topic of which reflection principles are intrinsically justified. Phillip Welch and Sam Roberts have recently sought to motivate much stronger reflection principles. This work also had…

We present a simple and purely combinatorial proof of Steel's result according to which the core model is \Sigma^1_3 correct under the appropriate hypotheses.

We present a general Bayesian formalism for the definition of Figures of Merit (FoMs) quantifying the scientific return of a future experiment. We introduce two new FoMs for future experiments based on their model selection capabilities,…

We prove existence and uniqueness of strong solutions, as well as continuous dependence on the initial datum, for a class of fully nonlinear second-order stochastic PDEs with drift in divergence form. Due to rather general assumptions on…

We present new criteria on the existence of fixed points that combine some monotonicity assumptions with the classical fixed point index theory. As an illustrative application, we use our theoretical results to prove the existence of…

A log generic hypersurface in $\mathbb{P}^n$ with respect to a birational modification of $\mathbb{P}^n$ is by definition the image of a generic element of a high power of an ample linear series on the modification. A log very-generic…

Let $a_1$, $a_2$, and $a_3$ be distinct reduced residues modulo $q$ satisfying the congruences $a_1^2 \equiv a_2^2 \equiv a_3^2 \pmod q$. We conditionally derive an asymptotic formula, with an error term that has a power savings in $q$, for…

We present a method which forces the failure of $\Pi^1_3$ and $\Sigma^1_3$-separation, while $\mathsf{MA} (\mathcal{I}$) holds, for $\mathcal{I}$ the family of indestructible ccc forcings. This shows that, in contrast to the assumption…

It is shown -- using a FRW model with ${\bf S}^3 \times {\bf S}^6$ as spatial sections and a positive cosmological constant -- that classical signature change implies a new compactification mechanism. The internal scale factor is of the…

We give a short straightforward proof for the bound of the reminder term in the Taylor theorem. The proof uses only induction and the fact that $f'\geq 0$ implies the monotonicity of $f$, so it might be an attractive proof to give to…

In this paper we introduce a modal theory $H_{\sigma}$, which is sound and complete for arithmetical $\Sigma$_1 substitutions in ${\bf HA}$, in other words, we will show that $H_{\sigma}$ is the $\Sigma$_1-provability logic of ${\bf HA}$.…

We use ``iterated square sequences'' to show: There is an L-definable partition n: L-singulars --> omega such that if M is an inner model without 0#: (a) For some n, M satisfies that {alpha | n(alpha)=n} is stationary. (b) For each n there…

This paper establishes an equivalence between existence of free involutions on $H{\Bbb C}P^3$ and existence of involutions on $S^6$ with fixed point set an imbedded $S^3$, then a family of counterexamples of the Smith conjecture for…

Let $\mathfrak M=(M,\mathcal X)$ be a model of $\mathsf{RCA}_0+\text{$\Sigma^0_2$-bounding}$ in which $\Sigma^0_2(A)$-induction fails for some $A\in\mathcal X$. We show that (i) if $\mathfrak M$ is a model of the combinatorial principle…

We study the strength of axioms needed to prove various results related to automata on infinite words and B\"uchi's theorem on the decidability of the MSO theory of $(N, {\le})$. We prove that the following are equivalent over the weak…