相关论文: Parametrized $\diamondsuit$ principles

We show how to systematically derive the complete set of the gauge transformations of different types of the gauge invariant models, which are the chiral Schwinger and CP$^1$ with Chern-Simons term, in the Lagrangian Formalism.

We propose a Curvature Principle to describe the dynamics of interacting universes in a multi-universe scenario and show, in the context of a simplified model, how interaction drives the cosmological constant of one of the universes toward…

We show that classical particle mechanics (Hamiltonian and Lagrangian consistent with relativistic electromagnetism) can be derived from three fundamental assumptions: infinite reducibility, deterministic and reversible evolution, and…

We show that the analogues of the Hamkins embedding theorems, proved for the countable models of set theory, do not hold when extended to the uncountable realm of $\omega_1$-like models of set theory. Specifically, under the $\diamondsuit$…

We discuss some well-known compactness principles for uncountable structures of small regular sizes ($\omega_n$ for $2 \le n<\omega$, $\aleph_{\omega+1}$, $\aleph_{\omega^2+1}$, etc.), consistent from weakly compact (the size-restricted…

The gauge-invariant Chern-Simons-type Lorentz- and CPT-breaking term is here re-assessed and issues like causality, unitarity, spontaneous gauge-symmetry breaking are investigated. Moreover, we obtain a minimal extension of such a system to…

In this paper, we analyze processes of conjecture generation in the context of open problems proposed in a dynamic geometry environment, when a particular dragging modality, maintaining dragging, is used. This involves dragging points while…

We review recent efforts to machine learn relations between knot invariants. Because these knot invariants have meaning in physics, we explore aspects of Chern-Simons theory and higher dimensional gauge theories. The goal of this work is to…

In [CMRM24], it was proved that it is relatively consistent that \emph{bounding number} $\mathfrak{b}$ is smaller than the uniformity of $\mathcal{MA}$, where $\mathcal{MA}$ denotes the ideal of the meager-additive sets of $2^{\omega}$. To…

We study the discrete causal set geometry of a small causal diamond in a curved spacetime using the average abundance of k-element chains or total orders in the underlying causal set C. We begin by obtaining the first order curvature…

We introduce a new approach to modeling uncertainty based on plausibility measures. This approach is easily seen to generalize other approaches to modeling uncertainty, such as probability measures, belief functions, and possibility…

This paper presents a sound and completecalculus for causal relevance, based onPearl's functional models semantics.The calculus consists of axioms and rulesof inference for reasoning about causalrelevance relationships.We extend the set of…

We extend the applications of the techniques used in Arch Math Logic 52:261-278, 2013, to present various examples of consistency results where some cardinal invariants of the continuum take arbitrary regular values with the size of the…

A causal set is a partially ordered set on a countably infinite ground-set such that each element is above finitely many others. A natural extension of a causal set is an enumeration of its elements which respects the order. We bring…

We survey some results that provide different versions of classical results through different summability methods. Specifically, in order to adapt such classical results, we analyze which properties should satisfy the summability methods.…

In this short presentation, we address two somewhat separate issues. The first one deals with the establishment (vs discovery) of what we call "physical laws". The discussion runs on a "successive approximations" approach, suited to our own…

We propose a novel foundation for calculus that focuses on the notion of approximations while avoiding the use of limits altogether. Continuity is defined as approximation at a point, while differentiability is defined as approximation with…

Recently, Hang Liu and Hourong Qin came up with a numerical observation about the relation between the Mahler measures of one hyperelliptic and two elliptic families. The discoverers foresee a proof of the identities "by extending ideas in"…

We study a collection of discrete Markov chains related to the causal set approach to modeling discrete theories of quantum gravity. The transition probabilities of these chains satisfy a general covariance principle, a causality principle,…

We present a general framework and procedure to derive uncertainty relations for observables of quantum systems in a covariant manner. All such relations are consequences of the positive semidefiniteness of the density matrix of a general…