arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2503.13744

Jonsson and Magidor filters

Omer Ben-Neria·Shimon Garti
View original source ↗Read source document ↗Export metadata ↓

Abstract

We study the filter versions of square bracket partition relations, focusing on Jonssonicity and Magidority. We show that the singular cardinals in a Kleinberg sequence above some strong partition cardinal are not Magidor, but the limit of the sequence is Magidor. This is done under AD. We also force over a model of AD to obtain a singular cardinal carrying a Magidor filter.

Explore related subjects

math.LO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Omer Ben-Neria, Shimon Garti. 2025-03-17. Jonsson and Magidor filters. https://arxiv.org/abs/2503.13744

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Constant power maps on Hardy fields and transseries

Let $\mathbb{T}$ be the differential field of logarithmic-exponential transseries. We consider the expansion of $\mathbb{T}$ by the binary map that sends a positive transseries $f$ and a real number $r$ to the transseries $f^r$, together with a constant symbol for the real number $\mathrm{e}$. Building on recent work of Aschenbrenner, van den Dries, and van der Hoeven, we show that this expansion is model complete, and we give an axiomatization of its theory that is effective relative to the theory of the real exponential field. We show that maximal Hardy fields, equipped with the same map $(f,r)\mapsto f^r$, enjoy the same theory as $\mathbb{T}$, and we use this to establish a transfer theorem between Hardy fields and transseries.

math.LO↗
arXiv2026

Axioms of Quantum Mechanics in light of Continuous Model Theory

We revisit Dirac's axiomatization of quantum mechanics and show that it can essentially be reformulated in a more familiar logical setting - continuous model theory. Our aim is twofold: (i) to present the Dirac--von Neumann formalism in a genuinely axiomatic manner suitable for logicians, and (ii) to exhibit a structural analogy between Hilbert spaces and Tarski's cylindric algebras, which were introduced in the program of algebraisation of first-order logic. Recall that the cylindric algebra $\mathfrak{C}(\mathbb{A})$ of a first order structure $\mathbb{A}$ allows to recover $\mathbb{A}$ up to elementary equivalence. For a general continuous structure $\mathbb{M}$, we introduce an analogue $\mathcal{B}(\mathbb{M})$ of the cylindric algebra of a first--order structure. Under natural tameness assumptions, $\mathcal{B}(\mathbb{M})$ takes the form of a (rigged) Hilbert space with operators, and $\mathbb{M}$ can be recovered from $\mathcal{B}(\mathbb{M}).$

math.LO↗
arXiv2026

A complete representation theorem for nullnorms on bounded trellises

We establish necessary and sufficient conditions under which a binary operation on a bounded trellis is a proper nullnorm. The representation combines a t-conorm on the lower interval, a t-norm on the upper interval, two order-preserving maps, and a commutative, increasing function on $I_a^3\times I_a^3$, where $I_a^3$ consists of the elements incomparable with the absorbing element $a$ that neither reach $a$ nor are reachable from $a$. Unlike earlier range-restricted constructions, this function may take values anywhere in the trellis. To preserve associativity for such unrestricted values, we introduce a mixed interaction function that evaluates every pair with at least one component in $I_a^3$. We also derive the specializations in which this region is empty or consists of a single element, including an exact description of the admissible value in the singleton case. A five-element lattice example shows that the mixed associativity condition is independent of the remaining hypotheses, while a fourteen-element nontransitive trellis example demonstrates the necessity of allowing the unrestricted range. Finally, the principal range-restricted subclasses and the bounded-lattice case are recovered as specializations of the general representation.

math.LO↗