Related papers: Existentially closed models and locally zero-dimen…

In the course of classifying the homogeneous permutations, Cameron introduced the viewpoint of permutations as structures in a language of two linear orders, and this structural viewpoint is taken up here. The majority of this thesis is…

Since the time when the first optical instruments have been invented, an idea that the visible image of an object under observation depends on tools of observation became commonly assumed in physics. A way to formalize it in mathematics is…

We introduce the notions of almost positively closed models and positive strong amalgamation property. We study the fundamental properties of these notions and develop some interactions between them.

We extend the classical (connected, etale) factorization of locally connected geometric morphisms into a (terminally connected, pro-etale) factorization for all geometric morphisms between Grothendieck topoi. We discuss properties of both…

A class of models intended to be as minimal and structureless as possible is introduced. Even in cases with simple rules, rich and complex behavior is found to emerge, and striking correspondences to some important core known features of…

Let $\mathcal C$ be a subcategory of the category of topologized semigroups and their partial continuous homomorphisms. An object $X$ of the category ${\mathcal C}$ is called ${\mathcal C}$-closed if for each morphism $f:X\to Y$ of the…

A structure is called homogeneous if every isomorphism between finite substructures of the structure extends to an automorphism of the structure. Recently, P. J. Cameron and J. Ne\v{s}et\v{r}il introduced a relaxed version of homogeneity:…

We extend Makkai duality between coherent toposes and ultracategories to a duality between toposes with enough points and ultraconvergence spaces. Our proof generalizes and simplifies Makkai's original proof. Our main result can also be…

It it shown that geometric morphisms between elementary toposes can be represented as adjunctions between the corresponding categories of locales. These adjunctions are characterised as those that preserve the order enrichment, commute with…

We define a class of maps between holomorphically embedded null curves which generalize conformal transformations, and can be defined in any complex dimension. In four dimensions, we can also define a similar map between self-dual surfaces,…

We find (completeness type) conditions on topological semilattices $X,Y$ guaranteeing that each continuous homomorphism $h:X\to Y$ has closed image $h(X)$ in $Y$.

We show that given a dominant morphism between two smooth varieties of the same dimension, the induced morphism between the formal neighborhoods of two arcs on these varieties is a closed embedding, of codimension given by the order of…

Scientific studies of consciousness rely on objects whose existence is assumed to be independent of any consciousness. On the contrary, we assume consciousness to be fundamental, and that one of the main features of consciousness is…

For a coherent site we construct a canonically associated enlarged coherent site, such that cohomology of bounded below complexes is preserved by the enlargement. In the topos associated to the enlarged site transfinite compositions of…

This note extends Quillen's Theorem A to a large class of categories internal to topological spaces. This allows us to show that under a mild condition a fully faithful and essentially surjective functor between such topological categories…

This article tackles the problem of the classification of expansive homeomorphisms of the plane. Necessary and sufficient conditions for a homeomorphism to be conjugate to a linear hyperbolic automorphism will be presented. The techniques…

A topological monoid is isomorphic to an endomorphism monoid of a countable structure if and only if it is separable and has a compatible complete ultrametric such that composition from the left is non-expansive. We also give a topological…

We present and characterize the classes of Grothendieck toposes having enough supercompact objects or enough compact objects. In the process, we examine the subcategories of supercompact objects and compact objects within such toposes and…

We give sufficient conditions to find all subtypes isomorphic to a subtype in a finite generalized ordered type.

Given a countable group $G$ and two subshifts $X$ and $Y$ over $G$, a continuous, shift-commuting map $\phi : X \to Y$ is called a homomorphism. Our main result states that if every finitely generated subgroup of $G$ has polynomial growth,…