Related papers: Finite Type Points On Subsets Of $\mathbb C^n$
Answering a question of Diestel, we develop a topological notion of gammoids in infinite graphs which, unlike traditional infinite gammoids, always define a matroid. As our main tool, we prove for any infinite graph $G$ with vertex sets $A$…
Over fields of characteristic zero, we show that for $n=1,d\geq4$ or $n=2,d\geq5$ or $n\geq3, d\geq 2n$, the generic $m$-marked degree-$d$ hypersurface in $\mathbb{P}^{n+1}$ admits the $m$ marked points as all the rational points. Over…
Characterizations of paracompact finite $C$-spaces via continuous selections are given. We apply these results to obtain some properties of finite $C$-spaces. Factorization theorems and a completion theorem for finite $C$- spaces are also…
We find the complete rational homology for the finite subset spaces of a $d$-dimensional sphere. We also determine the integral homology in top $d$ degrees and obtain a partial description of it in codimension $d$.
We consider d-minimal expansions of ordered fields. We demonstrate the existence of definable quotients of definable sets by definable equivalence relations when several technical conditions are satisfied. These conditions are satisfied…
We develop a family of finite element spaces of differential forms defined on cubical meshes in any number of dimensions. The family contains elements of all polynomial degrees and all form degrees. In two dimensions, these include the…
These notes aim to give a gentle account to one approach to the theory of finite sets without making use of the natural numbers. They were written to be used as the basis for a student seminar. There are no real prerequisites except for a…
The paper introduces the class of O-metric spaces, a novel generalization of metric-type spaces, classifying almost all possible metric types into upward and downward O-metrics. We list some topologies arising from O-metrics and discuss…
In the affine fragment of continuous logic, type spaces are compact convex sets. I study some model theoretic properties of extreme types. It is proved that every complete theory $T$ has an extremal model, i.e. a model which realizes only…
The Pila-Wilkie theorem states that if a set $X\subseteq \mathbb R^n$ is definable in an o-minimal structure $\mathcal R$ and contains `many' rational points, then it contains an infinite semialgebraic set. In this paper, we extend this…
The theory of finitely supported algebraic structures represents a reformulation of Zermelo-Fraenkel set theory in which every construction is finitely supported according to the action of a group of permutations of some basic elements…
This study defines finite-type invariants for curves on surfaces and reveals the construction of these finite-type invariants for stable homeomorphism classes of curves on compact oriented surfaces without boundaries. These invariants are a…
We give necessary and sufficient conditions on a presentable infinity-category C so that families of objects of C form an infinity-topos. In particular, we prove a conjecture of Joyal that this is the case whenever C is stable.
An open (resp., closed) subset A of a topological space (X, T ) is called C-open (resp., C-closed) set if cl(A) \ A (resp., A \ int(A)) is a countable set. This paper aims to present the concept of C-open and C-closed sets. We first…
We prove that a component of the closure of the set of star points on a hypersurface X of degree d>2 in N-dimensional projective space is linear. Afterwards, we focus on the case where the component is of maximal dimension N-2 and the case…
n the present note, which is the first part of a work concerning the study of the set of the symmetric states for Fermi systems, we describe the extension of the De Finetti theorem to the infinite Fermi $C^*$-tensor product of a single…
Let M be a polynomially bounded, o-minimal structure with archimedean prime model, for example if M is a real closed field. Let C be a convex and unbounded subset of M. We determine the first order theory of the structure M expanded by the…
We give a detailed and self-contained introduction to the theory of $\lambda $-toposes and prove the following: 1) A $\lambda $-separable $\lambda $-topos has enough $\lambda $-points. 2) The classifying $\lambda $-topos of a $\kappa $-site…
We define nodal finite dimensional algebras and describe their structure over an algebraically closed field. For a special class of such algebras (type A) we find a criterion of tameness.
In this article, we prove the existence of common fixed points for a pair of maps on a $q$-spherically complete $T_0$-ultra-quasi-metric space. The present article is a generalization, in the assymmetric setting of the paper of Rao et…