English
Related papers

Related papers: Covering the Baire space by families which are not…

200 papers

We develop a family of simple rank one theories built over quite arbitrary sequences of finite hypergraphs. (This extends an idea from the recent proof that Keisler's order has continuum many classes, however, the construction does not…

Logic · Mathematics 2024-07-24 M. Malliaris , S. Shelah

In this paper, we consider filtration-consistent nonlinear expectations which satisfy a general domination condition (dominated by ${\cal{E}}^{\phi}$). We show that this kind of nonlinear expectations can be represented by $g$-expectations…

Probability · Mathematics 2015-03-20 Shiqiu Zheng , Shoumei Li

For a finite group $A$ with normal subgroup $G$, a subgroup $U$ of $G$ is an $A$-prime-power-covering subgroup if $U$ meets every $A$-conjugacy-class of elements of $G$ of prime power order. It is conjectured that $|G:U|$ is bounded by some…

Group Theory · Mathematics 2024-12-23 Michael Giudici , Luke Morgan , Cheryl E. Praeger

Let A_{R,q} denote a family of covering codes, in which the covering radius R and the size q of the underlying Galois field are fixed, while the code length tends to infinity. In this paper, infinite sets of families A_{R,q}, where R is…

Combinatorics · Mathematics 2009-04-27 Alexander A. Davydov , Massimo Giulietti , Stefano Marcugini , Fernanda Pambianco

In the paper a new sufficient condition for the Aubin property to a class of parameterized variational systems is derived. In these systems the constraints depend both on the parameter as well as on the decision variable itself and they…

Optimization and Control · Mathematics 2018-10-31 Helmut Gfrerer , Jiri V. Outrata

Ultrafilters are useful mathematical objects having applications in nonstandard analysis, Ramsey theory, Boolean algebra, topology, and other areas of mathematics. In this note, we provide a categorical construction of ultrafilters in terms…

Category Theory · Mathematics 2009-05-13 Daniel Litt , Zachary Abel , Scott D. Kominers

For a coarse space $(X, \mathcal{E})$, $X^\sharp$ denotes the set of all unbounded ultrafilters on $X$ endowed with the parallelity relation: $p||q$ if there exists $E \in \mathcal{E} $ such that $ E[P]\in q $ for each $P\in p$. If $(X,…

General Topology · Mathematics 2020-04-27 Igor Protasov

We construct a model of ZFC with a singular cardinal $\kappa$ such that every subset of $\kappa$ in $L(V_{\kappa+1})$ has both the $\kappa$-Perfect Set Property and the $\mathcal{\vec{U}}$-Baire Property. This is a higher analogue of…

Logic · Mathematics 2024-08-13 Vincenzo Dimonte , Alejandro Poveda , Sebastiano Thei

A topological space $X$ is Baire if the intersection of any sequence of open dense subsets of $X$ is dense in $X$. One of the interesting problems for the space of Baire functions is the Banakh-Gabriyelyan problem: Let $\alpha$ be a…

General Topology · Mathematics 2025-03-06 Alexander V. Osipov

A domain $R$ is said to have the finite factorization property if every nonzero non-unit element of $R$ has at least one and at most finitely many distinct factorizations up to multiplication of irreducible factors by central units. Let $k$…

Rings and Algebras · Mathematics 2019-03-06 Jason P. Bell , Albert Heinle , Viktor Levandovskyy

Under $\text{CH}$ we construct a partition of Baire space into compact sets, which is indestructible by countably supported iteration and product of Sacks forcing of any length, answering a question of Newelski. Further, we present an…

Logic · Mathematics 2025-05-08 Vera Fischer , Lukas Schembecker

Let $M$ be a transitive model of $ZFC$ and let ${\bf B}$ be a $M$-complete Boolean algebra in $M.$ (In general a proper class.) We define a generalized notion of forcing with such Boolean algebras, $^*$forcing. (A $^*$ forcing extension of…

Logic · Mathematics 2016-09-06 Garvin Melles

Let R be a Dedekind domain. Enochs' solution of the Flat Cover Conjecture was extended as follows: (*) If C is a cotorsion pair generated by a class of cotorsion modules, then C is cogenerated by a set. We show that (*) is the best result…

Logic · Mathematics 2007-05-23 Paul C. Eklof , Saharon Shelah , Jan Trlifaj

It is shown that the boldface maximality principle for subcomplete forcing, together with the assumption that the universe has only set-many grounds, implies the existence of a (parameter-free) definable well-ordering of…

Logic · Mathematics 2018-02-15 Gunter Fuchs

We study the structure of the Rudin-Frolik order on countably complete ultrafilters under the assumption that this order is directed. This assumption, called the Ultrapower Axiom, holds in all known canonical inner models. It turns out that…

Logic · Mathematics 2018-10-11 Gabriel Goldberg

Following Baumgartner [J. Symb. Log. 60 (1995), no. 2], for an ideal $\mathcal{I}$ on $\omega$, we say that an ultrafilter $\mathcal{U}$ on $\omega$ is an $\mathcal{I}$-ultrafilter if for every function $f:\omega\to\omega$ there is $A\in…

Logic · Mathematics 2023-08-25 Rafał Filipów , Krzysztof Kowitz , Adam Kwela

A family $\mathcal{A} \subseteq [\omega]^\omega$ such that for all finite $\{X_i\}_{i\in n}\subseteq \mathcal A$ and $A \in \mathcal{A} \setminus \{X_i\}_{i\in n}$, the set $A \setminus \bigcup_{i \in n} X_i$ is infinite, is said to be…

Let $X$ be a Banach space with an unconditional finite-dimensional Schauder decomposition $(E_n)$. We consider the general problem of characterizing conditions under which one can construct an unconditional basis for $X$ by forming an…

Functional Analysis · Mathematics 2009-09-25 Peter G. Casazza , Nigel J. Kalton

We investigate the Tukey type of the generic ultrafilter added by the quotient $\mathcal{P}(\omega \times \omega) / (\mathrm{FIN} \times \mathrm{FIN})$. We prove that this ultrafilter is not basically generated and yet does not have the…

Logic · Mathematics 2012-10-30 Dilip Raghavan

An $(r,w;d)$ cover-free family $(CFF)$ is a family of subsets of a finite set such that the intersection of any $r$ members of the family contains at least $d$ elements that are not in the union of any other $w$ members. The minimum number…

Combinatorics · Mathematics 2011-08-09 Hossein Hajiabolhassan , Farokhlagha Moazami