Related papers: GCH implies AC, a Metamath Formalization
The paper contains an alternative proof of M. Kontsevich Formality Theorem.
A new axiom is proposed, the Ground Axiom, asserting that the universe is not a nontrivial set forcing extension of any inner model. The Ground Axiom is first-order expressible, and any model of ZFC has a class forcing extension which…
This is supplementary material to "Realizations of a special class of admittances with strictly lower complexity than canonical forms" [1], which presents the detailed proofs of some results. For more background information, refer to…
Whilst Power Kripke-Platek set theory, KPP, shares many properties with ordinary Kripke-Platek set theory, KP, in several ways it behaves quite differently from KP. This is perhaps most strikingly demonstrated by a result, due to Mathias,…
A momentum dependent projection of the Wegner-Hougton equation is derived for a scalar theory coupled to an external field. This formalism is useful to discuss the phase diagram of the theory. In particular we study some properties of the…
In this article, we prove a representation theorem that any generic line arrangement in the plane over an ordered field which has global cyclicity can be represented isomorphically by a line arrangement with a given set of distinct slopes…
We prove the following generalization of the Cartwright-Littlewood fixed point theorem. Suppose $ h\colon~{\mathbb R}^{2}\to{\mathbb R}^{2} $ is an orientation preserving planar homeomorphism, and $ X $ is an acyclic continuum. Let $ C $ be…
The concept of the generalized continuity equation (GCE) was recently introduced in [J. Phys. A: Math. and Theor. {\bf 52}, 1552034 (2019)], and was derived in the context of $N$ independent Schr\"{o}dinger systems. The GCE is induced by a…
Let f be a modular form with complex multiplication. If f has critical slope, then Coleman's classicality theorem implies that there is a p-adic overconvergent generalized Hecke eigenform with the same Hecke eigenvalues as f. We give a…
We investigate an extension of nominal many-sorted signatures in which abstraction has a form of instantiation, called generalised concretion, as elimination operator (similarly to lambda-calculi). Expressions are then classified using a…
In the context of $\mathsf{ZF}$, we analyze a version of Hindman's finite unions theorem on infinite sets, which normally requires the Axiom of Choice to be proved. We establish the implication relations between this statement and various…
Assuming an abstract comparison principle called the Ultrapower Axiom, which is motivated by the comparison process of inner model theory and generalizes the statement that the Mitchell order is linear on normal ultrafilters, we…
The Graded Classification Conjecture (GCC) states that the pointed $K_0^{\operatorname{gr}}$-group is a complete invariant of the Leavitt path algebras of finite graphs when these algebras are considered with their natural grading by…
We establish abstract Adams isomorphisms in an arbitrary equivariantly presentable equivariantly semiadditive global category. This encompasses the well-known Adams isomorphism in equivariant stable homotopy theory, and applies more…
We provide a proof, in $ZFC$, of Shelah's eventual categoricity conjecture for abstract elementary classes (AEC's). Moreover, assuming in addition the Singular Cardinal Hypothesis ($SCH$), we prove a direct generalization to the more…
Four constructions result from a desire to create enhancements to Cantor's infinite real set cardinality. Each continues to keep Cantor's cardinality formulation in place while providing new comparisons of arbitrary infinite sets. To…
A new, configuration-space picture of a formalism of group quantization, the GAQ formalism, is presented in the context of a previous, algebraic generalization. This presentation serves to make a comprehensive discussion in which other…
In this work we generalize standard Decision Theory by assuming that two outcomes can also be incomparable. Two motivating scenarios show how incomparability may be helpful to represent those situations where, due to lack of information,…
Let K be an Abstract Elemenetary Class satisfying the amalgamation and the joint embedding property, let \mu be the Hanf number of K. Suppose K is tame. MAIN COROLLARY: (ZFC) If K is categorical in a successor cardinal bigger than…
We prove some general theorems for preserving Dependent Choice when taking symmetric extensions, some of which are unwritten folklore results. We apply these to various constructions to obtain various simple consistency proofs.