English
Related papers

Related papers: The universal logic of repeated experiments

200 papers

We establish some similarities/analogies between uncountable cardinals or powersets and the class $V$ of all sets. They concern mainly the Boolean algebras ${\cal P}(\kappa)$, for a regular cardinal $\kappa$, and ${\cal C}(V)$ (the class of…

Logic · Mathematics 2023-03-24 Athanassios Tzouvaras

The topological reconstruction problem asks how much information about a topological space can be recovered from its point-complement subspaces. If the whole space can be recovered in this way, it is called reconstructible. Our main result…

General Topology · Mathematics 2015-01-21 Max F. Pitz

If $X$ is a topological space and $\kappa$ is a cardinal then $\mathsf{BA}_\kappa (X)$ is the statement that for each pair $A, B \subseteq X$ of $\kappa$-dense subsets there is an autohomeomorphism $h:X \to X$ mapping $A$ to $B$. In…

Logic · Mathematics 2025-03-11 Corey Bacal Switzer

The probabilistic type spaces in the sense of Harsanyi [Management Sci. 14 (1967/68) 159--182, 320--334, 486--502] are the prevalent models used to describe interactive uncertainty. In this paper we examine the existence of a universal type…

Probability · Mathematics 2007-05-23 Martin Meier

For I a proper, countably complete ideal on P(X) for some set X, can the quotient Boolean algebra P(X)/I be complete? This question was raised by Sikorski in 1949. By a simple projection argument as for measurable cardinals, it can be…

Logic · Mathematics 2008-02-03 Akihiro Kanamori , Saharon Shelah

For chaotic classical systems, the distribution of return times to a small region of phase space is universal. We propose a simple tool to investigate multiple returns in quantum systems. Numerical evidence for the baker map and kicked top…

Quantum Physics · Physics 2009-11-07 M. Fannes , P. Spincemaille

The paper settles the problem of the consistency of the existence of a single universal graph between a strong limit singular and its power. Assuming that in a model of $\mathbf{GCH}$ $\kappa$ is supercompact and the cardinals $\theta <…

Logic · Mathematics 2022-01-04 Márk Poór , Saharon Shelah

This paper shows how the classical finite probability theory (with equiprobable outcomes) can be reinterpreted and recast as the quantum probability calculus of a pedagogical or "toy" model of quantum mechanics over sets (QM/sets). There…

Quantum Physics · Physics 2015-02-05 David Ellerman

The property of countable metacompactness of a topological space gets its importance from Dowker's 1951 theorem that the product of a normal space X with the unit interval is again normal iff X is countably metacompact. In a recent paper,…

Logic · Mathematics 2024-05-29 Rodrigo Carvalho , Tanmay Inamdar , Assaf Rinot

We give an analysis over a variation of causal sets where the light cone of an event is represented by finitely branching trees with respect to any given arbitrary dynamics. We argue through basic topological properties of Cantor space that…

General Relativity and Quantum Cosmology · Physics 2023-06-07 Ahmet Çevik , Zeki Seskir

For a topological space $X$ its reflection in a class $\mathsf T$ of topological spaces is a pair $(\mathsf T X,i_X)$ consisting of a space $\mathsf T X\in\mathsf T$ and continuous map $i_X:X\to \mathsf T X$ such that for any continuous map…

General Topology · Mathematics 2021-11-01 Taras Banakh

We deal with (< kappa)-supported iterated forcing notions which are (E_0,E_1)-complete, have in mind problems on Whitehead groups, uniformizations and the general problem. We deal mainly with the successor of a singular case. This continues…

Logic · Mathematics 2016-09-07 Saharon Shelah

We use a natural forcing to construct a left-separated topology on an arbitrary cardinal kappa. The resulting left-separated space X_kappa is also 0-dimensional T_2, hereditarily Lindelof, and countably tight. Moreover if kappa is regular…

Logic · Mathematics 2007-05-23 Istvan Juhász , Saharon Shelah

In this paper for each cardinal $\kappa$ we construct an infinite $\kappa$-bounded (and hence countably compact) regular space $R_{\kappa}$ such that for any $T_1$ space $Y$ of pseudo-character $\leq\kappa$, each continuous function…

General Topology · Mathematics 2020-01-23 Serhii Bardyla , Alexander V. Osipov

In many instances in first order logic or computable algebra, classical theorems show that many problems are undecidable for general structures, but become decidable if some rigidity is imposed on the structure. For example, the set of…

Discrete Mathematics · Computer Science 2017-08-08 Emmanuel Jeandel

Usuba has asked whether the $\kappa$-mantle, the intersection of all grounds that extend to $V$ via a forcing of size ${<}\kappa$, is always a model of ZFC. We give a negative answers by constructing counterexamples where $\kappa$ is a…

Logic · Mathematics 2024-03-15 Andreas Lietz

We introduce and explore the notion of "spaces of input histories", a broad family of combinatorial objects which can be used to model input-dependent, dynamical causal order. We motivate our definition with reference to traditional partial…

Quantum Physics · Physics 2023-07-31 Stefano Gogioso , Nicola Pinzani

We develop a version of Cichon's diagram for cardinal invariants on the generalized Cantor space 2^kappa or the generalized Baire space kappa^kappa where kappa is an uncountable regular cardinal. For strongly inaccessible kappa, many of the…

Logic · Mathematics 2016-11-28 Joerg Brendle , Andrew Brooke-Taylor , Sy-David Friedman , Diana Montoya

In this paper, a modified formulation of generalized probabilistic theories that will always give rise to the structure of Hilbert space of quantum mechanics, in any finite outcome space, is presented and the guidelines to how to extend…

General Physics · Physics 2022-09-19 Raed M. Shaiia

Let $\kappa$ be a regular cardinal. Consider the Baire numbers of the spaces $(2^{\theta})_\kappa$ (functions from $\theta$ to 2 and the less than $\kappa$ topology) for various $\theta \geq \kappa$. Let l be the number of such different…

Logic · Mathematics 2008-02-03 Avner Landver