Abstract We study higher analogues of the classical independence number on $\omega $ . For $\kappa regular uncountable, we denote by $i(\kappa )$ minimal size a maximal -independent family. establish ZFC relations between and standard some cardinal characteristics, e.g., $\mathfrak {r}(\kappa )\leq \mathfrak {i}(\kappa {d}(\kappa measurable, assuming that $2^{\kappa }=\kappa ^{+}$ construct fam...

ULYSSES is a python package that calculates the baryon asymmetry produced from leptogenesis in context of type-I seesaw mechanism. The code solves semi-classical Boltzmann equations for points model parameter space as specified by user. We provide selection predefined well plugin mechanism externally provided models leptogenesis. Furthermore, provides tools multi-dimensional exploration. emphas...

While certification has been successful in the context of satisfiablity solving, with most state-of-the-art solvers now able to provide proofs unsatisfiability, maximum satisfiability, such techniques are not yet widespread. In this paper, we present QMaxSATpb, an extension QMaxSAT that can produce optimality VeriPB proof format, which itself builds on well-known cutting planes system. Our expe...