English
Related papers

Related papers: Polish G-spaces, the generalized model theory and …

200 papers

The paper is essentially a continuation of B.Plotkin, G.Zhitomirski, "Some logical invariants of algebras and logical relations between algebras", St.Peterburg Math. J., {19:5}, (2008) 859 -- 879, whose main notion is that of…

Logic · Mathematics 2009-04-26 Plotkin Boris

Despite their outstanding performance, large language models (LLMs) suffer notorious flaws related to their preference for simple, surface-level textual relations over full semantic complexity of the problem. This proposal investigates a…

Computation and Language · Computer Science 2022-06-20 Michal Štefánik

This tutorial gives an overview of some of the basic techniques of measure theory. It includes a study of Borel sets and their generators for Polish and for analytic spaces, the weak topology on the space of all finite positive measures…

Functional Analysis · Mathematics 2014-11-13 Ernst-Erich Doberkat

We present a realisation of the universal/simple Bershadsky--Polyakov vertex algebras as subalgebras of the tensor product of the universal/simple Zamolodchikov vertex algebras and an isotropic lattice vertex algebra. This generalises the…

Quantum Algebra · Mathematics 2021-04-07 Drazen Adamovic , Kazuya Kawasetsu , David Ridout

A two-dimensional topological sigma-model on a generalized Calabi-Yau target space $X$ is defined. The model is constructed in Batalin-Vilkovisky formalism using only a generalized complex structure $J$ and a pure spinor $\rho$ on $X$. In…

High Energy Physics - Theory · Physics 2008-11-26 Vasily Pestun

This is a chapter (planned to appear in Wiley's upcoming Encyclopedia of Operations Research and Management Science) describing parts of the theory of convex polyhedra that are particularly important for optimization. The topics include…

Combinatorics · Mathematics 2010-01-14 Volker Kaibel

We study a general linear parabolic problem for Petrovskii parabolic differential system in Sobolev anisotropic distribution spaces of generalized smoothness. Slowly varying functions are used to characterize supplementary generalized…

Analysis of PDEs · Mathematics 2026-05-06 Valerii Los , Vladimir Mikhailets , Aleksandr Murach

We present the (Lascar) Galois group of any countable theory as a quotient of a compact Polish group by an $F_\sigma$ normal subgroup: in general, as a topological group, and under NIP, also in terms of Borel cardinality. This allows us to…

Logic · Mathematics 2020-12-15 Krzysztof Krupiński , Tomasz Rzepecki

We prove that in Borel models of arithmetic on an uncountable Polish space, neither addition nor multiplication is continuous. This is an analogue of Tennenbaum's Theorem for topological models of arithmetic. This answers a question of…

Logic · Mathematics 2023-11-27 Elliot Glazer

The basic concepts underlying our analysis of {\it W-algebras} as extended symmetries of integrable systems are summarized. The construction starts from the second hamiltonian structure of ``Generalized Drinfel'd-Sokolov'' hierarchies, and…

High Energy Physics - Theory · Physics 2007-05-23 C. R. Fernández-Pousa , M. V. Gallas , J. L. Miramontes , J. Sánchez Guillén

Several recent articles in operator algebras make a nontrivial use of the theory of measurable fields of von Neumann algebras $(M_x)_{x \in X}$ and related structures. This includes the associated field $(\text{Aut}\ M_x)_{x \in X}$ of…

Operator Algebras · Mathematics 2025-04-22 Stefaan Vaes , Lise Wouters

Lemmatization is the process of grouping together the inflected forms of a word so they can be analysed as a single item, identified by the word's lemma, or dictionary form. In computational linguistics, lemmatisation is the algorithmic…

Computation and Language · Computer Science 2022-07-26 Michal Karwatowski , Marcin Pietron

The well known ideal presentations of countably based domains were recently extended to (effective) quasi-Polish spaces. Continuing these investigations, we explore some classes of effective quasi-Polish spaces. In particular, we prove an…

Logic · Mathematics 2023-01-23 Matthew de Brecht , Takayuki Kihara , Victor Selivanov

For each ordinal $\alpha<\omega_1$, we introduce the class of $\alpha$-balanced Polish groups. These classes form a hierarchy that completely stratifies the space between the class of Polish groups admitting a two-side-invariant metric…

Logic · Mathematics 2026-05-07 Shaun Allison , Aristotelis Panagiotopoulos

We investigate more closely the class of generalized b-weakly compact operators on locally convex-solid Riesz spaces and we provide new sequential and operator characterizations in relation with the subject. We introduce explicitly the…

Functional Analysis · Mathematics 2026-03-09 Nabil Machrafi , Birol Altin

Building on our prior work on axiomatization of exact real computation by formalizing nondeterministic first-order partial computations over real and complex numbers in a constructive dependent type theory, we present a framework for…

Logic in Computer Science · Computer Science 2024-10-18 Michal Konečný , Sewon Park , Holger Thies

Let $G$ be an Orlicz function and let $ \alpha, \beta, s$ be positive real numbers. Under certain conditions on the Orlicz function $ G $, we establish some continuous embeddings results between the fractional order Orlicz-Sobolev spaces…

Functional Analysis · Mathematics 2023-07-06 Azeddine Baalal , Mohamed Berghout , EL-Houcine Ouali

We consider the isometry group of the infinite dimensional separable hyperbolic space with its Polish topology. This topology is given by the pointwise convergence. For non-locally compact Polish groups, some striking phenomena like…

Group Theory · Mathematics 2023-05-12 Bruno Duchesne

We systematically investigate three different equivalence relations of connectedness: being connected by arcs, being connected by continua and being connected by chains of continua of decreasing diameter. The investigation is conducted from…

General Topology · Mathematics 2026-01-05 Michal Hevessy , Yusuf Uyar , Benjamin Vejnar

The complexity of a homogeneous space $G/H$ under a reductive group $G$ is by definition the codimension of generic orbits in $G/H$ of a Borel subgroup $B\subseteq G$. We give a representation-theoretic interpretation of this number as the…

Algebraic Geometry · Mathematics 2007-05-23 Dmitri A. Timashev
‹ Prev 1 4 5 6 7 8 10 Next ›