Related papers: Unreachability of Inductive-Like Pointclasses in $…

Let $\mathcal R$ be a $\Sigma^1_1$ binary relation and call a set $\mathcal R$-discrete iff no two distinct of its elements are $\mathcal R$-related. We show that in the extension of $\mathbf{L}$ by iterated Sacks forcing, there is a…

Definitions of dense linear orders (with/without endpoints), separable linear orders, complete linear orders, the countable chain condition for linear orders, a Suslin line/Suslin tree and Suslin's problem Statement and proof of Cantor's…

We prove new instances of Halin's end degree conjecture (HC) in ZFC. In particular, we show that there is a proper class of cardinals kappa for which Halin's conjecture holds, answering two questions posed by Geschke, Kurkofka, Melcher, and…

We study $\Sigma_1(\omega_1)$-definable sets (i.e. sets that are equal to the collection of all sets satisfying a certain $\Sigma_1$-formula with parameter $\omega_1$) in the presence of large cardinals. Our results show that the existence…

An explicit Dirichlet series is obtained, which represents an analytic function of $s$ in the half-plane $\Re s>1/2$ except for having simple poles at points $s_j$ that correspond to exceptional eigenvalues $\lambda_j$ of the non-Euclidean…

Given a weakly compact cardinal $\kappa$, we give an axiomatization of intuitionistic first-order logic over $\mathcal{L}_{\kappa^+, \kappa}$ and prove it is sound and complete with respect to Kripke models. As a consequence we get the…

Levinson and Montgomery proved that the Riemann zeta-function $\zeta(s)$ and its derivative have approximately the same number of non-real zeros left of the critical line. R. Spira showed that $\zeta'(1/2+it)=0$ implies $\zeta(1/2+it)=0$.…

Inspired by recent work of Aslanyan and Daw, we introduce the notion of $\Sigma$-orbits in the general framework of distinguished categories. In the setting of connected Shimura varieties, this concept contains many instances of…

We prove that the existence of a non-special tree of size $\lambda$ is equivalent to the existence of an uncountably chromatic graph with no $K_{\omega_1}$ minor of size $\lambda$, establishing a connection between the special tree number…

We construct a two-parameter complex function $\eta_{\kappa \nu}:\mathbb{C}\to \mathbb{C}$, $\kappa \in (0, \infty)$, $\nu\in (0,\infty)$ that we call a holomorphic nonlinear embedding and that is given by a double series which is…

Let $\mathcal{L}(s) = \sum_{n=1}^{\infty} a_n n^{-s}$ be an $L$-function in the Selberg class, and $q_{\mathcal{L}}$ its conductor. Let $\ell_0(\mathcal{L})$ be the constant term of the Laurent expansion of $\mathcal{L}'/\mathcal{L}$ at…

$\Sigma^1_3$-absoluteness for ccc forcing means that for any ccc forcing $P$, ${H_{\omega_1}}^V \prec_{\Sigma_2}{H_{\omega_1}}^{V^P}$. "$\omega_1$ inaccessible to reals" means that for any real $r$, ${\omega_1}^{L[r]}<\omega_1$. To measure…

In the setting of Carnot groups, we exhibit examples of intrinisc Lipschitz curves of positive $\mathcal{H}^1$-measure that intersect every connected intrinsic Lipschitz curve in a $\mathcal{H}^1$-negligible set. As a consequence such…

Suppose $A\subset \mathbb{R}$ of size $k$ has distinct consecutive $r$--differences, that is for $1 \leq i \leq k -r$, the $r$--tuples $$(a_{i+1} - a_i , \ldots , a_{i+r} - a_{i + r -1})$$ are distinct. Then for any finite $B \subset…

An end of a graph $G$ is an equivalence class of rays, where two rays are equivalent if there are infinitely many vertex-disjoint paths between them in $G$. The degree of an end is the maximum cardinality of a collection of pairwise…

We prove: Main Theorem: Let $\mathcal{K}$ be an abstract elementary class satisfying the joint embedding and the amalgamation properties with no maximal models of cardinality $\mu$. Let $\mu$ be a cardinal above the the L\"owenheim-Skolem…

We show that the tree property, stationary reflection and the failure of approachability at $\kappa^{++}$ are consistent with $\mathfrak{u}(\kappa) = \kappa^+ < 2^\kappa$, where $\kappa$ is a singular strong limit cardinal with the…

We show that the existence of a well-known type of ideals on a regular cardinal $\lambda$ implies a compactness property concerning the specialisability of a tree of height $\lambda$ with no cofinal branches. We also use Neeman's method of…

In this article we present an example of a discrete group $\Sigma_\C\subset PSL(3,\Bbb{R})$ whose action on $\P^2$ does no have invariant projective subspaces, is not conjugated to complex hyperbolic group and its limit set in the sense of…

We prove that the $SLE_\kappa$ trace in any simply connected domain $G$ is continuous (except possibly near its endpoints) if $\kappa<8$. We also prove an SLE analog of Makarov's Theorem about the support of harmonic measure.