English
Related papers

Related papers: Local reflections of choice

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

In this paper we study the notion of strong non-reflection, and its contrapositive weak reflection. We say theta strongly non-reflects at lambda iff there is a function F: theta ---> lambda such that for all alpha < theta with cf(alpha)=…

Logic · Mathematics 2009-09-25 James Cummings , Mirna Džamonja , Saharon Shelah

We further investigate the weak topology generated by the irreducible unitary representations of a group $G$. A deep result due to Ernest \cite{Ernest1971} and Hughes \cite{Hughes1973} asserts that every weakly compact subset of a locally…

General Topology · Mathematics 2021-03-25 María V. Ferrer , Salvador Hernández

We establish a number of results which say, roughly, that interpretation functors preserve algebraic complexity. First we show that representation embeddings between categories of modules of finite-dimensional algebras induce embeddings of…

Representation Theory · Mathematics 2017-05-17 Lorna Gregory , Mike Prest

We present several combinatorial properties of semiselective ideals on the set of natural numbers. The continuum hypothesis implies that the complement of every selective ideal contains a selective ultrafilter, however for semiselective…

Logic · Mathematics 2026-02-04 Julián C. Cano , Carlos A. Di Prisco , Michael Hrušák

We show that the Axiom of Dependent Choices, $\operatorname{DC}$, holds in countably iterable, passive premice $\mathcal{M}$ construced over their reals which satisfy the Axiom of Determinacy, $\operatorname{AD}$, in a…

Logic · Mathematics 2019-07-08 Sandra Müller

We present a short proof, based on local character expansions, of the celebrated theorem of Harish-Chandra about local integrability of complex characters of $p$-adic reductive groups. The proof gives an algebraic incarnation of the local…

Representation Theory · Mathematics 2026-04-17 Cheng-Chiang Tsai

We present a result which can be used for stratifications with conical singularities to deduce that a perverse sheaf (in particular, an intersection homology sheaf) has reducible characteristic variety, given a hypothesis on the monodromy…

Algebraic Geometry · Mathematics 2007-05-23 Tom Braden

We address the question of whether a reflecting stationary set may be partitioned into two or more reflecting stationary subsets, providing various affirmative answers in ZFC. As an application to singular cardinals combinatorics, we infer…

Logic · Mathematics 2019-07-22 Maxwell Levine , Assaf Rinot

We introduce the forcing property of descending distributivity. A forcing $\mathbb{P}$ is $\kappa$-descending distributive if for all decreasing sequences $(D_\alpha)_{\alpha<\kappa}$ of open dense sets, $\bigcap_\alpha D_\alpha$ is open…

Logic · Mathematics 2025-06-16 Calliope Ryan-Smith

Let $X$ be a nonempty real variety that is invariant under the action of a reflection group $G$. We conjecture that if $X$ is defined in terms of the first $k$ basic invariants of $G$ (ordered by degree), then $X$ meets a $k$-dimensional…

Algebraic Geometry · Mathematics 2017-06-08 Tobias Friedl , Cordian Riener , Raman Sanyal

For an exponentially decaying potential, analytic structure of the $s$-wave S-matrix can be determined up to the slightest detail, including position of all its poles and their residues. Beautiful hidden structures can be revealed by its…

Quantum Physics · Physics 2019-10-18 Alexander Moroz , Andrey E. Miroshnichenko

We reconsider here the following related pcf questions and make some advances: (Q1) concerning the ideal {check I}_kappa [lambda] how much reflection do we have for the bad set S^{bd}_{lambda, kappa} subseteq {delta < lambda : cf(delta)=…

Logic · Mathematics 2012-06-26 Saharon Shelah

A stationary subset $S$ of a regular uncountable cardinal $\kappa$ {\it reflects fully} at regular cardinals if for every stationary set $T \subseteq \kappa$ of higher order consisting of regular cardinals there exists an $\alpha \in T$…

Logic · Mathematics 2008-02-03 Thomas Jech , Jiří Witzany

It is known that there are many notions of largeness in a semigroup that own rich combinatorial properties. In this paper, we focus on partition and almost disjoint properties of these notions. One of the most remarkable results with…

Combinatorics · Mathematics 2025-01-22 Teng Zhang

In this paper we continue the study in [Gilton-Levine-Stejskalova] of compactness and incompactness principles at double successors, focusing here on the case of double successors of singulars of countable cofinality. We obtain models which…

Logic · Mathematics 2024-08-13 Thomas Gilton , Šárka Stejskalová

We study the question of when a given countable ordinal $\alpha$ is $\Sigma^1_n$- or $\Pi^1_n$-reflecting in models which are neither $\mathsf{PD}$ models nor the constructible universe, focusing on generic extensions of $L$. We prove,…

Logic · Mathematics 2023-11-22 Juan P. Aguilera , Corey Bacal Switzer

We prove well-posedness results for backward stochastic differential equations (BSDEs) and reflected BSDEs with an optional obstacle process in the case of appropriately weighted $\mathbb{L}^2$-data when the generator is integrated with…

Probability · Mathematics 2024-12-13 Dylan Possamaï , Marco Rodrigues

We use recent results about linking the number of zeros on algebraic varieties over $\mathbb{C}$, defined by polynomials with integer coefficients, and on their reductions modulo sufficiently large primes to study congruences with products…

Number Theory · Mathematics 2022-07-25 Bryce Kerr , Jorge Mello , Igor Shparlinski

If V is a finitely generated variety such that the first-order theory of the finite members of V is decidable, we show that V is residually finite, and in fact has a finite bound on the sizes of subdirectly irreducible algebras. This result…

Logic · Mathematics 2013-11-13 Ralph McKenzie , Matthew Smedberg