Related papers: A Geometric Zero-One Law

We introduce the notion of limiting theories, giving examples and providing a sufficient condition under which the first order theory of a structure is the limit of the first order theories of a collection of substructures. We also give a…

Let $A=(A_x)$ be a (semi-)continuous field of $C^*$-algebras over a compact Hausdorff space $X$ and let $p=(p_x)$ be a projection in $A$ such that each $p_x\in A_x$ is properly infinite ($x\in X$). Then $p$ is properly infinite if the field…

The theory of $G$-structures provides us with a unified framework for a large class of geometric structures, including symplectic, complex and Riemannian structures, as well as foliations and many others. Surprisingly, contact geometry -…

The poset of copies of a relational structure ${\mathbb X}$ is the partial order $\langle {\mathbb P} ({\mathbb X}) ,\subset \rangle$, where ${\mathbb P} ({\mathbb X})=\{ Y\subset X: {\mathbb Y} \cong {\mathbb X}\}$. Investigating the…

We deal with equations over free semilattice of infinite rank and prove that any infinite consistent system of equations is equivalent to its finite subsystem. Moreover, we describe irreducible algebraic sets and solve some algorithmic…

Let X be an algebraic toric set in a projective space over a finite field. We study the vanishing ideal, I(X), of X and show some useful degree bounds for a minimal set of generators of I(X). We give an explicit description of a set of…

In this paper, we study metric trees, without any finiteness restrictions. For subsets of such trees, a condition that guarantees that the Hausdorff and Gromov--Hausdorff distances from the subset to the entire metric tree are the same is…

Let $v(F)$ denote the number of vertices in a fixed connected pattern graph $F$. We show an infinite family of patterns $F$ such that the existence of a subgraph isomorphic to $F$ is expressible by a first-order sentence of quantifier depth…

We introduce a new class of countably infinite random geometric graphs, whose vertices are points in a metric space, and vertices are adjacent independently with probability p if the metric distance between the vertices is below a given…

Let G and F be finitely generated groups with infinitely many ends and let A and B be graph of groups decompositions of F and G such that all edge groups are finite and all vertex groups have at most one end. We show that G and F are…

Let K be a finite field with q elements and let X be a subset of a projective space P^{s-1}, over the field K, which is parameterized by Laurent monomials. Let I(X) be the vanishing ideal of X. Some of the main contributions of this paper…

First order formulas in a relational signature can be considered as operations on the relations of an underlying set, giving rise to multisorted algebras we call first order algebras. We present universal axioms so that an algebra satisfies…

In this paper, we study the Grassmannian of n-dimensional subspaces of a 2n-dimensional vector space and its infinite-dimensional analogues. Such a Grassmannian can be endowed with two binary relations (adjacent and distant), with pencils…

We prove several results of the following type: given finite dimensional normed space V possessing certain geometric property there exists another space X having the same property and such that (1) log (dim X) = O(log (dim V)) and (2) every…

Geometrical structures intrinsic to non-expanding, weakly isolated and isolated horizons are analyzed and compared with structures which arise in other contexts within general relativity, e.g., at null infinity. In particular, we address in…

There is given the geometric characterization of an asymmetric norm $q$ on the real vector space $X$, for which exists an $u\in X$ such that $q(x-q(x)u)=0$, for each $x\in X$. The result is used in the theory of mutually polar retractions…

Given a G-structure with connection satisfying a regularity assumption we associate to it a classifying Lie algebroid. This algebroid contains all the information about the equivalence problem and is an example of a G-structure Lie…

We give a characterization of geometric property (T) for a coarse disjoint union of finite graphs with bounded degree using the idea of noncommutative real algebraic geometry. In the proof, we define a $*$-subalgebra $I_u[X]$ of real…

The notion of geometric version of an infinitely divisible law is introduced. Concepts parallel to attraction and partial attraction are developed and studied in the setup of geometric summing of random variables.

We study zero-one laws for random graphs. We focus on the following question that was asked by many: Given a graph property P, is there a language of graphs able to express P while obeying the zero-one law? Our results show that on the one…