English
Related papers

Related papers: Weakly o-minimal types

200 papers

We confirm Martin's conjecture for a broad subclass of weakly quasi-o-minimal theories.

Logic · Mathematics 2026-03-09 Slavko Moconja , Predrag Tanović

In this work, we introduce the geometric concept of one-sided weakly porous sets in the real line and show that a set $E\subset\mathbb{R}$ satisfies $d(\cdot,E)^{-\alpha}\in A_1^+(\mathbb{R})\cap L^1_\textrm{loc}(\mathbb{R})$ for some…

Classical Analysis and ODEs · Mathematics 2025-07-21 Hugo Aimar , Ivana Gómez , Ignacio Gómez Vargas , Francisco Javier Martín-Reyes

We develop a theory of weak omega categories that will be accessible to anyone who is familiar with the language of categories and functors and who has encountered the definition of a strict 2-category. The most remarkable feature of this…

Category Theory · Mathematics 2007-05-23 Carl A. Futia

Every absolutely summing linear operator is weakly compact. However, for strongly summing multilinear operators and polynomials - one of the most natural extensions of the linear case to the non linear framework - weak compactness does not…

Functional Analysis · Mathematics 2013-11-20 Daniel Pellegrino , Pilar Rueda , Enrique A. Sanchez-Perez

This paper provides a full characterization for when the expansion of a complete o-minimal theory by a unary predicate that picks out a divisible dense and codense subgroup has a model companion. This result is motivated by criteria and…

Logic · Mathematics 2022-10-07 Alexi Block Gorman

We characterize super weakly compact operators as those through which binary tree and diamond and Laakso graphs may not be factored with uniform distortion.

Functional Analysis · Mathematics 2016-04-08 Ryan M. Causey , Stephen J. Dilworth

We present a streamlined and (hopefully) accessible proof of the model-completeness of the weak monadic second order version of a dense linear order with left-endpoint but no right-endpoint in a particular finite signature. We also show how…

Logic · Mathematics 2022-09-15 Deacon Linkhorn

This paper answers several open questions around structures with o-minimal open core. We construct an expansion of an o-minimal structure $\mathcal{R}$ by a unary predicate such that its open core is a proper o-minimal expansion of…

Logic · Mathematics 2021-01-08 Alexi Block Gorman , Erin Caulfield , Philipp Hieronymi

Second-order methods are of great importance for composite convex optimization problems due to their local super-linear convergence rates (under appropriate assumptions). However, the presence of even a simple nonsmooth function in the…

Optimization and Control · Mathematics 2025-12-19 Dan Garber

A nonempty closed convex bounded subset $C$ of a Banach space is said to have the weak approximate fixed point property if for every continuous map $f:C\to C$ there is a sequence $\{x_n\}$ in $C$ such that $x_n-f(x_n)$ converge weakly to 0.…

Functional Analysis · Mathematics 2011-03-18 Ondřej F. K. Kalenda

We introduce a notion of weak convergence in arbitrary metric spaces. Metric functionals are key in our analysis: weak convergence of sequences in a given metric space is tested against all the metric functionals defined on said space. When…

Functional Analysis · Mathematics 2025-06-05 Armando W. Gutiérrez , Olavi Nevanlinna

The paper is devoted to the relationship between almost limited operators and weakly compacts operators. We show that if $F$ is a $\sigma $-Dedekind complete Banach lattice then, every almost limited operator $T:E\rightarrow F $ is weakly…

Functional Analysis · Mathematics 2014-03-17 A. Elbour , N. Machrafi , M. Moussa

We characterize the notion of definable compactness for topological spaces definable in o-minimal structures, answering questions of Peterzil and Steinhorn (1999) and Johnson (2018). Specifically, we prove the equivalence of various…

Logic · Mathematics 2025-04-29 Pablo Andújar Guerrero

We introduce type-theoretic algebraic weak factorisation systems and show how they give rise to homotopy-theoretic models of Martin-L\"of type theory. This is done by showing that the comprehension category associated to a type-theoretic…

Category Theory · Mathematics 2022-06-30 Nicola Gambino , Marco Federico Larrea

We show that for every finite set of prime numbers S, there are at most finitely many singular moduli that are S-units. The key new ingredient is that for every prime number p, singular moduli are p-adically disperse. We prove analogous…

Number Theory · Mathematics 2023-09-07 Sebastián Herrero , Ricardo Menares , Juan Rivera-Letelier

We prove that certain triangulated categories are (weakly) approximable in the sense of A. Neeman. We prove that a triangulated $C$ that is compactly generated by a single object $G$ is weakly approximable if $C(G,G[i])=0$ for $i>1$ (we say…

K-Theory and Homology · Mathematics 2019-07-23 Mikhail V. Bondarko , Sergei V. Vostokov

In this paper, we introduce the concept of a pseudo weakly compact operator of order $ p $ between Banach spaces. Also we study the notion of $ p $-Dunford-Pettis relatively compact property which is in "general" weaker than the…

Functional Analysis · Mathematics 2018-10-15 M. Alikhani

Many definitions of weak and strict $\infty$-categories have been proposed. In this paper we present a definition for $\infty$-categories with strict associators, but which is otherwise fully weak. Our approach is based on the existing type…

Category Theory · Mathematics 2021-09-06 Eric Finster , Alex Rice , Jamie Vicary

We extend the Kechris--Pestov--Todor\v{c}evi\'c correspondence to weak Fra\"{\i}ss\'{e} categories and automorphism groups of generic objects. The new ingredient is the weak Ramsey property. We demonstrate the theory on several examples…

Logic · Mathematics 2024-11-20 Adam Bartoš , Tristan Bice , Keegan Dasilva Barbosa , Wiesław Kubiś

Let $p(\cdot):\ \mathbb R^n\to(0,\infty)$ be a variable exponent function satisfying the globally log-H\"older continuous condition. In this article, the authors first introduce the variable weak Hardy space on $\mathbb R^n$,…

Classical Analysis and ODEs · Mathematics 2016-09-27 Xianjie Yan , Dachun Yang , Wen Yuan , Ciqiang Zhuo