Related papers: Forcing Axioms, the Uniformization and the Basis P…

Let B be any Lp space for p in (1,infty) or any Banach space isomorphic to a Hilbert space, and k be a nonnegative integer. We show that if n is at least 4, then the universal lattice Gamma =SL_n (Z[x1,...,xk]) has property (F_B) in the…

Analysis of (partial) groundness is an important application of abstract interpretation. There are several proposals for improving the precision of such an analysis by exploiting type information, icluding our own work with Hill and King,…

Let $X$ be a Banach space, let $(\Omega,\mu)$ be a $\sigma$-finite measure space and let $A,B\colon\Omega\to B(X)$ be strongly measurable $\gamma$-bounded functions. We show that for all $x\in X$ and all $x^*\in X^*$, there exist a Hilbert…

If a closed orientable manifold (resp. rational Poincar\'e duality space) $X$ receives a map $Y \to X$ from a formal manifold (resp. space) $Y$ that hits a fundamental class, then $X$ is formal. The main technical ingredient in the proof…

We investigate properties of ABA+, a formalism that extends the well studied structured argumentation formalism Assumption-Based Argumentation (ABA) with a preference handling mechanism. In particular, we establish desirable properties that…

We give a criterion for the rigidity of actions on homogeneous spaces. Let $G$ be a real Lie group, $\Lambda$ a lattice in $G$, and $\Gamma$ a subgroup of the affine group Aff$(G)$ stabilizing $\Lambda$. Then the action of $\Gamma$ on…

We give a forcing construction of the square principle on omega_1 using forcing with conditions whose domain is finite.

We consider a fair division model in which agents have general valuations for bundles of indivisible items. We propose two new axiomatic properties for allocations in this model: EF1+- and EFX+-. We compare these with the existing EF1 and…

We prove that if Q is a nw-nep forcing then it cannot add a dominating real. We also prove that Amoeba forcing cannot be P(X)/I if I is an aleph_1-complete ideal.

The main theorem shows that if M is an irreducible compact connected orientable 3-manifold with non-empty boundary, then the classifying space BDiff(M rel dM) of the space of diffeomorphisms of M which restrict to the identity map on…

We derive new bounds on the b-number form factor $F(q^2)$ of the B meson. (Revised version of hep-ph/9306214).

In non-well-founded set theory, which anti-foundation axiom is philosophically justified, BAFA, FAFA, SAFA, AFA, or some other? In this paper, we investigate a general approach to answering this question: first, consider which identity…

We give a proof, based on thermodynamic formalism, of a theorem in bounded cohomology extending a foundational result of Burger and Monod: if $\Gamma$ is an irreducible uniform lattice in a non-compact connected semisimple Lie group of real…

Smooth maps $u\colon\mathbb B^3\to\mathbb S^2$ can be lifted to $\hat u\colon\mathbb B^3\to\mathbb S^3$ using the Hopf fibration $h\colon \mathbb S^3\to\mathbb S^2$ via the factorization $u=h\circ\hat u$. In this note we characterize the…

In this paper we prove formality of the exterior algebra on V+V* endowed with the big bracket considered as a graded Poisson algebra. We also discuss connection of this result to bialgebra deformations of the symmetric algebra of V…

We study valued fields equipped with an automorphism $\sigma$ which is locally infinitely contracting in the sense that $\alpha\ll\sigma\alpha$ for all $0<\alpha\in\Gamma$. We show that various notions of valuation theory, such as Henselian…

We study the recognition of R-trivial idempotent (R1) languages by various models of "decide-and-halt" quantum finite automata (QFA) and probabilistic reversible automata (DH-PRA). We introduce bistochastic QFA (MM-BQFA), a model which…

In this note, we shall generalize the notion of a $P$-space to proximity spaces and investigate the basic properties of these proximities. We therefore define a $P_{\aleph_{1}}$-proximity to be a proximity where if $A_{n}\prec B$ for all…

The integration of first-principles models with learning-based components, i.e., model augmentation, has gained increasing attention, as it offers higher model accuracy and faster convergence properties compared to black-box approaches,…

There is a model of ZF with a $\Delta^1_3$ definable Hamel basis in which $AC_\omega(R)$ fails.