English
Related papers

Related papers: Rosenthal compacta and NIP formulas

200 papers

We consider interpretable topological spaces and topological groups in a $p$-adically closed field $K$. We identify a special class of "admissible topologies" with topological tameness properties like generic continuity, similar to the…

Logic · Mathematics 2022-08-23 Will Johnson

We start by giving a survey to the theory of Borel*(\kappa) sets in the generalized Baire space Baire({\kappa}) = {\kappa}^{\kappa}. In particular we look at the relation of this complexity class to other complexity classes which we denote…

Logic · Mathematics 2012-09-19 Tapani Hyttinen , Vadim Kulikov

We introduce and investigate a class of non-separable tree-like Banach spaces. As a consequence, we prove that we can not achieve a satisfactory extension of Rosenthal's $\ell_1$-theorem to spaces of the type $\ell_1(\kappa)$, for $\kappa$…

Functional Analysis · Mathematics 2012-10-03 Costas Poulios

A finite relational structure A is called compact if for any infinite relational structure B of the same type, the existence of a homomorphism from B to A is equivalent to the existence of homomorphisms from all finite substructures of B to…

Logic · Mathematics 2026-03-09 Claude Tardif

In the first half of this paper, we outline the construction of a new class of abelian pro-$p$ groups, which covers all countably-based pro-$p$ groups. In the second half, we study them, and classify them up to topological isomorphism and…

Group Theory · Mathematics 2012-11-21 Jonathan Kiehlmann

Let $G = \mathrm{SL}(n,\mathbb{C})$, let $B$ be a fixed Borel subgroup, and let $P \supset B$ be a parabolic subgroup determined by a composition $(c_1,\dots,c_k)$ of $n$. Write $P'$ for the derived group of $P$ and $\mathfrak{m}$ for the…

Commutative Algebra · Mathematics 2026-05-01 Yasmine Fittouhi

In this paper we find monomial bases for the integer cohomology rings of compact wonderful models of toric arrangements. In the description of the monomials various combinatorial objects come into play: building sets, nested sets, and the…

Algebraic Topology · Mathematics 2023-01-16 Giovanni Gaiffi , Oscar Papini , Viola Siconolfi

We introduce basic characteristic classes and numbers as new invariants for Riemannian foliations. If the ambient Riemannian manifold M is simply connected (or more generally if the foliation is a transversely orientable Killing foliation),…

Differential Geometry · Mathematics 2011-01-19 Dirk Toeben

Our paper begins with a revision of spectral theory for commutative Banach algebras, which enables us to prove the $L^p_{\omega}-$conjecture for locally compact abelian groups. We follow an alternative approach to the one known in the…

Functional Analysis · Mathematics 2017-10-25 Mateusz Krukowski

In this paper, the $mn$-dimensional space of tensor-product polynomials of two variables, of degree at most $(m-1)+(n-1)$, is considered. A theory of two-variate polynomials is developed by establishing the algebra and basic algebraic…

General Mathematics · Mathematics 2017-12-29 Dharm Prakash Singh , Amit Ujlayan

We construct a family version of symplectic Floer cohomology for magnetic cotangent bundles, without any restrictions on the magnetic form, using the dissipative method for compactness introduced in \cite{Groman2015}. As an application, we…

Symplectic Geometry · Mathematics 2022-01-10 Yoel Groman , Will J. Merry

Every permutation invariant Borel subset of the space of countable structures is definable in $\La_{\omega_1\omega}$ by a theorem of Lopez-Escobar. We prove variants of this theorem relative to fixed relations and fixed non-permutation…

Logic · Mathematics 2010-03-15 Fredrik Engström , Philipp Schlicht

We prove a weakened version of the reflection of Reinhardt cardinals by super Reinhardt cardinals: Let $M=(V^M,P)$ be a countable model of second order set theory $\mathsf{ZF}_2$ (with universe $V^M$ and classes $P$) which models "$\kappa$…

Logic · Mathematics 2020-05-25 Farmer Schlutzenberg

This paper has three parts. First, we study and characterize amenable and extremely amenable topological semigroups in terms of invariant measures using integral logic. We prove definability of some properties of a topological semigroup…

Logic · Mathematics 2016-07-12 Karim Khanaki

We consider special subclasses of the class of Lindel\"of Sigma-spaces obtained by imposing restrictions on the weight of the elements of compact covers that admit countable networks: A space $X$ is in the class $L\Sigma(\leq\kappa)$ if it…

General Topology · Mathematics 2012-10-23 Wieslaw Kubis , Oleg Okunev , Paul J. Szeptycki

Mathematicians like Markov and Bishop made an effort to develop constructive mathematics and extended many theorems in classical mathematical analysis. Heine Borel theorem tells us that a closed bounded subset of Euclidean space R is…

Logic · Mathematics 2020-10-01 Tong Cheng , Zhihan Gao , Yuxin Ma , Yuhan Ning , Jianghao Xu

The notion of a "root base" together with its geometry plays a crucial role in the theory of finite and affine Lie theory. However, it is known that such a notion does not exist for the recent generalizations of finite and affine root…

Quantum Algebra · Mathematics 2011-08-22 Saeid Azam , Hiroyuki Yamane , Malihe Yousofzadeh

A visceral structure on M is given by a definable base for a uniform topology on its universe in which all basic open sets are infinite and any infinite definable subset X of M has non-empty interior. This context includes o-minimal ordered…

Logic · Mathematics 2021-10-15 Alfred Dolich , John Goodrick

Let $R$ be an algebraically closed field and $\ell$ be its characteristic. Let $G$ be a locally profinite group having a compact open subgroup of invertible pro-order in $R$. Take $N$ a closed subgroup of $G$ exhausted by compact subgroups…

Representation Theory · Mathematics 2022-12-15 Nadir Matringe , Justin Trias

We study the Borel-reducibility of isomorphism relations of complete first order theories and show the consistency of the following: For all such theories T and T', if T is classifiable and T' is not, then the isomorphism of models of T' is…

Logic · Mathematics 2016-02-02 Tapani Hyttinen , Vadim Kulikov , Miguel Moreno