逻辑
We obtain a small ultrafilter number at $\aleph_{\omega_1}$. Moreover, we develop a version of the overlapping strong extender forcing with collapses which can keep the top cardinal $\kappa$ inaccessible. We apply this forcing to construct…
We improve Galvin's Theorem for ultrafilters which are p-point limits of p-points. This implies that in all the canonical inner models up to a superstrong cardinal, every $\kappa$-complete ultrafilter over a measurable cardinal $\kappa$…
We develop topological dynamics for the group of automorphisms of a monster model of any given theory. In particular, we find strong relationships between objects from topological dynamics (such as the generalized Bohr compactification…
We investigate the $\sigma$-porosity of certain known ideals of subsets of natural numbers. Porosity is a notion of smallness in metric spaces that is stronger than nowhere density. Analogously, $\sigma$-porosity is a strengthening of…
Generalized Higman's Theorem is the direct counterpart of Higman's Theorem that asserts the closure of the class of \emph{better} quasi-orders, instead of the class of \emph{well} quasi-orders, under the construction $P\mapsto P^{<\omega}$…
I shall explore various senses in which ultrafinitism can be fruitfully understood as engaging with a potentialist perspective in mathematics. First, I explain that every model $M$ of the theory of finite arithmetic -- arithmetic with a…
We show how suitable extensions $(L|K,v)$ of prime degree of valued fields give rise to definable coarsenings of the valuation rings of $L$ and $K$. In the case of Artin-Schreier and Kummer extensions with wild ramification, we can also…
We give a survey on recent developments in the model theory of valued fields since the introduction of the notion of ``tame valued field'', and of the modifications and generalizations of this notion.
The main result of this paper shows that a weak form of Tower Sealing holds in a generic extension of hod mice with a strong cardinal and a proper class of Woodin cardinals. We show Tower Sealing fails in such extensions in general. We show…
We show how to build models of Synthetic Algebraic Geometry over rings k such that finitely presented k-algebra have a decidable equality. The construction is done in a constructive and weak (same proof theoretic strength as dependent type…
The Axiom of Plenitude asserts that every ordinal is equinumerous with a set of urelements, while its stronger form, Plenitude$^+$, extends it to all sets. We investigate these two axioms within ZF set theory with urelements. Assuming that…
Esakia's theorem states that Grzegorczyk's logic is the greatest modal companion of intuitionistic propositional calculus. We prove that already the one-variable fragment of intuitionistic predicate calculus does not have a greatest modal…
We prove a computable version of the Hall Harem Theorem where the matching realizes a unary function with controlled sizes of cycles. We apply it to non-amenable computable coarse spaces. As a result, we obtain a computable version of the…
The celebrated theorem of Kechris, Pestov and Todor\v{c}evi\'c connecting structural Ramsey theory with topological dynamics has as a consequence that the Fra\"{\i}ss\'e limit of a Ramsey class of non-trivial finite relational structures…
We give an algebraic proof of the criterion for hereditary structural completeness of an intermediate logic, or, equivalently, of the primitiveness of a variety of Heyting algebras.
There is no recursively enumerable sequence of sufficiently strong 2-consistent r.e. theories such that each proves the $2$-consistency of the next. Montalb\'an and Shavrukov independently asked whether this result generalizes to…
The back-and-forth relations $M\leq_\alpha N$ are central to computable structure theory and countable model theory. It is well-known that the relation $\{(M,N) : M \leq_\alpha N\}$ is (lightface) $\Pi^0_{2\alpha}$. We show that this is…
We prove that for every ordered abelian group $G$ there exists a non-trivial ordered abelian group $H$ such that $G\preccurlyeq H\oplus G$ with the lexicographic order, and give a first-order characterization of ordered abelian group $G$…
We show that there are exactly five quasivarieties of Sugihara algebras with the amalgamation property, and that all of these have the relative congruence extension property. As a consequence, we obtain that the amalgamation property and…
A Turing degree is d.c.e. if it contains a set that is the difference of two c.e. sets. A d.c.e. degree $\mathbf{d}$ is isolated if there exists a c.e. degree $\mathbf{a}<\mathbf{d}$ such that every c.e. degree below $\mathbf{d}$ is also…