Related papers: Prikry-type forcing and minimal $\alpha$-degree
The results of this thesis allows one to replace calculations in tricategories with equivalent calculations in Gray categories (aka semistrict tricategories). In particular the rewriting calculus for Gray categories as used for example by…
Fourth - order gravity theories have received much interest in recent years thanks to their ability to provide an accelerated cosmic expansion in a matter only universe. In these theories, the Lagrangian density of the gravitational field…
A result of Kaufmann shows that if $L_\alpha$ is countable, admissible and satisfies $\Pi_n\textsf{-Collection}$, then $\langle L_\alpha, \in \rangle$ has a proper $\Sigma_{n+1}$-elementary end extension. This paper investigates to what…
We introduce a weak version of the classical length function, termed the weak length function, defined on subsets of $R$-modules over a unital ring $R$, and further consider the concept of mean weak length for $R\Gamma$-modules associated…
We prove forcing axiom equivalents of two families of weakenings of the axiom of choice: a trichotomy principle for cardinals isolated by L\'evy, ${\rm H\hskip0.05pt}_\kappa$, and ${\rm DC}_\kappa$, the principle of dependent choices…
In the derivation of the Standard Model from the axioms of Noncommutative Geometry, the scalar sector is given by a finite Dirac operator which has to satisfy the so-called \emph{first-order condition}. However, the general solution to this…
We examine an extension of General Relativity with an explicit non-minimal coupling between matter and curvature. The purpose of this work is to present an overview of the implications of the latter to various contexts, ranging from…
For a simple module $M$ over the positive part of the Virasoro algebra (actually for any simple module over some finite dimensional solvable Lie algebras $\mathfrak{a}_r$) and any $\alpha\in\C$, a class of weight modules $\mathcal {N}(M,…
We prove that the property Add$(M)\subseteq$ Prod$(M)$ characterizes $\Sigma$-algebraically compact modules if $|M|$ is not $\omega$-measurable. Moreover, under a large cardinal assumption, we show that over any ring $R$ where $|R|$ is not…
Let $M$ be a compact closed manifold of variable negative curvature. Fix an element $\operatorname{id} \neq \gamma$ in the fundamental group $\Gamma$ of $M$, and denote the set of elements in $\Gamma$ that are conjugate to $\gamma$ by…
Suppose that ${\mathcal M}$ is a model of PA and ${\mathcal N}$ is a countably generated elementary end extension of ${\mathcal M}$. Let ${\mathfrak X}$ be the set of subsets of M that are coded by ${\mathcal N}$. Then ${\mathcal M}$ has a…
We study L\"owenheim-Skolem and Omitting Types theorems in Transition Algebra, a logical system obtained by enhancing many sorted first-order logic with features from dynamic logic. The sentences we consider include compositions, unions,…
A novel general framework for the study of $\Gamma$-convergence of functionals defined over pairs of measures and energy-measures is introduced. This theory allows us to identify the $\Gamma$-limit of these kind of functionals by knowing…
We consider the hypothesis of a limiting minimal curvature in gravity as a way to construct a class of theories exhibiting late-time cosmic acceleration. Guided by the minimal curvature conjecture (MCC) we are naturally lead to a set of…
In the first part of this paper, we consider several natural axioms in urelement set theory, including the Collection Principle, the Reflection Principle, the Dependent Choice scheme and its generalizations, as well as other axioms…
We introduce a refutation graph calculus for classical first-order predicate logic, which is an extension of previous ones for binary relations. One reduces logical consequence to establishing that a constructed graph has empty extension,…
We extend the classical preferential attachment random graph model to random simplicial complexes. At each stage of the model, we choose one of the existing $k$-simplices with probability proportional to its $k$-degree. The chosen…
Based on the work of Shelah, Kellner, and T\u{a}nasie (Fund. Math., 166(1-2):109-136, 2000 and Comment. Math. Univ. Carolin., 60(1):61-95, 2019), and the recent developments in the third author's master's thesis, we develop a general theory…
We give a brief survey on the interplay between forcing axioms and various other non-constructive principles widely used in many fields of abstract mathematics, such as the axiom of choice and Baire's category theorem. First of all we…
We give criteria for subcategories of a compactly generated algebraic triangulated category to be precovering or preenveloping. These criteria are formulated in terms of closure conditions involving products, coproducts, directed homotopy…