Related papers: Does Church-Kleene ordinal $\omega_1^{CK}$ exist?
For a compact space $K$, the Banach space $C(K)$ is said to have the $\ell_1$-Grothendieck property if every weak* convergent sequence $\big\langle\mu_n\colon\ n\in\omega\big\rangle$ of functionals on $C(K)$ such that $\mu_n\in\ell_1(K)$…
Extending Aanderaa's classical result that $\pi^1_1<\sigma^1_1$, we determine the order between any two patterns of iterated $\Sigma^1_1$- and $\Pi^1_1$-reflection. We show that this \emph{linear reflection order} is a prewellordering of…
We calculate the possible Scott ranks of countable models of Peano arithmetic. We show that no non-standard model can have Scott rank less than $\omega$ and that non-standard models of true arithmetic must have Scott rank greater than…
We establish that if it is consistent that there is a supercompact cardinal, then it is consistent that every locally compact, hereditarily normal space which does not include a perfect pre-image of omega_1 is hereditarily paracompact.
The Skolem Problem asks, given a linear recurrence sequence $(u_n)$, whether there exists $n\in\mathbb{N}$ such that $u_n=0$. In this paper we consider the following specialisation of the problem: given in addition $c\in\mathbb{N}$,…
We construct a locally profinite set of cardinality $\aleph_{\omega}$ with infinitely many first cohomology classes of which any distinct finite product does not vanish. Building on this, we construct the first example of a nondescendable…
We study both existence and nonexistence of nonnegative solutions for nonlinear elliptic problems with singular lower order terms that have natural growth with respect to the gradient, whose model is $$ \begin{cases} -\Delta u +…
We construct a model in which MA$_{\omega_1}$(S)[S] holds and $\mathcal{K}_2$ fails. This shows that MA$_{\omega_1}$(S)[S] does not imply $\mathcal{K}_2$ and answers an old question of Larson and Todorcevic in [3]. We also investigate…
We study the question of when an uncountable ccc topological space $X$ contains a ccc subspace of size $\aleph_1$. We show that it does if $X$ is compact Hausdorff and more generally if $X$ is Hausdorff with $\mathrm{pct}(X) \leq \aleph_1$.…
In this paper we consider the first order discrete Hamiltonian system $$\begin{cases} x_1(n+1)-x_1(n)& =- H_{x_2}(n,x(n)), x_2(n)-x_2(n-1)& =\ \ H_{x_1}(n,x(n)). \end{cases} $$ Where $n\in \mathbb{Z}$, $x(n)=$ $x_1 (n) \choose x_2 (n)$$ \in…
We show relative to strong hypotheses that patterns of compact cardinals in the universe, where a compact cardinal is one which is either strongly compact or supercompact, can be virtually arbitrary. Specifically, we prove if V is a model…
The theory of polynomials orthogonal with respect to one inner product is classical. We discuss the extension of this theory to multiple inner products. Examples include the Lam\'e and Heine-Stieltjes polynomials.
We consider classical representations of integers: Church's function iterators, cardinal equivalence classes of sets, ordinal equivalence classes of totally ordered sets. Since programs do not work on abstract entities and require formal…
Given an arbitrary countable ordinal $\alpha $, we introduce the notion of type $I_{\alpha }$ C*-algebra and $\alpha $-subhomogeneous C*-algebra. When $\alpha =0$, these recover the notions of Fell C*-algebra and of commutative C*-algebra,…
A function $U:\left[ \omega_{1}\right] ^{2}\longrightarrow\omega$ is called $\left( 1,\omega_{1}\right) $\emph{-weakly universal }if for every function $F:\left[ \omega_{1}\right] ^{2}\longrightarrow\omega$ there is an injective function…
A longstanding open problem is whether there exists a non-syntactical model of untyped lambda-calculus whose theory is exactly the least equational lambda-theory (=Lb). In this paper we make use of the Visser topology for investigating the…
By means of classical fixed point index, we prove new results on the existence, non-existence, localization and multiplicity of nontrivial solutions for systems of Hammerstein integral equations where the nonlinearities are allowed to…
A ``self--similar'' example is constructed that shows that a conjecture of N. U. Arakelyan on the order of decrease of deficiencies of an entire function of finite order is not true.
The Church-Turing thesis asserts that if a partial strings-to-strings function is effectively computable then it is computable by a Turing machine. In the 1930s, when Church and Turing worked on their versions of the thesis, there was a…
In this paper we introduce and study the concept of nonlocal ordered curvature. In the classical (differential) setting, the problem was introduced by Nirenberg and Li, where they conjectured that if a bounded, smooth surface has its mean…