Related papers: A Sacks indestructible co-analytic maximal eventua…
We construct a family of independent sets for finite, atomic, and graded lattices, extending the well-known cryptomorphism between geometric lattices and matroids. This construction leads to an embedding theorem into geometric lattices that…
We develop a theory of real numbers as rational Cauchy sequences, in which any two of them, $(a_n)$ and $(b_n)$, are equal iff $\lim\,(a_n-b_n)=0$. We need such reals in the Countable Mathematical Analysis ([4]) which allows to use only…
We define a new class of racks, called finitely stable racks, which, to some extent, share various flavors with Abelian groups. Characterization of finitely stable Alexander quandles is established. Further, we study twisted rack dynamical…
Improving and clarifying a construction of Horowitz and Shelah, we show how to construct (in $\textsf{ZF}$, that is, without using the Axiom of Choice) maximal cofinitary groups. Among the groups we construct, one is definable by a formula…
In various articles, it is said that the class of all soft topologies on a common universe forms a complete lattice, but in this paper, we prove that it is a complete lattice. Some soft topologies are maximal and some are minimal with…
We study maximal independent families (m.i.f.) in the projective hierarchy. We show that (a) the existence of a $\boldsymbol{\Sigma}^1_2$ m.i.f. is equivalent to the existence of a $\boldsymbol{\Pi}^1_1$ m.i.f., (b) in the Cohen model,…
We consider some examples of quantum super-integrable systems and the associated nonlinear extensions of Lie algebras. The intimate relationship between super-integrability and exact solvability is illustrated. Eigenfunctions are…
Using the KKS inequalities, we establish bounds on the numbers of $k$-sets in the increasing families generated by self-dual clutters (i.e., clutters $\mathcal{A}$ that coincide with the blockers $\mathfrak{B}(\mathcal{A})$) on their ground…
We give a general notion of combinatory completeness with respect to a faithful cartesian club and use it systematically to obtain characterisations of a number of different kinds of applicative system. Each faithful cartesian club…
The theory of partition congruences has been a fascinating and difficult subject for over a century now. In attempting to prove a given congruence family, multiple possible complications include the genus of the underlying modular curve,…
Cardinal characteristics of the continuum represent the boundaries in size between the countable and the continuum with respect to certain properties of sets. They are often defined as the minimum sizes of families of reals that meet some…
We study acts and modules of maximal growth over finitely generated free monoids and free associative algebras as well as free groups and free group algebras. The maximality of the growth implies some other specific properties of these acts…
We employ the notions of `sequential function' and `interrogation' (dialogue) in order to define new partial combinatory algebra structures on sets of functions. These structures are analyzed using J. Longley's preorder-enriched category of…
For every $n \in \mathbb{N}$, we construct a variety of Heyting algebras, whose $n$-generated free algebra is finite but whose $(n+1)$-generated free algebra is infinite.
The collection of branches (maximal linearly ordered sets of nodes) of the tree ${}^{<\omega}\omega$ (ordered by inclusion) forms an almost disjoint family (of sets of nodes). This family is not maximal -- for example, any level of the tree…
In this article, we construct infinite families $(G_n)_{n \in \mathbb{N}}$ of finite simple groups $G_n$ of Lie type, such that the rank of $G_n$ strictly increases as $n$ tends to infinity, and such that each $G_n$ is a quotient of the…
Some new infinite families of simple, indecomposable $m$-factorizations of the complete multigraph $\lambda K_v$ are presented. Most of the constructions come from finite geometries.
In a previous paper of the second author with K. Ono, surprising multiplicative properties of the partition function were presented. Here, we deal with $k$-regular partitions. Extending the generating function for $k$-regular partitions…
If T is an iteration tree on K and F is a countably certified extender that coheres with the final model of T, then F is on the extender sequence of the final model of T. Several applications of maximality are proved, including: o K…
A $p$-group $G$ is called *ab-maximal* if $|H : H'| < |G:G'|$ for every proper subgroup $H$ of $G$. Similarly, $G$ is called *$d$-maximal* if $d(H) < d(G)$ for every proper subgroup $H$ of $G$, where $d(H)$ is the minimal number of…