Related papers: Unbounded and dominating reals in Hechler extensio…

We construct a model of $\mathsf{MA_{\aleph_1}}+\mathsf{OCA}_T$ where Baumgartner's Axiom fails, settling a question of Farah. Moreover, in the same model there is an $\aleph_1$-dense set of reals which is neither reversible nor increasing,…

This paper extends the decorated Teichm\"uller theory developed before for punctured surfaces to the setting of ``bordered'' surfaces, i.e., surfaces with boundary, and there is non-trivial new structure discovered. The main new result…

We build a collection of topological Ramsey spaces of trees giving rise to universal inverse limit structures,extending Zheng's work for the profinite graph to the setting of Fra\"{\i}ss\'{e} classes of finite ordered binary relational…

In a constructive setting, no concrete formulation of ordinal numbers can simultaneously have all the properties one might be interested in; for example, being able to calculate limits of sequences is constructively incompatible with…

We examine an argument of Reeder suggesting that the nilpotent infinitesimals in Paolo Giordano's ring extension of the real numbers $^{\bullet}\mathbb{R}$ are smaller than any infinitesimal hyperreal number from Abraham Robinson's…

We prove that if $\mathcal{A}$ is an infinite Boolean algebra in the ground model $V$ and $\mathbb{P}$ is a notion of forcing adding any of the following reals: a Cohen real, an unsplit real, or a random real, then, in any…

We discuss the asymmetric sandwich theorem, a generalization of the Hahn-Banach theorem. As applications, we derive various results on the existence of linear functionals that include bivariate, trivariate and quadrivariate generalizations…

We extend the theory of infinite-exponent partition relations to arbitrary linear order types, with a particular focus on the real number line. We give a complete classification of all consistent partition relations on the real line with…

We study first-order expansions of the reals which do not define the set of natural numbers. We also show that several stronger notions of tameness are equivalent to each others.

Let V be a variety of not necessarily associative algebras, and A an inverse limit of nilpotent algebras A_i\in V, such that some finitely generated subalgebra S \subseteq A is dense in A under the inverse limit of the discrete topologies…

The Dirichlet form is a generalization of the Laplacian, heavily used in the study of many diffusion-like processes. In this paper we present a nonstandard representation theorem for the Dirichlet form, showing that the usual Dirichlet form…

The set of real matrices of upper-bounded rank is a real algebraic variety called the real generic determinantal variety. An explicit description of the tangent cone to that variety is given in Theorem 3.2 of Schneider and Uschmajew [SIAM…

We consider the spaces $H_{F}^{\infty}(\Omega)$ and $\mathcal{A}_{F}(\Omega)$ containing all holomorphic functions $f$ on an open set $\Omega \subseteq \mathbb{C}$, such that all derivatives $f^{(l)}$, $l\in F \subseteq \mathbb{N}_0=\{…

In this monograph, we lay some foundations of a theory of infinite dimensional Euclidean lattices - and more generally, of infinite dimensional Hermitian vector bundles over some "arithmetic curve" ${\rm Spec}\,\mathcal{O}_K$ attached to…

We explicitly describe the structure of HNN extensions of Lie superalgebras. We specify their bases. Moreover, we prove that the HNN extension is a direct sum of two subalgebras: original Lie superalgebra, and the free Lie superalgebra,…

We review some basic facts on vector fields, in the complex-analytic setting, thus, obtaining a rationality result and an extension of the Birkhoff-Grothendieck theorem, as follows: (1) Let $Z$ be a compact complex manifold endowed with a…

Let $A$ be a finite-dimensional algebra over an algebraically closed field. The problem of constructing indecomposable $A$-modules inductively from simple ones by means of exact sequences - called accessibility - is the starting point of…

Let $A$ be a truncated quiver algebra over an algebraically closed field such that any oriented cycle in the ordinary quiver of $A$ is zero in $A$. We give the number of the indecomposable direct summands of the middle term of an almost…

We study the Dirichlet problem of the following discrete infinity Laplace equation on unbounded subgraphs \begin{equation*} \Delta_{\infty}u(x):=\inf_{y\sim x}u(y)+\sup_{y\sim x}u(y)-2u(x)=f(x). \end{equation*} For the homogeneous case…

We give a survey on the theory of representation-finite and certain minimal representation-infinite algebras.The main goals are the existence of multiplicative bases and of coverings with good properties. Both are attained via…