逻辑

The outlines of a "Galois theory" for bimeromorphic geometry is here developed, via the study of model-theoretic definable binding groups in the theory CCM of compact complex spaces. As an application, a structure theorem about principal…

In this article, we conduct a detailed study of \emph{finitely additive measures} (fams) in the context of Boolean algebras, focusing on three specific topics: freeness and approximation, existence and extension criteria, and integration…

We prove new instances of Halin's end degree conjecture (HC) in ZFC. In particular, we show that there is a proper class of cardinals kappa for which Halin's conjecture holds, answering two questions posed by Geschke, Kurkofka, Melcher, and…

A base of a topological space is called {\em Noetherian } iff it does not contain an infinite strictly $\subseteq$-increasing chain. We show that minimal cardinality of a regular spaces without a Noetherian base is the first strongly…

We define and axiomatize three new logics based on the connexive logic $\mathsf{C}$, the modal logic $\mathsf{CnK}$ and the conditional logics $\mathsf{CnCK}$ and $\mathsf{CnCK}_R$. These logics display strong connexivity properties and are…

Following a research line proposed by Hrushovski in his work on pseudofinite fields with an additive character, we investigate the theory $\mathrm{ACFA}^{+}$ which is the model companion of the theory of difference fields with an additive…

We investigate the cardinality $\mathfrak n_{\dim}(\mathcal M)$ of the sets of dimension functions on weakly o-minimal structures $\mathcal M$ admitting strong cell decomposition.

In computable topology, a represented space is called computably discrete if its equality predicate is semidecidable. While any such space is classically isomorphic to an initial segment of the natural numbers, the computable-isomorphism…

We prove that every Polish group with more than two elements admits a non-trivial topological group automorphism. As a consequence, a hypothetical uniquely homogeneous Polish space with more than two points cannot be a semitopological…

A partial order $(P,\le)$ admits a jump operator if there is a map $j\colon P \to P$ that is strictly increasing and weakly monotone. Despite its name, the jump in the Weihrauch lattice fails to satisfy both of these properties: it is not…

We study classes of countable graphs where every member does not contain a given finite graph as an induced subgraph -- denoted by $\mathsf{Free}(\mathcal{G})$ for a given finite graph $\mathcal{G}$. Our main results establish a structural…

The $\pi$-weight spectrum for countable regular Fr\'echet-Urysohn spaces is the set of uncountable cardinals that are equal to the $\pi$-weight for some such space. We determine this $\pi$-weight spectrum in the standard Miller rational…

It was shown by Visser that Peano Arithmetic has the property that any two bi-interpretable extensions of it (in the same language) are equivalent. Enayat proposed to refer to this property of a theory as tightness and to carry out a more…

It is shown that a natural notion of congruence permutability for quasivarieties already implies ``being a variety''. The result follows immediately from [3] and the sole aim of this note is to state it explicitly, together with a…

We investigate the notion of strong measure zero sets in the context of the higher Cantor space $2^\kappa$ for $\kappa$ at least inaccessible. Using an iteration of perfect tree forcings, we give two proofs of the relative consistency of \[…

In this note we reproduce Johnson's analysis of $W_2$-topologies on fields of characteristic 2, which was originally stated for fields of characteristic different than 2. Following his framework, we prove that the canonical topology of an…

In this paper, we study a special type of ultrafilter which we call Shelah ultrafilter. We show that it is possible to add a Shelah ultrafilter using a special forcing notion. We also show that Shelah ultrafilters turn out to be…

A simple \(P_\lambda\)-point on a regular cardinal \(\kappa\) is a uniform ultrafilter on \(\kappa\) with a mod-bounded decreasing generating sequence of length \(\lambda\). We prove that if there is a simple $P_\lambda$-point ultrafilter…

We continue the study of the pseudo-intersection property with respect to an ideal introduced in \cite{TomNatasha2}. Our theory applies to the study of the Tukey types of general sums of ultrafilters, which, as evidenced by the results of…

We continue the study of the Galvin property from \cite{bgs} and \cite{Benhamou2}. In particular, we deepen the connection between certain diamond-like principles and non-Galvin ultrafilters. We also show that any Dodd sound non p-point…