Related papers: Reflection Principles in ZFU
We show that the theory ZFC-, consisting of the usual axioms of ZFC but with the power set axiom removed-specifically axiomatized by extensionality, foundation, pairing, union, infinity, separation, replacement and the assertion that every…
Denotational models of type theory, such as set-theoretic, domain-theoretic, or category-theoretic models use (actual) infinite sets of objects in one way or another. The potential infinite, seen as an extensible finite, requires a dynamic…
The standard axioms of set theory, the Zermelo-Fraenkel axioms (ZFC), do not suffice to answer all questions in mathematics. While this follows abstractly from Kurt G\"odel's famous incompleteness theorems, we nowadays know numerous…
In this article, we establish the Freidlin-Wentzell type large deviation principle and central limit theorem for stochastic fractional conservation laws with small multiplicative noise in kinetic formulation framework. The weak convergence…
This paper is an exploration of the nuanced realm of reference frames within the framework of General Relativity. Our analysis exposes a violation of Earman's SP1 principle in scenarios involving fields that are dynamically uncoupled, a…
In this paper we propose an interpretation for self-referential propositions in a "meta-model" N* of ZF. This meta-model N* is considered as an informal model of arithmetic that mathematicians often use when working with number theory.…
The field-dependent equilibrium thermodynamics is derived with two methods: either by using the potential formalism either by the statistical method. Therefore, Pontrjagin's extremum principle of control theory is applied to an extended…
Consider a decision problem whose instance is a function. Its degree of undecidability, measured by the corresponding class of the arithmetic (or Kleene-Mostowski) hierarchy hierarchy, may depend on whether the instance is a partial…
Contrary to common belief, common belief is not KD4. If individual belief is KD45, common belief does indeed lose the 5 property and keep the D and 4 properties -- and it has none of the other commonly considered properties of knowledge and…
Iterated reflection principles have been employed extensively to unfold epistemic commitments that are incurred by accepting a mathematical theory. Recently this has been applied to theories of truth. The idea is to start with a collection…
Under the assumption of small violations of choice with seed $S$ ($\mathsf{SVC}(S)$), the failure of many choice principles reflect to to local properties of $S$, which can be a helpful characterisation for preservation proofs. We…
The standard description of material media in electromagnetism is based on multipoles. It is well known that these moments depend on the point of reference chosen, except for the lowest order. It is shown that this "origin dependence" is…
Modifications of the authors' previously-published, generalized, lumped-element, reflectionless filter topologies are presented which remove the original constraints on the relative values of its prototype parameters. Thus, any transfer…
We provide, for any regular uncountable cardinal $\kappa$, a new argument for Pincus' result on the consistency of $\mathrm{ZF}$ with the higher dependent choice principle $\mathrm{DC}_{<\kappa}$ and the ordering principle in the presence…
Recent works have investigated the problem of the conflict redistribution in the fusion rules of evidence theories. As a consequence of these works, many new rules have been proposed. Now, there is not a clear theoretical criterion for a…
The universal behaviour of the directed percolation universality class is well understood, both the critical scaling as well as finite size scaling. This article focuses on the block (finite size) scaling of the order parameter and its…
We propose an extension of Aczel's constructive set theory CZF by an axiom for inductive types and a choice principle, and show that this extension has the following properties: it is interpretable in Martin-Lof's type theory (hence…
We study differential forms invariant under a finite reflection group over a field of arbitrary characteristic. In particular, we prove an analogue of Saito's freeness criterion for invariant differential 1-forms. We also discuss how…
We develop a quantitative description of giant asymmetry in reflectance, recently observed in semicontinuous metal films. The developed scaling-theory based technique reproduces the spectral properties of semicontinuous composites, as well…
As in the case of minimal surfaces in the Euclidean 3-space, the reflection principle for maximal surfaces in the Lorentz-Minkowski 3-space asserts that if a maximal surface has a spacelike line segment $L$, the surface is invariant under…