逻辑

In 1973, Katri\v{n}\'{a}k proved that regular double $p$-algebras can be regarded as (regular) double Heyting algebras by ingeniously constructing binary terms for the Heying implication and its dual in terms of pseudocomplement and its…

We investigate the generalized tree properties and guessing model properties introduced by Wei\ss\ and Viale, as well as natural weakenings thereof, studying the relationships among these properties and between these properties and other…

In this paper we construct consistent examples of subgroups of $2^\omega$ with Menger remainders which fail to have other stronger combinatorial covering properties. This answers several open questions asked by Bella, Tokgoz and Zdomskyy…

In this paper, we study some tree properties and their related indiscernibilities. First, we prove that SOP$_2$ can be witnessed by a formula with a tree of tuples holding 'arbitrary homogeneous inconsistency' (e.g., weak k-TP$_1$…

We introduce two schemes of quantifiers analogous to $I$ and $Q^\text{e.c.}$, which tell us about regular cardinals of small Cantor-Bendixson rank. We examine how the L\"owenheim-Skolem-Tarski numbers of these quantifiers interact with one…

We provide a new characterization of quasi-analyticity of Denjoy-Carleman classes, related to \emph{Wetzel's Problem}. We also completely resolve which Denjoy-Carleman classes carry \emph{sparse systems}: if the Continuum Hypothesis (CH)…

Relying on the techniques and ideas from our recent paper [13], we prove several anti-classification results for various rigidity conditions in countable abelian and nilpotent groups. We prove three main theorems: (1) the rigid abelian…

The open graph dichotomy for a subset $X$ of the Baire space ${}^\omega\omega$ states that any open graph on $X$ either admits a coloring in countably many colors or contains a perfect complete subgraph. This strong version of the open…

A Hajnal--M\'{a}t\'{e} graph is an uncountably chromatic graph on $\omega_1$ satisfying a certain natural sparseness condition. We investigate Hajnal-M\'{a}t\'{e} graphs and generalizations thereof, focusing on the existence of…

In this paper, we further investigate new construction methods for uninorms on bounded lattices via given uninorms. More specifically, we first construct new uninorms on arbitrary bounded lattices by extending a given uninorm on a…

We write $S_{\leq n}(A)$ and $\Part_{\fin}(A)$ for the set of permutations with at most $n$ non-fixed points, where $n$ is a natural number, and the set of partitions whose members are finite, respectively, of a set $A$. Among our results,…

In this paper, we investigate relationships between $|\seq(A)|$ and $|\Part_{\fin}(A)|$ in the absence of the Axiom of Choice, where $\seq(A)$ is the set of finite sequences of elements in a set $A$ and $\Part_{\fin}(A)$ is the set of…

Let $\mathcal{L}$ be a first-order two-sorted language. Let $S$ be some fixed structure. A standard structure is an $\mathcal{L}$-structure of the form $(M,S)$, where $M$ is arbitrary. When $S$ is a compact topological space (and…

Geschke, Lubarsky, and Rahn in ``Choice and the Hat Game''~\cite{choice-and-the-hat-game} generalize the classic hat game puzzle to infinitely-many players and ask whether every model of set theory without choice in which the optimal…

We find bounds for the maximal length of a sequence of distinct $\bf{\Gamma_{2n+1,m}}$-sets under $AD$ and show there is no sequence of distinct $\bf{\Gamma_{2n+1}}$-sets of length $\bf{\delta^1_{2n+3}}$. As a special case, there is no…

In this document, we study the Stone's duality theorem in the form proposed by Acosta, Balbes, Dwinger and Stone for distributive lattices. Generalice them to the context of general lattices and study some characterization of the…

This paper presents a novel possible worlds semantics, designed to elucidate the underpinnings of ultrafinitism. By constructing a careful modification of the well-known Kripke models for inuitionistic logic, we seek to extend our…

In this paper, I develop a novel version of the multiverse theory of sets called hierarchical pluralism by introducing the notion of `degrees of intentionality' of theories. The presented view is articulated for the purpose of reconciling…

This note is a reaction to Conant and Kruckman's recent preprint `Three surprising instance of dividing'. It mainly consists of an erratum to the author's paper `Forking, imaginaries and other features of ACFG', in light of the results of…

We provide choiceless proofs using infinitesimals of the global versions of Peano's existence theorem and Osgood's theorem on maximal solutions. We characterize all solutions in terms of infinitesimal perturbations. Our proofs are more…