逻辑

We will give an overview of four families of cardinal characteristics defined on subspaces $\prod_{\alpha\in\kappa}b(\alpha)$ of the generalised Baire space ${}^\kappa\kappa$, where $\kappa$ is strongly inaccessible and…

In [CMRM24], it was proved that it is relatively consistent that \emph{bounding number} $\mathfrak{b}$ is smaller than the uniformity of $\mathcal{MA}$, where $\mathcal{MA}$ denotes the ideal of the meager-additive sets of $2^{\omega}$. To…

When working in NF, [1] there is a sense that there are more non-Cantorian sets than Cantorian sets. But it is not that immediate result as one expects, since they are externally equinumerous, and the qualification "Cantorian" is not…

We prove that the category of ordered abelian groups equipped with an automorphism has the Amalgamation Property, deduce that their inductive theory is NIP in the sense of positive logic, and initiate a development of the latter framework.…

Motivated by the theory of locally definable groups, we study the theory of $K$-vector spaces with a predicate for the union $X$ of an infinite family of independent subspaces. We show that if $K$ is infinite then the theory is complete and…

We exhibit a theory where definable types lack the amalgamation property.

We study the monoid of global invariant types modulo domination-equivalence in the context of o-minimal theories. We reduce its computation to the problem of proving that it is generated by classes of 1-types. We show this to hold in Real…

We compute the domination monoid in the theory DMT of dense meet-trees. In order to show that this monoid is well-defined, we prove weak binarity of DMT and, more generally, of certain expansions of it by binary relations on sets of open…

We answer some questions about graphs which are reducts of countable models of Anti-Foundation, obtained by considering the binary relation of double-membership $x\in y\in x$. We show that there are continuum-many such graphs, and study…

We investigate the interaction between the product of invariant types and domination-equivalence. We present a theory where the latter is not a congruence with respect to the former, provide sufficient conditions for it to be, and study the…

This article explores the concept of absoluteness in the context of mathematical analysis, focusing specifically on the Riemann integral on $\mathbb{R}^{n}$. In mathematical logic, "absoluteness" refers to the invariance of the truth value…

Under the assumption of small violations of choice with seed $S$ ($\mathsf{SVC}(S)$), the failure of many choice principles reflect to to local properties of $S$, which can be a helpful characterisation for preservation proofs. We…

This paper aims to incorporate the notion of quantifier-free formulas modulo a first-order theory and the stratification of formulas by quantifier alternation depth modulo a first-order theory into the algebraic treatment of classical…

We provide a complete axiomatization of modal inclusion logic - team-based modal logic extended with inclusion atoms. We review and refine an expressive completeness and normal form theorem for the logic, define a natural deduction proof…

We study the Ramsey property for vector spaces over finite fields with bilinear forms. We prove that symplectic spaces over finite fields do not have the Ramsey property. We also describe vector spaces with skew symmetric bilinear forms and…

If $X$ is a topological space and $\kappa$ is a cardinal then $\mathsf{BA}_\kappa (X)$ is the statement that for each pair $A, B \subseteq X$ of $\kappa$-dense subsets there is an autohomeomorphism $h:X \to X$ mapping $A$ to $B$. In…

Following \cite{bagaria2019large}, given cardinals $\kappa<\lambda$, we say $\kappa$ is a club $\lambda$-Berkeley cardinal if for every transitive set $N$ of size $<\lambda$ such that $\kappa\subseteq N$, there is a club $C\subseteq \kappa$…

We give a definition of representability for distributive quasi relation algebras (DqRAs). These algebras are a generalisation of relation algebras and were first described by Galatos and Jipsen (2013). Our definition uses a construction…

The goal of this paper is to present an approach to Hod Pair Capturing (HPC). $HPC$ is the most outstanding open problem of descriptive inner model theory. More specifically, we introduce two principles, the Direct Limit Independence and…

This work is concerned with an axiom introduced by Todorc\v{e}vi\'{c} in \cite{stevo} that constitutes a Ramsey-like statement regarding the topology of the reals. Our aim is to explain the axiom in detail, give some interesting…