Related papers: Saccharinity with ccc

The purpose of this paper is to introduce justification logics based on conditional logics. We introduce a new family of logics, called conditional justification logics, which incorporates a counterfactual conditional in its language. For…

Numerical-relativity simulations with non-trivial matter configurations require initial data that satisfy the Hamiltonian and momentum constraints of the Einstein equations. We construct constraint-satisfying scalar-field initial data using…

Let R be a Dedekind domain. Enochs' solution of the Flat Cover Conjecture was extended as follows: (*) If C is a cotorsion pair generated by a class of cotorsion modules, then C is cogenerated by a set. We show that (*) is the best result…

We make use of a finite support product of $\omega_1$ clones of the Jensen minimal $\varPi^1_2$ singleton forcing to obtain a model of ZFC in which every non-empty lightface analytically definable set of reals contains a lightface…

We study the spectrum of forcing notions between the iterations of $\sigma$-closed followed by ccc forcings and the proper forcings. This includes the hierarchy of $\alpha$-proper forcings for indecomposable countable ordinals as well as…

This paper answers three questions posed by the first author. In Theorem 2.6 we show that the family of strong measure zero subsets of {}^{omega_1}2 is 2^{aleph_1}-additive under GMA and CH. In Theorem 3.1 we prove that the generalized…

We prove various iteration theorems for forcing classes related to subproper and subcomplete forcing, introduced by Jensen. In the first part, we use revised countable support iterations, and show that 1) the class of subproper,…

We investigate classes of Boolean algebras related to the notion of forcing that adds Cohen reals. A >>Cohen algebra<< is a Boolean algebra that is dense in the completion of a free Boolean algebra. We introduce and study generalizations of…

The group of simplicial automorphisms of a Tits-Kac-Moody ininite building of thickness q associated to a cocompact reflexion group with fundamental domain a simplex, is Kazhdan for q sufficiently large. Thus we obtain families of new…

Taking symmetric extensions can be considered as a generalisation of forcing, which produces a richer multiverse of models with and without the axiom of choice. We can study the structure of this multiverse using modal logic. In particular,…

We call a group FJ if it satisfies the $K$- and $L$-theoretic Farrell-Jones conjecture with coefficients in $\mathbb Z$. We show that if $G$ is FJ, then the simple Borel conjecture (in dimensions $\ge 5$) holds for every group of the form…

This paper presents two new constructions related to singular solutions of polynomial systems. The first is a new deflation method for an isolated singular root. This construc-tion uses a single linear differential form defined from the…

In this paper the concept of compatible weak factorization systems in general categories is introduced as a counterpart of compatible complete cotorsion pairs in abelian categories. We describe a method to construct model structures on…

Assuming that every set is constructible, we find a $\Pi^1_1$ maximal cofinitary group of permutations of $\mathbb N$ which is indestructible by Cohen forcing. Thus we show that the existence of such groups is consistent with arbitrarily…

In this paper, motivated by studying special values of zeta functions attached to finite type F_p-schemes, we introduce a category of ``arithmetic C(S^1,R)-modules'' attached to any Dedekind ring R, and compute the 0th K-group of this…

We note that some form of the condition "$p_1, p_2$ have a $\leq_{\mathbb{Q}}$-lub in $\mathbb{Q}$" is necessary in some forcing axiom for $\lambda$-complete $\mu^+$-c.c. forcing notions. We also show some versions are really stronger than…

We use the framework of Abstract Elementary Classes ($\mathrm{AEC}$s) to introduce a new Construction Principle $\mathrm{CP}(\mathbf{K},\ast)$, which generalises the Construction Principle of Eklof, Mekler and Shelah and allows for many…

Using the method of modular-invariant differential equations, we classify a family of Rational Conformal Field Theories with two and three characters having no Kac-Moody algebra. In addition to unitary and non-unitary minimal models, we…

The problem we are considering came up in connection with the classification of singularities in positive characteristic. Then it is important that certain invariants like the determinacy can be bounded simultaneously in families of formal…

In this paper we will prove a series of $q$-identities suggested by the realisation of certain conformal field theories by so-called `coupled free fermions'. We will consider $q$-series arising from coupled free fermions constructed by the…