English
Related papers

Related papers: The universal logic of repeated experiments

200 papers

We prove several results giving lower bounds for the large cardinal strength of a failure of the singular cardinal hypothesis. The main result is the following theorem: Theorem: Suppose $\kappa$ is a singular strong limit cardinal and…

Logic · Mathematics 2016-09-06 Moti Gitik , William Mitchell

Unified graded differential algebra, generated by $\kappa$-Minkowski noncommutative (NC) coordinates, Lorentz generators and anticommuting one-forms, is constructed. It is compatible with $\kappa$-Poincar\'e-Hopf algebra. For time- and…

High Energy Physics - Theory · Physics 2014-09-01 Tajron Juric , Stjepan Meljanac , Rina Strajn

The Kalikow problem for a pair (lambda, kappa) of cardinal numbers, lambda > kappa (in particular kappa =2) is whether we can map the family of omega --sequences from lambda to the family of omega --sequences from kappa in a very continuous…

Logic · Mathematics 2016-09-07 Saharon Shelah

Many questions in experimental mathematics are fundamentally inductive in nature. Here we demonstrate how Bayesian inference --the logic of partial beliefs-- can be used to quantify the evidence that finite data provide in favor of a…

Applications · Statistics 2017-06-20 Quentin F. Gronau , Eric-Jan Wagenmakers

We study the Borel and analytic subsets of the spaces \({}^{\kappa}\kappa\) and \({}^{\kappa}2\) endowed with ideal topologies, where \(\kappa\) is a regular uncountable cardinal. We establish that the Borel hierarchy does not collapse in…

Logic · Mathematics 2025-12-25 Miguel Moreno , Beatrice Pitton

Picture countably many logicians all wearing a hat in one of $\kappa$-many colours. They each get to look at finitely many other hats and afterwards make finitely many guesses for their own hat's colour. For which $\kappa$ can the logicians…

Logic · Mathematics 2024-11-12 Andreas Lietz , Jeroen Winkel

The coupled entropy, $H_\kappa,$ is proven to uniquely satisfy the requirement that a generalized entropy be a measure of the uncertainty at the scale, $\sigma,$ for a class of non-exponential distributions. The coupled stretched…

Statistical Mechanics · Physics 2026-01-14 Kenric P. Nelson

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…

Logic · Mathematics 2017-06-13 George Barmpalias , Andrew Lewis-Pye

We give Woodin's original proof that if there exists a $(\kappa+2)-$strong cardinal $\kappa,$ then there is a generic extension of the universe in which $\kappa=\aleph_\omega,$ $GCH$ holds below $\aleph_\omega$ and…

Logic · Mathematics 2016-01-19 Mohammad Golshani

A result of G. Godefroy asserts that a Banach space $X$ contains an isomorphic copy of $\ell_1$ if and only if there is an equivalent norm $|||\cdot|||$ such that, for every finite-dimensional subspace $Y$ of $X$ and every $\varepsilon>0$,…

Functional Analysis · Mathematics 2021-04-29 Antonio Avilés , Gonzalo Martínez-Cervantes , Abraham Rueda Zoca

We prove a strong dichotomy result for countably-infinite oriented graphs; that is, we prove that for all countably-infinite oriented graphs $G$, either (i) there is a countably-infinite tournament $K$ such that $G\not\subseteq K$, or (ii)…

Combinatorics · Mathematics 2024-05-02 Alistair Benford , Louis DeBiasio , Paul Larson

The notion of a complete Boolean algebra, although completely legitimate in constructive mathematics, fails to capture some natural structures such as the lattice of subsets of a given set. Sambin's notion of an overlap algebra, although…

Logic in Computer Science · Computer Science 2023-06-22 Francesco Ciraulo , Michele Contente

We are lifting classical problems from single instances to regular sets of instances. The task of finding a positive instance of the combinatorial problem $P$ in a potentially infinite given regular set is equivalent to the so called…

Formal Languages and Automata Theory · Computer Science 2020-07-17 Petra Wolf

We prove a de Finetti theorem for exchangeable sequences of states on test spaces, where a test space is a generalization of the sample space of classical probability theory and the Hilbert space of quantum theory. The standard classical…

Quantum Physics · Physics 2009-03-27 Jonathan Barrett , Matthew Leifer

A duality of $\kappa$-normed topological vector spaces is defined and investigated. For such spaces the analog of the Mackey-Arens theorem is proved. There are investigated cases, when $\kappa$-normability of a topological vector space…

General Topology · Mathematics 2007-05-23 S. Ludkovsky

A new universal constant of expansion has been discovered with amazing predictive power once its density-time relations have been deciphered. The new constant is kappa, the product of the gravitational constant, and the average total…

Astrophysics · Physics 2007-05-23 Charles B. Leffert

We study the connection between kappa calculus and probabilistic reasoning in diagnosis applications. Specifically, we abstract a probabilistic belief network for diagnosing faults into a kappa network and compare the ordering of faults…

Artificial Intelligence · Computer Science 2013-02-28 Adnan Darwiche , Moises Goldszmidt

For certain uncountable cardinals $\kappa$ we produce a group of cardinality $\kappa$ which is freely indecomposable, strongly $\kappa$-free, and whose abelianization is free abelian of rank $\kappa$. The construction takes place in…

Group Theory · Mathematics 2020-10-07 Samuel M. Corson

In this paper, a new concept, i.e. ultra-chaos, is proposed for the first time. Unlike a normal-chaos, statistical properties such as the probability density functions (PDF) of an ultra-chaos are sensitive to tiny disturbances. We…

General Physics · Physics 2022-03-22 Shijun Liao , Shijie Qin

We show relative to strong hypotheses that patterns of compact cardinals in the universe, where a compact cardinal is one which is either strongly compact or supercompact, can be virtually arbitrary. Specifically, we prove if V is a model…

Logic · Mathematics 2007-05-23 Arthur W. Apter