中文
相关论文

相关论文: Duality and the pcf theory

200 篇论文

We show that every amenable group with a locally invariant partial order has a left-invariant total order (and is therefore locally indicable). We also show that if a group G admits a left-invariant total order, and H is a locally nilpotent…

群论 · 数学 2013-04-11 Peter Linnell , Dave Witte Morris

We consider the class of physical theories whose dynamics are given by natural equations, which are partial differential equations determined by a functor from the category of n-manifolds, for some n, to the category of fiber bundles,…

物理学史与哲学 · 物理学 2025-04-09 James Owen Weatherall , Eleanor March

This paper explores the options available to the anti-realist to defend a Quinean empirical under-determination thesis using examples of dualities. I first explicate a version of the empirical under-determination thesis that can be brought…

物理学史与哲学 · 物理学 2021-01-05 Sebastian De Haro

On the real numbers, the notions of a semi-decidable relation and that of an effectively enumerable relation differ. The second only seems to be adequate to express, in an algorithmic way, non deterministic physical theories, where…

计算机科学中的逻辑 · 计算机科学 2023-05-03 Gilles Dowek

In a large class of chiral gauge theories in four dimensions it was found that certain natural assumption about the bifermion condensates leads to the infrared effective theory where the 't Hooft anomaly matching conditions are satisfied in…

高能物理 - 理论 · 物理学 2024-10-03 Stefano Bolognesi , Kenichi Konishi , Andrea Luzio , Matteo Orso

We study the connection between probability distributions satisfying certain conditional independence (CI) constraints, and point and line arrangements in incidence geometry. To a family of CI statements, we associate a polynomial ideal…

交换代数 · 数学 2021-04-01 Oliver Clarke , Fatemeh Mohammadi , Harshit J. Motwani

We show that every countable ideal of degrees that are low for isomorphism is contained in a principal ideal of degrees that are low for isomorphism by adapting an exact pair construction. We further show that within the hyperimmune-free…

逻辑 · 数学 2019-09-16 Johanna N. Y. Franklin , Reed Solomon

We try to control many cardinal characteristics by working with a notion of orthogonality between two families of forcings. We show that b^+<g is consistent

逻辑 · 数学 2007-05-23 Heike Mildenberger , Saharon Shelah

We use forcing over admissible sets to show that, for every ordinal $\alpha$ in a club $C\subset\omega_1$, there are copies of $\alpha$ such that the isomorphism between them is not computable in the join of the complete $\Pi^1_1$ set…

逻辑 · 数学 2024-08-21 Noah Schweber

Hidden-variable models aim to reproduce the results of quantum theory and to satisfy our classical intuition. Their refutation is usually based on deriving predictions that are different from those of quantum mechanics. Here instead we…

量子物理 · 物理学 2015-03-05 Radu Ionicioiu , Robert B. Mann , Daniel R. Terno

An inaccessible cardinal kappa is supercompact when (kappa, lambda)-ITP holds for all lambda greater than or equal to kappa. We prove that if there is a model of ZFC with infinitely many supercompact cardinals, then there is a model of ZFC…

逻辑 · 数学 2012-05-21 Laura Fontanella

For two causal structures with the same set of visible variables, one is said to observationally dominate the other if the set of distributions over the visible variables realizable by the first contains the set of distributions over the…

机器学习 · 统计学 2025-02-24 Marina Maciel Ansanelli , Elie Wolfe , Robert W. Spekkens

Many tasks in statistical and causal inference can be construed as problems of \emph{entailment} in a suitable formal language. We ask whether those problems are more difficult, from a computational perspective, for \emph{causal}…

计算机科学中的逻辑 · 计算机科学 2023-06-02 Milan Mossé , Duligur Ibeling , Thomas Icard

We isolate a combinatorial property of capacities leading to a construction of proper forcings. Then we show that many classical capacities such as the Newtonian capacity satisfy the property.

逻辑 · 数学 2007-05-23 Jindrich Zapletal

We study a class of determinantal ideals that are related to conditional independence (CI) statements with hidden variables. Such CI statements correspond to determinantal conditions on a matrix whose entries are probabilities of events…

交换代数 · 数学 2023-01-02 Oliver Clarke , Fatemeh Mohammadi , Johannes Rauh

Let $\FF$ be a finite field of characteristics different from two. We show that no bijective map transforms permanent into determinant when the cardinality of $\FF$ is sufficiently large. We also give an example of non-bijective map when…

组合数学 · 数学 2010-03-11 Gregor Dolinar , Alexander E. Guterman , Bojan Kuzma , Marko Orel

Denote by $\continuum=2^{\aleph_0}$ the cardinal of continuum. We construct an intriguing family $(P_\alpha: \alpha\in\continuum)$ of prime $z$-ideals in $\C_0(\reals)$ with the following properties: If $f\in P_{i_0}$ for some…

环与代数 · 数学 2014-02-26 Hung Le Pham

C-cross topologies are introduced. Modifcations of the Kuratowski-Ulam Theorem are considered. Cardinal invariants add, cof, cov and non with respect to meager or nowhere dense subsets are compared. Remarks on invariants cof(nwdY) are…

一般拓扑 · 数学 2007-05-23 Andrzej Kucharski , Szymon Plewik

We make use of some observations on the core model, for example assuming $V=L [ E ]$, and that there is no inner model with a Woodin cardinal, and $M$ is an inner model with the same cardinals as $V$, then $V=M$. We conclude in this latter…

逻辑 · 数学 2021-10-27 Jouko Väänänen , Philip Welch

Causality imposes strong restrictions on the type of operators that may be observables in relativistic quantum theories. In fact, causal violations arise when computing conditional probabilities for certain partial causally connected…

量子物理 · 物理学 2009-11-07 Rodolfo Gambini , Rafael A. Porto