English
Related papers

Related papers: Coanalytic Ultrafilter Bases

200 papers

A set X which is a subset of the Cantor set has property (s) (Marczewski (Spzilrajn)) iff for every perfect set P there exists a perfect set Q contained in P such that Q is a subset of X or Q is disjoint from X. Suppose U is a nonprincipal…

Logic · Mathematics 2007-05-23 Arnold W. Miller

Superfilters are generalized ultrafilters, which capture the underlying concept in Ramsey theoretic theorems such as van der Waerden's Theorem. We establish several properties of superfilters, which generalize both Ramsey's Theorem and its…

Combinatorics · Mathematics 2011-08-23 Nadav Samet , Boaz Tsaban

We show that the amoeba of a generic complex algebraic variety of codimension $1<r<n$ do not have a finite basis. In other words, it is not the intersection of finitely many hypersurface amoebas. Moreover we give a geometric…

Algebraic Geometry · Mathematics 2014-03-18 Mounir Nisse

Under MA we prove that for the ideal $\cal I$ of thin sets on $\omega$ and for any ordinal $\gamma \leq \omega_1$ there is an ${\cal I}$-ultrafilter (in the sense of Baumgartner), which belongs to the class ${\cal P}_{\gamma}$ of…

Logic · Mathematics 2012-01-10 Michał Machura , Andrzej Starosolski

In this paper we give a comprehensive presentation of the notions of filter base, filter and ultrafilter on single valued neutrosophic set and we investigate some of their properties and relationships. More precisely, we discuss properties…

General Mathematics · Mathematics 2021-09-17 Giorgio Nordo , Arif Mehmood , Said Broumi

We investigate the behavior of countable Borel equivalence relations (CBERs) on topological Ramsey spaces. First, we give a simple proof of the fact that every CBER on $[\mathbb{N}]^{\mathbb{N}}$ is hyperfinite on some set of the form…

Logic · Mathematics 2026-02-10 Balázs Bursics , Zoltán Vidnyánszky

An ultrafilter $\mathcal{U}$ on a countable base {\em has continuous Tukey reductions} if whenever an ultrafilter $\mathcal{V}$ is Tukey reducible to $\mathcal{U}$, then every monotone cofinal map $f:\mathcal{U}\ra\mathcal{V}$ is continuous…

Logic · Mathematics 2011-10-20 Natasha Dobrinen

We introduce a new class of ultrafilters which generalizes the well-known class of simple $P$-point ultrafilters. We prove that for any well-founded $\sigma$-directed partial order $\mathbb{D}$ there is a mild forcing extension where there…

Logic · Mathematics 2026-04-02 Tom Benhamou , James Cummings , Gabriel Goldberg , Yair Hayut , Alejandro Poveda

This paper investigates properties of $\sigma$-closed forcings which generate ultrafilters satisfying weak partition relations. The Ramsey degree of an ultrafilter $\mathcal{U}$ for $n$-tuples, denoted $t(\mathcal{U},n)$, is the smallest…

Logic · Mathematics 2019-11-22 Natasha Dobrinen , Sonia Navarro Flores

For a discrete group $G$ and a discrete $G$-space $X$, we identify the Stone-\v{C}ech compactifications $\beta G$ and $\beta X$ with the sets of all ultrafilters on $G$ and $X$, and apply the natural action of $\beta G$ on $\beta X$ to…

Logic · Mathematics 2015-07-02 Oleksandr Petrenko , Igor Protasov

This is a translation into English of a paper written in French, published in Tatra Mountains Mathematical Publications, {L'ultrafiltre, un outil incomparable}, Tatra Mt. Math. Publ. {\bf 31} (2005), 131-176.It was also posted as…

History and Overview · Mathematics 2021-05-06 Labib Haddad

There is a long history of studying Ramsey theory using the algebraic structure of the Stone-\v{C}ech compactification of discrete semigroup. It has been shown that various Ramsey theoretic structures are contained in different algebraic…

General Topology · Mathematics 2021-08-12 Dibyendu De , Pintu Debnath , Sayan Goswami

An extension of the divisibility relation on $\mathbb{N}$ to the set $\beta\mathbb{N}$ of ultrafilters on $\mathbb{N}$ was defined and investigated in several papers during the last ten years. Here we make a survey of results obtained so…

Logic · Mathematics 2024-01-09 Boris Šobot

We prove general sufficient and necessary conditions for the partition regularity of Diophantine equations, which extend the classic Rado's Theorem by covering large classes of nonlinear equations. Sufficient conditions are obtained by…

Combinatorics · Mathematics 2016-06-08 Mauro Di Nasso , Lorenzo Luperi Baglini

We study some topics about \L o\'s's theorem without assuming the Axiom of Choice. We prove that \L o\'s's fundamental theorem of ultraproducts is equivalent to a weak form that every ultrapower is elementary equivalent to its source…

Logic · Mathematics 2024-08-13 Toshimichi Usuba

We construct a just infinite fractal 3-generated Lie superalgebra $\mathbf Q$ over arbitrary field, which gives rise to an associative hull $\mathbf A$, a Poisson superalgebra $\mathbf P$, and two Jordan superalgebras $\mathbf J$, $\mathbf…

Rings and Algebras · Mathematics 2018-04-24 Victor Petrogradsky , Ivan Shestakov

Maximal sets of mutually unbiased bases are useful throughout quantum physics, both in a foundational context and for applications. To date, it remains unknown if complete sets of mutually unbiased bases exist in Hilbert spaces of…

Quantum Physics · Physics 2026-04-09 Daniel McNulty , Stefan Weigert

We give several topological/combinatorial conditions that, for a filter on $\omega$, are equivalent to being a non-meager $\mathsf{P}$-filter. In particular, we show that a filter is countable dense homogeneous if and only if it is a…

General Topology · Mathematics 2014-10-07 Kenneth Kunen , Andrea Medini , Lyubomyr Zdomskyy

We explore the indecomposable submodule structure of quantum Grassmann super-algebra $\Omega_q(m|n)$ and its truncated objects $\Omega_q(m|n,\textbf{r})$ in the case when $q=\varepsilon$ is an $\ell$-th root of unity. A net-like…

Quantum Algebra · Mathematics 2024-11-04 Ge Feng , Naihong Hu , Marc Rosso

A cohesive power of a computable structure is an effective ultrapower where a cohesive set acts as an ultrafilter. Let $\omega$, $\zeta$, and $\eta$ denote the respective order-types of the natural numbers, the integers, and the rationals.…

Logic · Mathematics 2023-10-11 Paul Shafer