Related papers: Quite Complete Real Closed fields

It is well known that every bounded below and non increasing sequence in the real line converges. We give a version of this result valid in Banach spaces with the Radon-Nikodym property, thus extending a former result of A. Proch\'azka.

New partial results are obtained related to the following old problem of Erd\"os: for any infinite set $X$ of real numbers to show that there is always a measurable (or, equivalently, closed) subset of reals of positive Lebesgue measure…

We show that every graph admits a canonical tree-like decomposition into its $k$-edge-connected pieces for all $k\in\mathbb{N}\cup\{\infty\}$ simultaneously.

We prove that an open manifold with nonnegative Ricci curvature, linear volume growth and noncollapsed ends always splits off a line at infinity. This completes the final step to prove the existence of isoperimetric sets given large volumes…

We introduce totally nonnegative Grassmannians over finite fields where an element of a finite field is nonnegative if it is a square of an element of the finite field. Explicit point counts are given in some special cases where we find new…

I shall describe a general model-theoretic task to construct expansions of pseudofinite structures and discuss several examples of particular relevance to computational complexity. Then I will present one specific situation where finding a…

We prove that for an arbitrary subtree $T$ of $2^{<\omega}$ with each element extendable to a path, a given countable class $\mathcal{M}$ closed under disjoint union, and any set $A$, if none of the members of $\mathcal{M}$ strongly…

We show that if a universal quadratic form exists over an infinite degree, totally real extension of the field of rationals $\mathbb{Q}$, then the set of totally positive integers in the extension does not have the Northcott property. In…

We prove that for any weakly convergent sequence of finite graphs with bounded vertex degrees, there exists a topological limit graphing.

We prove the following variant of Levi's Enlargement Lemma: for an arbitrary arrangement $\mathcal{A}$ of $x$-monotone pseudosegments in the plane and a pair of points $a,b$ with distinct $x$-coordinates and not on the same pseudosegment,…

We prove that every finite poset has a directed cut with at least one half of the poset's pairwise order relations. The bound is tight. Also, the largest directed cut in a poset can be found in linear time.

We give a short, topological proof that all graphs admit tree-decompositions displaying their topological ends.

Let $k$ be a perfect field such that for every $n$ there are only finitely many field extensions, up to isomorphism, of $k$ of degree $n$. If $G$ is a reductive algebraic group defined over $k$, whose characteristic is very good for $G$,…

Let K be a field and \tilde{K} denote the set of all r \in K for which there exists a finite set A(r) with {r} \subseteq A(r) \subseteq K such that each mapping f:A(r) \to K that satisfies: if 1 \in A(r) then f(1)=1, if a,b \in A(r) and a+b…

The category of all monads over many-sorted sets (and over other "set-like" categories) is proved to have coequalizers and strong cointersections. And a general diagram has a colimit whenever all the monads involved preserve monomorphisms…

We prove that every interval order $P$ with no infinite antichain has a Gallai decomposition. That is, $P$ is a lexicographical sum of proper interval orders over a chain, an antichain or a prime interval order. This is a consequence of the…

We formulate a multi-valued version of the Tietze-Urysohn extension theorem. Precisely, we prove that any upper semicontinuous multi-valued map with nonempty closed convex values defined on a closed subset (resp. closed perfectly normal…

We prove under ZFC that in each extremally disconnected compact space there exists a non-limit point of any countable discrete subset.

We study the structure of Jacobians of geometrically reduced curves over arbitrary (i. e., not necessarily perfect) fields. We show that, while such a group scheme cannot in general be decomposed into an affine and an Abelian part as over…

Given a real closed field $R$, we identify exactly four proper reducts of $R$ which expand the underlying (unordered) $R$-vector space structure. Towards this theorem we introduce a new notion, of strongly bounded reducts of linearly…