English
Related papers

Related papers: Measuring club-sequences with a large continuum

200 papers

An alternative mathematics based on qualitative plurality of finiteness is developed to make non-standard mathematics independent of infinite set theory. The vague concept "accessibility" is used coherently within finite set theory whose…

General Mathematics · Mathematics 2012-06-14 Toru Tsujishita

The inevitable noise in real measurements motivates the problem to continuously quantify the similarity between rigid objects such as periodic time series and proteins given by ordered points and considered up to isometry maintaining…

Computational Geometry · Computer Science 2022-07-19 Vitaliy Kurlin

We characterize the situation of having many normal measures on a measurable cardinal. We show the plausibility of having many normal measures on each compact cardinal.

Logic · Mathematics 2016-02-10 Shimon Garti

We study the influence of the existence of large cardinals on the existence of wellorderings of power sets of infinite cardinals $\kappa$ with the property that the collection of all initial segments of the wellordering is definable by a…

Logic · Mathematics 2017-04-04 Philipp Lücke , Philipp Schlicht

We prove that if there is an elementary embedding from the universe to itself, then there is a proper class of measurable successor cardinals.

Logic · Mathematics 2021-11-03 Gabriel Goldberg

It is argued that recent claims by A. Hobson that standard quantum theory has no measurement problem cannot be sustained. Moreover, it is pointed out that taking the reduced density operator of a component system as an epistemic…

Quantum Physics · Physics 2013-08-23 R. E. Kastner

There are several forms of irreducibility in computing systems, ranging from undecidability to intractability to nonlinearity. This paper is an exploration of the conceptual issues that have arisen in the course of investigating speed-up…

Computational Complexity · Computer Science 2011-06-24 Hector Zenil , Fernando Soler-Toscano , Joost J. Joosten

According to Heisenberg's uncertainty relation, there is an ultimate limit to how precisely we may predict the outcome of position and momentum measurements on a quantum system. We show that this limit may be violated by an arbitrarily…

Quantum Physics · Physics 2021-08-18 Maryam Khanahmadi , Klaus Mølmer

The Schrodinger equation is incomplete, inherently unable to explain the collapse of the wavefunction caused by measurement; a fundamental issue known as the quantum measurement problem. Quantum mechanics is generally constrained by the…

Quantum Physics · Physics 2024-12-19 Kyoung Yeon Kim

We study sequential measurement scenarios where the system is repeatedly subjected to the same measurement process. We first provide examples of such repeated measurements where further repetitions of the measurement do not increase our…

Quantum Physics · Physics 2016-09-14 Erkka Haapasalo , Teiko Heinosaari , Yui Kuramochi

The recent paper by Mohr and Phillips (arXiv:1409.2794) describes several problems relating to the treatment of angle measurement within SI, the unit hertz, and quantities that can be considered countable (rather than measureable). However,…

Data Analysis, Statistics and Probability · Physics 2015-05-28 Paul Quincey

This article critically reappraises arguments in support of Cantor's theory of transfinite numbers. The following results are reported: i) Cantor's proofs of nondenumerability are refuted by analyzing the logical inconsistencies in…

General Mathematics · Mathematics 2010-02-25 J. A. Perez

Cosmological fine-tuning has traditionally been associated with the narrowness of the intervals in which the parameters of the physical models must be located to make life possible. A more thorough approach focuses on the probability of the…

History and Philosophy of Physics · Physics 2022-04-26 Daniel Andrés Díaz-Pachón , Ola Hössjer , Robert J. Marks

It is well known that a quantum correlated probe can yield better precision in estimating an unknown parameter than classically possible. However, how such a quantum probe should be measured remains somewhat elusive. We examine the role of…

Quantum Physics · Physics 2015-02-20 K. Micadei , D. A. Rowlands , F. A. Pollock , L. C. Céleri , R. M. Serra , K. Modi

We consider the problem of deciding the satisfiability of quantifier-free formulas in the theory of finite sets with cardinality constraints. Sets are a common high-level data structure used in programming; thus, such a theory is useful for…

Logic in Computer Science · Computer Science 2023-06-22 Kshitij Bansal , Clark Barrett , Andrew Reynolds , Cesare Tinelli

An optimal extension of the Jensen covering lemma, within the limits imposed by Prikry forcing, is proved. If L[E] is an "iterable" weasel with no measurable cardinals, then either L[E] has "indiscernibles", or every uncountable set of…

Logic · Mathematics 2016-09-07 Ernest Schimmerling , W. Hugh Woodin

We make two contributions to the problem of estimating the $L_1$ calibration error of a binary classifier from a finite dataset. First, we provide an upper bound for any classifier where the calibration function has bounded variation.…

It is possible in principle to construct quantum mechanical observables and unitary operators which, if implemented in physical systems as measurements and dynamical evolution, would contradict the Church-Turing thesis, which lies at the…

Quantum Physics · Physics 2007-05-23 R. Srikanth

We study uncountable structures similar to the Fra\"iss\'e limits. The standard inductive arguments from the Fra\"iss\'e theory are replaced by forcing, so the structures we obtain are highly sensitive to the universe of set theory. In…

Logic · Mathematics 2024-12-19 Ziemowit Kostana

An example of Cornalba and Shiffman from 1972 disproves in dimension two or higher a classical prediction that the count of zeros of holomorphic self-mappings of the complex linear space should be controlled by the maximum modulus function.…

Complex Variables · Mathematics 2024-11-20 Lev Buhovsky , Iosif Polterovich , Leonid Polterovich , Egor Shelukhin , Vukašin Stojisavljević