Related papers: A symmetric $\beta$-model
What does it mean to say that a quantity is identifiable from the data? Statisticians seem to agree on a definition in the context of parametric statistical models --- roughly, a parameter $\theta$ in a model $\mathcal{P} = \{P_\theta:…
In this paper we prove three theorems about the theory of Borel sets in models of ZF without any form of the axiom of choice. We prove that if B is a G-delta-sigma set, then either B is countable or B contains a perfect subset. Second, we…
According to the math tea argument, there must be real numbers that we cannot describe or define, because there are uncountably many real numbers, but only countably many definitions. And yet, the existence of pointwise-definable models of…
S. Baker (2019), B. B\'ar\'any and A. K\"{a}enm\"{a}ki (2019) independently showed that there exist iterated function systems without exact overlaps and there are super-exponentially close cylinders at all small levels. We adapt the method…
We prove absolute regularity ($\beta$-mixing) for nonstationary and multivariate versions of two popular classes of integer-valued processes. We show how this result can be used to prove asymptotic normality of a least squares estimator of…
We prove that no separable Banach algebra is universal for homomorphic embeddings of all separable Banach algebras, whether embeddings are merely bounded or required to be contractive. The same holds in the commutative category. The proof…
Recently 't Hooft demonstrated that ``For any quantum system there exists at least one deterministic model that reproduces all its dynamics after prequantization''. An extension is presented here which covers quantum systems that are…
We prove that for every countable group G there exists a hyperbolic 3-manifold M such that the isometry group of M, the mapping class group of M, and the outer automorphism group of the fundamental group of M are isomorphic to G.
We study models M of set theory that are "condensable", in the sense that there is an "ordinal" v of M such that the rank initial segment of M determined by v is both isomorphic to M, and also an elementary submodel of M for infinitary…
We characterize pairs of orthogonal countable ordinals. Two ordinals $\alpha$ and $\beta$ are orthogonal if there are two linear orders $A$ and $B$ on the same set $V$ with order types $\alpha$ and $\beta$ respectively such that the only…
We show that given any non-computable left-c.e. real $\alpha$ there exists a left-c.e. real $\beta$ such that $\alpha\neq \beta+\gamma$ for all left-c.e. reals and all right-c.e. reals $\gamma$. The proof is non-uniform, the dichotomy being…
In this paper we consider a type system with a universal type $\omega$ where any term (whether open or closed, $\beta$-normalising or not) has type $\omega$. We provide this type system with a realisability semantics where an atomic type is…
It is well-known that the first order Peano axioms PA have a continuum of non-isomorphic countable models. The question, how close to being isomorphic such countable models can be, seems to be less investigated. A measure of closeness to…
Methods developed for the analysis of integrable systems are used to study the problem of hyperK\"ahler metrics building as formulated in D=2 N=4 supersymmetric harmonic superspace. We show, in particular, that the constraint equation…
In the present paper we establish that the space $\exp_\beta X$ of compact subsets of a Tychonoff space $X$ is superparacompact iff $X$ is so. Further, we prove the Tychonoff map $\exp_{\beta} f:\ \exp_{\beta} X\rightarrow \exp_{\beta} Y$…
We prove the following results. 1. If $X$ is a $\alpha$-favourable space, $Y$ is a regular space, in which every separable closed set is compact, and $f:X\times Y\to\mathbb R$ is a separately continuous everywhere jointly discontinuous…
We prove in ZFC the existence of a definable, countably saturated elementary extension of the reals. It seems that it has been taken for granted that there is no distinguished, definable nonstandard model of the reals. (This means a…
We prove an algebraic extension theorem for the computably enumerable sets, $\mathcal{E}$. Using this extension theorem and other work we then show if $A$ and $\hat{A}$ are automorphic via $\Psi$ then they are automorphic via $\Lambda$…
We prove that the Reeb space of a proper definable map $f:X \rightarrow Y$ in an arbitrary o-minimal expansion of a real closed field is realizable as a proper definable quotient. This result can be seen as an o-minimal analog of Stein…
We present a class of one-to-one matching models with perfectly transferable utility. We discuss identification and inference in these separable models, and we show how their comparative statics are readily analyzed.