Related papers: Absolute model companionship, forcibility, and the…

Let $F/F_0$ be a quadratic extension of totally real number fields, and let $E$ be an elliptic curve over $F$ which is isogenous to its Galois conjugate over $F_0$. A quadratic extension $M/F$ is said to be almost totally complex (ATC) if…

Absolutely maximally entangled, AME, states are pure multipartite states that give rise to the maximally mixed states when half or more of the parties are traced out. AME states find applications in fields like teleportation or quantum…

We develop a toolbox for forcing over arbitrary models of set theory without the axiom of choice. In particular, we introduce a variant of the countable chain condition and prove an iteration theorem that applies to many classical forcings…

Approximate morphisms have seen significant study across many areas of mathematics, for instance, in the theory of Absolute (Neighborhood) Retracts in topology, or of almost-commuting unitary matrices in analysis. This paper initiates study…

We introduce notions of absolutely continuous functionals and representations on the non-commutative disk algebra $A_n$. Absolutely continuous functionals are used to help identify the type L part of the free semigroup algebra associated to…

We prove that the strong polarized relation for the continuum holds for $\aleph_0$ and for every supercompact cardinal. We use iteration of Mathias forcing.

Audio Captioning (AC) plays a pivotal role in enhancing audio-text cross-modal understanding during the pretraining and finetuning of Multimodal LLMs (MLLMs). To strengthen this alignment, recent works propose Audio Difference Captioning…

In the context of abstract coinduction in complete lattices, the notion of compatible function makes it possible to introduce enhancements of the coinduction proof principle. The largest compatible function, called the companion, subsumes…

Continuous Markovian Logic (CML) is a multimodal logic that expresses quantitative and qualitative properties of continuous-time labelled Markov processes with arbitrary (analytic) state-spaces, henceforth called continuous Markov processes…

We investigate modal logical aspects of provability predicates $\mathrm{Pr}_T(x)$ satisfying the following condition: $\mathbf{M}$: If $T \vdash \varphi \to \psi$, then $T \vdash \mathrm{Pr}_T(\ulcorner \varphi \urcorner) \to…

This paper presents four theorems that connect continuity postulates in mathematical economics to solvability axioms in mathematical psychology, and ranks them under alternative supplementary assumptions. Theorem 1 connects notions of…

Our main theorem is about iterated forcing for making the continuum larger than aleph_2. We present a generalization of math.LO/0303294 which is dealing with oracles for random, etc., replacing aleph_1, aleph_2 by lambda,lambda^+ (starting…

We prove the following two results. Theorem A: Let alpha be a limit ordinal. Suppose that 2^{|alpha|}<aleph_alpha and 2^{|alpha|^+}<aleph_{|alpha|^+}, whereas aleph_alpha^{|alpha|}>aleph_{|alpha|^+}. Then for all n< omega and for all…

Let $\mathcal{M}$ be the set of Borel probability measures on $\mathbb{R}$. We denote by $\mu^{\mathrm{ac}}$ the absolutely continuous part of $\mu\in\mathcal{M}$. The purpose of this paper is to investigate the supports and regularity for…

We revisit the classical monotone-follower problem and consider it in a generalized formulation. Our approach is based on a compactness substitute for nondecreasing processes, the Meyer-Zheng weak convergence, and the maximum principle of…

$\mu$-Calculus and automata on infinite trees are complementary ways of describing infinite tree languages. The correspondence between $\mu$-Calculus and alternating tree automaton is used to solve the satisfiability and model checking…

We consider several ways of decomposing models into parts of bounded size forming a congruence over a base, and show that admitting any such decomposition is equivalent to mutual algebraicity at the level of theories. We also show that a…

A standard way of finding a feedback law that stabilizes a control system to an operating point is to recast the problem as an infinite horizon optimal control problem. If the optimal cost and the optmal feedback can be found on a large…

We establish sharp lower bounds for the mass of asymptotically locally Euclidean (ALE) and asymptotically locally flat (ALF) toric 4-manifolds, in terms of equilibrium geometries consisting of gravitational instantons. More precisely, the…

Given a countable group $\Gamma$, letting $\mathcal{K}_\Gamma$ denote the class of {\pmp} actions of $\Gamma$, we study the question of when the model companion of $\mathcal{K}_\Gamma$ exists. Berenstein, Henson, and Ibarluc\'ia showed that…