Related papers: Hod up to AD$_{\mathbb{R}}+\Theta$ is measurable

We present an $L$-like construction that produces the minimal model of $\mathsf{AD}_\mathbb{R}+$"$\Theta$ is regular". In fact, our construction can produce any model of $\mathsf{AD}^++\mathsf{AD}_\mathbb{R}+V=L(P(\mathbb{R}))$ in which…

This paper analyzes full HOD of natural models of AD^+ under a certain smallness assumption of the models. This assumption is made to utilize Sargsyan's work on the theory of hod mice. We show that HOD is a fine-structural model and in…

We show that the consistency of $\mathrm{ZF} + \mathrm{AD}_{\mathbb{R}} + ``\Theta$ is measurable$"$ implies the consistency of $\mathrm{ZF} +``\Theta$ is the least strongly regular cardinal and the least measurable cardinal$"$ + $``$all…

The measurability by means of continuous measurements, of an observable $\A(t_0)$, at an instant, and of a time averaged observable, $\bar \A=1/T\int \A(t')dt'$, is examined for linear and in particular for non-linear quantum mechanical…

Let $n \geq 1$ and assume that there is a Woodin cardinal. For $x \in \mathbb{R}$ let $\alpha_x$ be the least $\beta$ such that \[ L_\beta [x] \models \Sigma_n \text{-KP} + \exists \kappa (``\kappa \text{ is inaccessible and }\kappa^+…

We classify binary completely regular codes of length $m$ with minimum distance $\delta$ for $(m,\delta)=(12,6)$ and $(11,5)$. We prove that such codes are unique up to equivalence, and in particular, are equivalent to certain Hadamard…

We show that in $L(\mathbb{R})$, assuming large cardinals, $\mathsf{HOD} {\parallel}\eta^{+\mathsf{HOD}}$ is locally definable from $\mathsf{HOD} {\parallel}\eta$ for all $\mathsf{HOD}$-cardinals $\eta\in [\boldsymbol{\delta}^2_1,\Theta)$.…

This unpublished note is an alternate, shorter (and hopefully more readable) proof of the decidability of all minimal models. The decidability follows from a proof of the existence of a cellular term in each observational equivalence class…

Based on earlier work of the third author, we construct a Chang-type model with supercompact measures extending a derived model of a given hod mouse with a regular cardinal $\delta$ that is both a limit of Woodin cardinals and a limit of…

Threshold autoregressive moving-average (TARMA) models are popular in time series analysis due to their ability to parsimoniously describe several complex dynamical features. However, neither theory nor estimation methods are currently…

We prove that if $A,B$ are compact subsets of $\mathbb{R}$ such that the upper density of $B$ is positive at every point of $B$, then there is a closed null set $N\subset A$ such that $N+B=A+B$. As a corollary we find that if $A,B\subset…

A matrix-valued measure $\Theta$ reduces to measures of smaller size if there exists a constant invertible matrix $M$ such that $M\Theta M^*$ is block diagonal. Equivalently, the real vector space ${\mathscr A}$ of all matrices $T$ such…

Measurable sets are defined as those locally approximable, in a certain sense, by sets in the given algebra (or ring). A corresponding measure extension theorem is proved. It is also shown that a set is locally approximable in the mentioned…

We prove (ZF+DC) e.g. : if mu =|H(mu)| then mu^+ is regular non measurable. This is in contrast with the results for mu = aleph_{omega} on measurability see Apter Magidor [ApMg]

Approximations to the modified signed likelihood ratio statistic are asymptotically standard normal with error of order $n^{-1}$, where $n$ is the sample size. Proofs of this fact generally require that the sufficient statistic of the model…

Let $\mu$ be a self-conformal measure on $\mathbb{R}^d$. In this note we establish conditions for $\mu$ under which $\dim(\mu*\nu) = \min\lbrace d,\dim\mu+\dim\nu\rbrace$ holds when $\nu$ is any Ahlfors-regular or self-conformal measure on…

We show that if the upper Assouad dimension of the compact set $E\subseteq \mathbb{R}$ is positive, then given any $D>\dim_{A}E$ there is a measure with support $E$ and upper Assouad (or regularity) dimension $D$. Similarly, given any…

A theory $T$ is said to be relatively decidable if for every model of $T$, one can compute the elementary diagram of that model from its atomic diagram together with $T$. We verify a conjecture of Chubb, Miller, and Solomon by showing that…

Let $M$ be a tame mouse modelling ZFC. We show that $M$ satisfies "$V=\mathrm{HOD}_x$ for some real $x$", and that the restriction $\mathbb{E}\upharpoonright[\omega_1^M,\mathrm{OR}^M)$ of the extender sequence $\mathbb{E}^M$ of $M$ to…

Suppose that $\lambda=\lambda^{<\lambda} \ge\aleph_0$, and we are considering a theory $T$. We give a criterion on $T$ which is sufficient for the consistent existence of $\lambda^{++}$ universal models of $T$ of size $\lambda^+$ for models…