English
Related papers

Related papers: Keisler's order via Boolean ultrapowers

200 papers

LECTURE GIVEN AT TH2002. Given a set of Boolean variables, and some constraints between them, is it possible to find a configuration of the variables which satisfies all constraints? This problem, which is at the heart of combinatorial…

Disordered Systems and Neural Networks · Physics 2009-11-07 Marc Mezard

We continue algebraization of the set of ultrafilters on a metric spaces initiated in [6]. In particular, we define and study metric counterparts of prime, strongly prime and right cancellable ultrafilters from the Stone-$\check{C}$ech…

General Topology · Mathematics 2018-02-15 Igor Protasov

We propose a mathematical framework that we call quantum, higher-order Fourier analysis. This generalizes the classical theory of higher-order Fourier analysis, which led to many advances in number theory and combinatorics. We define a…

Quantum Physics · Physics 2025-09-09 Kaifeng Bu , Weichen Gu , Arthur Jaffe

This paper introduces the seed order, a partial order of the class of uniform countably complete ultrafilters that generalizes the Mitchell order on normal measures. Like that order, the seed order is consistently a linear ordering even…

Logic · Mathematics 2017-06-06 Gabriel Goldberg

We prove that Euler supercharacters for orthosymplectic Lie superalgebras can be obtained as a certain specialization of super Jacobi polynomials. A new version of Weyl type formula for super Schur functions and specialized super Jacobi…

Representation Theory · Mathematics 2009-12-23 A. N. Sergeev , A. P. Veselov

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

We show that Keisler's order is not linear, assuming the existence of a supercompact cardinal.

Logic · Mathematics 2017-02-07 Douglas Ulrich

This paper on the whole concerns with the duality of Mayer problem for k-th order differential inclusions, where k is an arbitrary natural number. Thus, this work for constructing the dual problems to differential inclusions of any order…

Optimization and Control · Mathematics 2019-06-20 Elimhan N. Mahmudov

We introduce novel high order well-balanced finite volume methods for the full compressible Euler system with gravity source term. They require no a priori knowledge of the hydrostatic solution which is to be well-balanced and are not…

Numerical Analysis · Mathematics 2020-12-16 Jonas P. Berberich , Roger Käppeli , Praveen Chandrashekar , Christian Klingenberg

In this paper we are mainly concerned with the study of polarizations (in general of higher-order type) on a connected Lie group with a U(1)-principal bundle structure. The representation technique used here is formulated on the basis of a…

Mathematical Physics · Physics 2007-05-23 V. Aldaya , J. Guerrero , G. Marmo

In this paper, we study a special type of ultrafilter which we call Shelah ultrafilter. We show that it is possible to add a Shelah ultrafilter using a special forcing notion. We also show that Shelah ultrafilters turn out to be…

Logic · Mathematics 2025-12-10 Emmanuel Balderas , David Chodounský , Osvaldo Guzmán

We prove the consistency of irr(prod limits_{i<kappa}B_i/D)< prod limits_{i<kappa}irr(B_i)/D, where D is an ultrafilter on kappa and each B_i is a Boolean Algebra. This solves the last problem of this form from the Monk's list of problems,…

Logic · Mathematics 2007-05-23 Saharon Shelah

We present a new approach to the study of multiplier ideals in a local, two-dimensional setting. Our method allows us to deal with ideals, graded systems of ideals and plurisubharmonic functions in a unified way. Among the applications are…

Complex Variables · Mathematics 2007-05-23 Charles Favre , Mattias Jonsson

The main goal of this paper is to develop a concept of approximate differentiability of higher order for subsets of the Euclidean space that allows to characterize higher order rectifiable sets, extending somehow well known facts for…

Classical Analysis and ODEs · Mathematics 2020-07-20 Mario Santilli

We introduce the notion of a tight cofinitary group, which captures forcing indestructibility of maximal cofinitary groups for a long list of partial orders, including Cohen, Sacks, Miller, Miller partition forcing and Shelah's poset for…

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

We prove a Theorem about the relationship between the Depth of the ultraproduct of Boolean algebras, divided by an ultrafilter, and the products of the depths of each component. This answers (partly) an open problem of Monk.

Logic · Mathematics 2012-09-04 Saharon Shelah , Shimon Garti

This article surveys results regarding the Tukey theory of ultrafilters on countable base sets. The driving forces for this investigation are Isbell's Problem and the question of how closely related the Rudin-Keisler and Tukey…

Logic · Mathematics 2014-02-03 Natasha Dobrinen

In this paper we describe a general method to generate superoscillatory functions of several variables starting from a superoscillating sequence of one variable. Our results are based on the study of suitable infinite order differential…

Functional Analysis · Mathematics 2023-02-01 Fabrizio Colombo , Stefano Pinton , Irene Sabadini , Daniele Struppa

In this study we introduce a second type of higher order generalised geometric polynomials. This we achieve by examining the generalised stirling numbers $S(n; k;\alpha;\beta;\gamma)$ [Hsu & Shiue,1998] for some negative arguments. We study…

The question of how Algebra can be used to solve dynamical systems and characterize chaos was first posed in a fertile mathematical context by Ziglin, Morales, Ramis and Sim\'o using differential Galois theory. Their study was aimed at…

Dynamical Systems · Mathematics 2026-05-27 Sergi Simon