Related papers: $\mathsf{MA} (\mathcal{I}$) and a Failure of Separ…

We show that in the iterated Sacks model over the constructible universe the Mansfield-Solovay Theorem holds for $\Sigma^1_3$ sets. In particular, every $\mathbf{\Sigma}^1_3$ set is Marczewski measurable and the optimal complexity for a…

We introduce a minimal ZFC-internal axiom system for pre-structural data (X, A, mu, mu^{otimes 2}, R, I, Pi_R, G, E_0, eta), where Pi_R : X -> R is a designated map and G subset X x X is a measurable relation; admissible structural models…

The Gromoll-Meyer's generalized Morse lemma (so called splitting lemma) near degenerate critical points on Hilbert spaces, which is one of key results in infinite dimensional Morse theory, is usually stated for at least $C^2$-smooth…

In Part I of this series, we introduced a class of notions of forcing which we call Sigma-Prikry, and showed that many of the known Prikry-type notions of forcing that center around singular cardinals of countable cofinality are…

We study model theoretic characterizations of various collection schemes over $\mathbf{PA}^-$ from the viewpoint of Gaifman's splitting theorem. Among other things, we prove that for any $n \geq 0$ and $M \models \mathbf{PA}^-$, the…

We show that the first-order theory of structural subtyping of non-recursive types is decidable. Let $\Sigma$ be a language consisting of function symbols (representing type constructors) and $C$ a decidable structure in the relational…

This paper from 2012 is the second in a series of three papers. All three papers deal with interpretability logics and related matters. In the first paper a construction method was exposed to obtain models of these logics. Using this…

We prove that CP violating rate difference $\Delta (\bar B^0 \rightarrow \pi^+\pi^-) = \Gamma (\bar B^0 \rightarrow \pi^+\pi^-) - \Gamma ( B^0 \rightarrow \pi^-\pi^+)$ is related to $\Delta (\bar B^0 \rightarrow \pi^+ K^-) = \Gamma (\bar…

We employ Chiral Perturbation Theory (ChPT) to evaluate the complete set of pseudoscalar matrix elements, <0|P_f|pi^0,eta>, with P_f any of the flavor-diagonal pseudoscalar currents (f=u,d,s), to order (m_d-m_u), and to next-to-leading…

This paper presents the main results in my Ph.D. thesis. In what follows several proofs of SCH are presented introducing a family of covering properties which implies both SCH and the failure of various forms of square. These covering…

A result of Kaufmann shows that if $L_\alpha$ is countable, admissible and satisfies $\Pi_n\textsf{-Collection}$, then $\langle L_\alpha, \in \rangle$ has a proper $\Sigma_{n+1}$-elementary end extension. This paper investigates to what…

Generative models are increasingly deployed as substitutes for real data in downstream scientific workflows, yet standard evaluation criteria remain focused on marginal distribution matching. We argue that this represents a fundamental gap:…

For $n<\omega$, we say that the $\Pi^1_n$-reflection principle holds at $\kappa$ and write $\text{Refl}_n(\kappa)$ if and only if $\kappa$ is a $\Pi^1_n$-indescribable cardinal and every $\Pi^1_n$-indescribable subset of $\kappa$ has a…

In this article we adapt the existing account of class-forcing over a ZFC model to a model $(M,\mathcal{C})$ of Morse-Kelley class theory. We give a rigorous definition of class-forcing in such a model and show that the Definability Lemma…

We investigate the complexity of the separation problem associated to classes of regular languages. For a class C, C-separation takes two regular languages as input and asks whether there exists a third language in C which includes the…

Working with explicit examples given by the 56 representation in $SU(8)$, and the 10 representation in $SU(5)$, we show that symmetry breaking of a group ${\cal G}\supset {\cal G}_1 \times {\cal G}_2$ by a scalar in a rank three or two…

This article has two purposes. In \cite{R3} (math.KT/0405211) we showed that the FIC (Fibered Isomorphism Conjecture for pseudoisotopy functor) for a particular class of 3-manifolds (we denoted this class by \cal C) is the key to prove the…

Given an arbitrary countable ordinal $\alpha $, we introduce the notion of type $I_{\alpha }$ C*-algebra and $\alpha $-subhomogeneous C*-algebra. When $\alpha =0$, these recover the notions of Fell C*-algebra and of commutative C*-algebra,…

We study conditions so that the determinantal point process $\Lambda_\phi$ associated to a generalized Fock space defined by a doubling subharmonic weight $\phi$ is almost surely a separated sequence in $\mathbb C$. Under a natural…

In a sigma-closed forcing extension, the bounded forcing axiom for Namba forcing fails. This answers a question of Justin Tatch Moore.