Related papers: More conservativity for weak K\H{o}nig's lemma

We study the question of when a given countable ordinal $\alpha$ is $\Sigma^1_n$- or $\Pi^1_n$-reflecting in models which are neither $\mathsf{PD}$ models nor the constructible universe, focusing on generic extensions of $L$. We prove,…

Orderability, weak orderability and the existence of continuous weak selections on filter spaces (i.e., spaces with a single non-isolated point) and their products are discussed. We prove that a closed continuous image X of a suborderable…

This paper investigates the logical strength of completeness theorems for modal propositional logic within second-order arithmetic. We demonstrate that the weak completeness theorem for modal propositional logic is provable in…

In this paper, we study a class of Banach spaces, called \phi-spaces. In a natural way, we associate a measure of weak compactness in such spaces and prove an analogue of Sadovskii fixed point theorem for weakly sequentially continuous…

We deal with the random combinatorial structures called assemblies. By weakening the logarithmic condition which assures regularity of the number of components of a given order, we extend the notion of logarithmic assemblies. Using the…

Combining stationary reflection (a compactness property) with the failure of SCH (an instance of non-compactness) has been a long-standing theme. We obtain this at $\aleph_{\omega_1}$, answering a question of Ben-Neria, Hayut, and Unger: We…

As Paris and Harrington have famously shown, Peano Arithmetic does not prove that for all numbers $k,m,n$ there is an $N$ which satisfies the statement $\operatorname{PH}(k,m,n,N)$: For any $k$-colouring of its $n$-element subsets the set…

We consider two axioms of second-order arithmetic. These axioms assert, in two different ways, that infinite but narrow binary trees always have infinite paths. We show that both axioms are strictly weaker than Weak K\"onig's Lemma, and…

Stochastic non-local conservation law equation in the presence of discontinuous flux functions is considered in an $L^{1}\cap L^{2}$ setting. The flux function is assumed bounded and integrable (spatial variable). Our result is to prove…

We study the relative algebraic closure $K$ of $\bar{\mathbb{F}}_p((t))$ inside $\bar{\mathbb{F}}((t^{\mathbb{Q}}))$. We show that the supports of elements in $K$ have order type strictly less than $\omega^\omega$. We also recover a theorem…

We develop a functional analytic approach to the study of the Kramers and kinetic Fokker-Planck equations which parallels the classical $H^1$ theory of uniformly elliptic equations. In particular, we identify a function space analogous to…

The concept of (stable) weak containment for measure-preserving actions of a countable group $\Gamma$ is analogous to the classical notion of (stable) weak containment of unitary representations. If $\Gamma$ is amenable then the Rokhlin…

There has been a recent interest in hierarchical generalisations of classic incompleteness results. This paper provides evidence that such generalisations are readibly obtainable from suitably hierarchical versions of the principles used in…

In this paper we prove the compactness result for compact K\"ahler Ricci gradient shrinking solitons. If $(M_i,g_i)$ is a sequence of K\"ahler Ricci solitons of real dimension $n \ge 4$, whose curvatures have uniformly bounded $L^{n/2}$…

Let G be a locally compact abelian group, $\omega:G\to (0,\infty)$ be a weight, and ($\Phi$,$\Psi$) be a complementary pair of strictly increasing continuous Young functions. We show that for the weighted Orlicz algebra $L^\Phi_\omega(G)$,…

We prove a logarithmic convexity result for exponentially weighted $L^2$-norms of solutions to electromagnetic Schr\"odinger equation, without needing to assume smallness of the magnetic potential. As a consequence, we can prove a unique…

A set of integers $A$ is computably encodable if every infinite set of integers has an infinite subset computing $A$. By a result of Solovay, the computably encodable sets are exactly the hyperarithmetic ones. In this paper, we extend this…

We continue the work of Takao Komatsu by considering the inhomogeneous approximation constant L(\theta,\phi) for Hurwitzian numbers \theta, and rationally related \phi(r \theta +m)/n in Q(\theta) +Q. The current work uses a compactness…

In this paper we consider finite dimensional dynamical systems generated by a Lipschitz function. We prove a version of the Whitney's Extension Theorem on compact manifolds to obtain a version of the well-known Lambda Lemma for Lipschitz…

Kelley-Morse set theory KM is weaker than generally supposed and fails to prove several principles that may be desirable in a foundational second-order set theory. Even though KM includes the global choice principle, for example, (i) KM…